In this paper, we derive new adjunction inequalities for embedded surfaces with non-negative self-intersection number in four-manifolds. These formulas are proved by using relations between Seiberg-Witten invariants which are induced from embedded surfaces. To prove these relations, we develop the relevant parts of a Floer theory for four-manifolds which bound circle-bundles over Riemann surfaces.

This paper provides a treatment of Polish Plural Comitative Constructions in the paradigm of HPSG in the tradition of Pollard and Sag (1994). Plural Comitative Constructions (PCCs) have previously been treated in terms of coordination, complementation and adjunction. The objective of this paper is to show that PCCs are neither instances of typical coordinate structures nor of typical complement...

The fact that many modal operators are part of an adjunction is probably folklore since the discovery of adjunctions. On the other hand, the natural idea of a minimal propositional calculus extended with a pair of adjoint operators seems to have been formulated only very recently. This recent research, mainly motivated by applications in computer science, concentrates on technical issues relate...

In this paper we present a classifier that solves a certain kind of ambiguities in syntactic structure for Spanish, namely, ambiguities as to the point of adjunction of a prepositional phrase in the syntactic structure of a sentence (PP attachment). As a starting point, we used EsTxala dependency grammar for Spanish, integrated within FreeLing, with an accuracy score of 61% on PP adjunction. Ou...

We define a new notion of an algebraic model structure, in which the cofibrations and fibrations are retracts of coalgebras for comonads and algebras for monads, and prove “algebraic” analogs of classical results. Using a modified version of Quillen’s small object argument, we show that every cofibrantly generated model structure in the usual sense underlies a cofibrantly generated algebraic mo...

Abstract. We introduce LTAG-spinal, a novel variant of traditional Lexicalized Tree Adjoining Grammar (LTAG) with desirable linguistic, computational and statistical properties. Unlike in traditional LTAG, subcategorization frames and the argument-adjunct distinction are left underspecified in LTAG-spinal. LTAG-spinal with adjunction constraints is weakly equivalent to LTAG. The LTAG-spinal for...

Over the years the nominal construction with marked modifiers in Mandarin Chinese, the so-called de construction, has been one of the most studied topics within the literature of Chinese linguistics. Due to its complicated properties and distributions, a satisfactory account has not yet been achieved that covers all the phenomena observed. In particular, the categorial status of de remains rath...

We show how to “interleave” the monad for operads and the monad for contractions on the category Coll of collections, to construct the monad for the operads-with-contraction of Leinster. We first decompose the adjunction for operads and the adjunction for contractions into a chain of adjunctions each of which acts on only one dimension of the underlying globular sets at a time. We then exhibit ...

We show the validity of relative dlt MMP over $${\mathbb{Q}}$$ -factorial threefolds in all characteristics $$p>0$$ . As a corollary, we generalise many recent results to low including: $$W{\mathcal{O}}$$ -rationality klt singularities, inversion adjunction, and normality divisorial centres up universal homeomorphism.