Related papers: Hurewicz fibrations in elementary toposes
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 define $\mathcal{H}$-fibration sequences as fibrations where the holonomy action of the fundamental group of the base on the fiber lies in a given subgroup $\mathcal{H}$ of $\mathcal{E}(F)$, where $\mathcal{E}(F)$ is the homotopy…
We give, for each level of complexity L, a Hurewicz-like characterization of the Borel subsets with countable sections of a product of two Polish spaces that cannot become in L by changing the two Polish topologies.
Let X be a smooth elliptic fibration over a smooth base B. Under mild assumptions, we establish a Fourier-Mukai equivalence between the derived categories of two objects, each of which is an O^* gerbe over a genus one fibration which is a…
The starting point of this note is our recent paper with Laza and Sacc\`a on the construction of deformations of O'Grady's $10$-dimensional manifolds as compactifications of intermediate Jacobian fibrations associated to cubic fourfolds.…
The main objective of this paper is to show that the homotopy colimit of a diagram of quasi-categories and indexed by a small category is a localization of Lurie's higher Grothendieck construction of the diagram. We thereby generalize…
We construct examples of Lefschetz fibrations with prescribed singular fibers. By taking differences of pairs of such fibrations with the same singular fibers, we obtain new examples of surface bundles over surfaces with non-zero signature.…
The h-principle is a powerful tool for obtaining solutions to partial differential inequalities and partial differential equations. Gromov discovered the h-principle for the general partial differential relations to generalize the results…
It is well-known that for certain local connectivity assumptions the fundamental groupoid of a topological space can be equipped with a topology making it a topological groupoid. In other words, the fundamental groupoid functor can be…
In this paper we generalize Tannakian formalism to fiber functors over general tensor categories. We will show that (under some technical conditions) if the fiber functor has a section, then the source category is equivalent to the category…
We develop the formalism to include substructure in the halo model of clustering. Real halos are not likely to be perfectly smooth, but have substructure which has so far been neglected in the halo model -- our formalism allows one to…
We give an elementary exposition of some fundamental facts about fibered (or rather opfibered) categories, in terms of monads and 2-categories. The account avoids any mention of category-valued functors and pseudofunctors.
This is an exposition of homotopical results on the geometric realization of semi-simplicial spaces. We then use these to derive basic foundational results about classifying spaces of topological categories, possibly without units. The…
We incorporate pearly Floer trajectories into the transversality scheme for pseudoholomorphic maps introduced by Cieliebak-Mohnke. By choosing generic domain-dependent almost complex structures we obtain zero and one-dimensional moduli…
We introduce the notion of an effective Kan fibration, a new mathematical structure that can be used to study simplicial homotopy theory. Our main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective…
Hurwitz numbers enumerate branched morphisms between Riemannn surfaces with fixed numerical data. They represent important objects in enumerative geometry that are accessible by combinatorial techniques. In the past decade, many variants of…
This paper exposes the language of geometric contexts and elementary schemes, which is a functorial formalism to study categories of geometric objects such as schemes, topological manifolds, differential manifolds, analytic manifolds, etc.…
In some bicategories, the 1-cells are `morphisms' between the 0-cells, such as functors between categories, but in others they are `objects' over the 0-cells, such as bimodules, spans, distributors, or parametrized spectra. Many…
We describe notions of tautness that arise in the study of $C^0$ foliations, $C^{1,0}$ or smoother foliations, and in geometry. We give examples to show that these notions are different, and discuss how these differences impact some…
We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…