Related papers: Double Fibrations
We lift the standard equivalence between fibrations and indexed categories to an equivalence between monoidal fibrations and monoidal indexed categories, namely weak monoidal pseudofunctors to the 2-category of categories. In doing so, we…
A double category of relations is essentially a cartesian equipment with strong, discrete and functorial tabulators and for which certain local products satisfy a Frobenius Law. A double category of relations is equivalent to a double…
In this paper we develop the theory of topological categories over a base category, that is, a theory of topological functors. Our notion of topological functor is similar to (but not the same) the existing notions in the literature (see…
Presheaves on a small category are well-known to correspond via a category of elements construction to ordinary discrete fibrations over that same small category. Work of R. Par\'e proposes that presheaves on a small double category are…
We describe explicitly the possible degenerations of a class of double Kodaira fibrations in the moduli space of stable surfaces. Using deformation theory we also show that under some assumptions we get a connected component of the moduli…
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…
In 2002, Biss investigated on a kind of fibration which is called rigid covering fibration (we rename it by rigid fibration) with properties similar to covering spaces. In this paper, we obtain a relation between arbitrary topological…
We define local fibration structures for real map germs with strictly positive dimensional discriminant: a local fibration structure over the complement of the discriminant, and a complete local fibration structure which includes the…
The notion of retrocell in a double category with companions is introduced and its basic properties established. Explicit descriptions in some of the usual double categories are given. Monads in a double category provide an important…
We present an efficient and user-friendly method for constructing any cofibrantly generated model structure on the category of double categories whose trivial fibrations are the "canonical" ones: the double functors which are surjective on…
We gather conditions on a class H of continuous maps of topological spaces that allow a reasonable theory of fibrations up to an equivalence (a map from this class) which we call H-fibrations. The weak homotopy equivalences recover…
We use pluriharmonic maps to study representations of fundamental groups of algebraic manifolds. This approach is functorial in the sense that the restriction of such a map to a fiber of a fibration remains pluriharmonic, and on this basis,…
Small B\'{e}nabou's bicategories and, in particular, Mac Lane's monoidal categories, have well-understood classifying spaces, which give geometric meaning to their cells. This paper contains some contributions to the study of the…
In this paper, we study properties of maps between fibrant objects in model categories. We give a characterization of weak equivalences between fibrant object. If every object of a model category is fibrant, then we give a simple…
A theory of a derivator version of six-functor-formalisms is developed, using an extension of the notion of fibered multiderivator due to the author. Using the language of (op)fibrations of 2-multicategories this has (like a usual fibered…
Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…
A category of FI type is one which is sufficiently similar to finite sets and injections so as to admit nice representation stability results. Several common examples admit a Grothendieck fibration to finite sets and injections. We begin by…
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 consider a framework for representing double loop spaces (and more generally E-2 spaces) as commutative monoids. There are analogous commutative rectifications of braided monoidal structures and we use this framework to define iterated…
We construct a class of supersymmetric vacua of type IIB string theory describing systems of three- and seven-branes non-perturbatively completed by brane instantons. The vacua are specified by a set of holomorphic functions defined over a…