Related papers: The dual fibration in elementary terms
Within the framework of Riehl-Shulman's synthetic $(\infty,1)$-category theory, we present a theory of two-sided cartesian fibrations. Central results are several characterizations of the two-sidedness condition \`{a} la Chevalley, Gray,…
The complement of a hyperplane arrangement in the complex projective space is known to be formal. We prove the global Milnor fiber associated to the homogeneous polynomial defining the arrangement may not even be 1-formal, by giving an…
We propose a new model for multicategories with symmetries with respect to Zhang's group operads. The fully faithful embedding of the category of group operads into that of crossed interval groups is made use of, and it is shown that every…
We consider a proper flat fibration with real base and complex fibers. First we construct odd characteristic classes for such fibrations by a method that generalizes constructions of Bismut-Lott. Then we consider the direct image of a…
This two-page note gives a non-computational derivation of the dual Steenrod algebra as the automorphisms of the formal additive group. Instead of relying on computational tools like spectral sequences and Steenrod operations, the argument…
We discuss right fibrations in the $\infty$-categorical context of Segal objects in a category V and prove some basic results about these.
The contributions of this paper are twofold. Within the framework of Grothendieck's fibrational category theory, we present a web of fundamental 2-adjunctions surrounding the formation of the category of all small diagrams in a given…
We prove that the $\infty$-category of orthogonal factorization systems embeds fully faithfully into the $\infty$-category of double $\infty$-categories. Moreover, we prove an (un)straightening equivalence for double $\infty$-categories,…
We provide a more economical refined version of Evrard's categorical cocylinder factorization of a functor [Ev1,2]. We show that any functor between small categories can be factored into a homotopy equivalence followed by a (co)fibred…
We (re)consider how the Fukaya category of a Lefschetz fibration is related to that of the fibre. The distinguishing feature of the approach here is a more direct identification of the bimodule homomorphism involved.
We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…
Quillen showed that simplicial sets form a model category (with appropriate choices of three classes of morphisms), which organized the homotopy theory of simplicial sets. His proof is very difficult and uses even the classification theory…
The existence of a Kodaira fibration, i.e., of a fibration of a compact complex surface $S$ onto a complex curve $B$ which is a differentiable but not a holomorphic bundle, forces the geographical slope $ \nu(S) = c_1^2 (S) / c_2 (S)$ to…
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…
We study the interaction between the notions of filteredness, fractions and fibrations in the theory of bicategories, generalizing classical results for categories. We give an explicit formula for filtered pseudo-colimits of categories…
In this dissertation we examine enrichment relations between categories of dual structure and we sketch an abstract framework where the theory of fibrations and enriched category theory are appropriately united. We initially work in the…
We analyze a general family of fibrations which, after looping, have sections. Methods are developed to determine the homotopy type of the fibre and the homotopy classes of the map from the fibre to the base. The methods are driven by…
We study linear functions on fibrations whose central fibre is a linear free divisor. We analyse the Gauss-Manin system associated to these functions, and prove the existence of a primitive and homogenous form. As a consequence, we show…
In this work we propose a realization of Lurie's prediction that inner fibrations $p: X \rightarrow A$ are classified by $A$-indexed diagrams in a ``higher category" whose objects are $\infty$-categories, morphisms are correspondences…
This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit, 2-dimensional universal algebra, formal category theory, and nerves of bicategories. As is the way…