Related papers: Dualizing cartesian and cocartesian fibrations

We present a systematic study of elliptic fibrations for F-theory realizations of gauge theories with two U(1) factors. In particular, we determine a new class of SU(5) x U(1)^2 fibrations, which can be used to engineer Grand Unified…

Let A be an abelian group, not necessarily finite. The main objective of this paper is to provide two constructions for a fibered A-biset functor. The first is the lower plus construction, and the other is the upper plus construction. These…

In [WW1] and [WW2], the author constructed the complex associated to 1-regular functions. This complex is the equivalent of Dolbeault's complex for holomorphic functions if we replace the Cauchy-Riemann equations by the Cauchy-Fueter…

We investigate fibrations by non-hyperelliptic curves of arithmetic genus three and geometric genus one in characteristic two. Assuming that there is only one moving singularity and that its image in the Frobenius pullback of the fibration…

We study the relationship between cartesian bicategories and a specialisation of Lawvere's hyperdoctrines, namely elementary existential doctrines. Both provide different ways of abstracting the structural properties of logical systems: the…

We construct a category of fibrant objects $\mathbb{C}\langle P\rangle$ in the sense of K. Brown from any indexed frame (a kind of indexed poset generalizing triposes) $P$, and show that its homotopy category is the Barr-exact category…

We point out that double categories provide a natural setting for modular functors obtained by a (bicategorical) string-net construction: The source of the modular functor -- which is now a double functor -- is a symmetric monoidal double…

We establish various criteria for the inertness of the top cell attachments of Poincar\'{e} duality complexes through nonzero degree maps, algebraic intersection theory and various types of homotopy fibrations. Many examples are provided,…

A simple definition of torsion theory is presented, as a factorization system with both classes satisfying the 3--for--2 property. Comparisons with the traditional notion are given, as well as connections with the notions of fibration and…

In the paper the notion of truncating twisting function from a cubical set to a permutahedral set and the corresponding notion of twisted Cartesian product of these sets are introduced. The latter becomes a permutocubical set that models in…

We describe the construction of the slice fibration of a given one.

We consider the K3 surfaces that arise as double covers of the elliptic modular surface of level 5, $R_{5,5}$. Such surfaces have a natural elliptic fibration induced by the fibration on $R_{5,5}$. Moreover, they admit several other…

We reconcile the two different category-theoretic semantics of regular theories in predicate logic. A 2-category of `regular fibrations' is constructed, as well as a 2-category of `regular proarrow equipments', and it is shown that the two…

We observe that the notion of a trivial Serre fibration, a Serre fibration, and being contractible, for finite CW complexes, can be defined in terms of the Quillen lifting property with respect to a single map M-->/\ of finite topological…

Let p be a singular point of a variety. Consider a resolution where the preimage of p is a simple normal crossing divisor E. The combinatorial structure of E is described by a cell complex D(E), called the dual graph or dual complex of E.…

We give a survey of the approaches to classifying foliations, starting with the Haefliger classifying spaces and the various results and examples about the secondary classes of foliations. Various dynamical properties of foliations are…

Many examples of obstruction theory can be formulated as the study of when a lift exists in a commutative square. Typically, one of the maps is a cofibration of some sort and the opposite map is a fibration, and there is a functorial…

Given a projective family of semi-stable curves over a complete discrete valuation ring of characteristic p with algebraically closed residue field, we construct a specialization functor between the category of continuous representations of…

We study the geometry of elliptic fibrations satisfying the conditions of Step 2 of Tate's algorithm with a discriminant of valuation 4. We call such geometries USp(4)-models, as the dual graph of their special fiber is the twisted affine…

In this note, we discuss several aspects of the functoriality of universal abelian factorizations associated to representations of quivers into abelian categories. After recalling the general construction of universal abelian…