Related papers: The dual fibration in elementary terms
The notion of pseudocategory, as considered in [11], is extended from the context of a 2-category to the more general one of a sesquicategory, which is considered as a category equipped with a 2-cell structure. Some particular examples of…
We classify fibrations by integral plane projective rational quartic curves whose generic fibre is regular but admits a non-smooth point that is a canonical divisor. These fibrations can only exist in characteristic two. The geometric…
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 generalize the small object argument in order to allow for its application to proper classes of maps (as opposed to sets of maps in Quillen's small object argument). The necessity of such a generalization arose with appearance of several…
This second part comes to the construction of the spectrum associated to a situation of multi-adjunction. Exploiting a geometric understanding of its multi-versal property, the spectrum of an object is obtained as the spaces of local units…
We consider several types of non-existence theorems for functors. For example, there are no nontrivial functors from the category of groups (or the category of pointed sets, or vector spaces) to any small category. Another type of questions…
A duoidal category is a category equipped with two monoidal structures in which one is (op)lax monoidal with respect to the other. In this paper we introduce duoidal $\infty$-categories which are counterparts of duoidal categories in the…
Grothendieck fibrations provide a unifying algebraic framework that underlies the treatment of various form of logics, such as first order logic, higher order logics and dependent type theories. In the categorical approach to logic proposed…
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 introduce and develop the notion of *displayed categories*. A displayed category over a category C is equivalent to "a category D and functor F : D --> C", but instead of having a single collection of "objects of D" with a map to the…
We construct the quadratic analogue of the boson Fock functor. While in the first order case all contractions on the 1--particle space can be second quantized, the semigroup of contractions that admit a quadratic second quantization is much…
Given an operad $\mathcal{O}$, we define a notion of weak $\mathcal{O}$-monoids -- which we term $\mathcal{O}$-pseudomonoids -- in a 2-category. In the special case with the 2-category in question is the 2-category $\mathsf{Cat}$ of…
We classify exterior fibrations in the exterior homotopy category. As a result we also classify proper fibrations between CW-complexes.
We describe a construction that to each algebraically specified notion of higher-dimensional category associates a notion of homomorphism which preserves the categorical structure only up to weakly invertible higher cells. The construction…
In this note, we provide a quick introduction to the study of the Milnor fibration via the derived category and perverse sheaves. This is primarily a dictionary for translating from the standard topological setting to the derived category…
We introduce fibred type-theoretic fibration categories which are fibred categories between categorical models of Martin-L\"{o}f type theory. Fibred type-theoretic fibration categories give a categorical description of logical predicates…
Given some type of fibration on a 4-manifold $X$ with a torus regular fiber $T$, we may produce a new 4-manifold $X_T$ by performing torus surgery on $T$. There is a natural way to extend the fibration to $X_T$, but a multiple fiber…
This paper introduces the construction of a weakly globular double category of fractions for a category and studies its universal properties. It shows that this double category is locally small and considers a couple of concrete examples.
This paper introduces the notion of weakly globular double categories, a particular class of strict double categories, as a way to model weak 2-categories; it explores its use in defining a double category of fractions, and shows that the…
Given a conformally nonflat Einstein spacetime we define a fibration $P$ over it. The fibres of this fibration are elliptic curves (2-dimensional tori) or their degenerate counterparts. Their topology depends on the algebraic type of the…