Related papers: A limit lifting theorem for fibrations between bic…
We prove a Milnor-L\^e type fibration theorem for a subanalytic map $f: X \to Y$ between subanalytic sets $X \subset \mathbb{R}^m$ and $Y \subset \mathbb{R}^n$. Moreover, if $f$ extends to an analytic map $\mathbb{R}^m \to \mathbb{R}^n$, we…
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 $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…
We argue that M-theory compactified on an arbitrary genus-one fibration, that is, an elliptic fibration which need not have a section, always has an F-theory limit when the area of the genus-one fiber approaches zero. Such genus-one…
We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the…
We provide a necessary and sufficient condition for the derived self-intersection of a smooth subscheme inside a smooth scheme to be a fibration over the subscheme. As a consequence we deduce a generalized HKR isomorphism. We also…
The main result concerns a bicategorical factorization system on the bicategory $\mathrm{Cat}$ of categories and functors. Each functor $A\xra{f} B$ factors up to isomorphism as $A\xra{j}E\xra{p}B$ where $j$ is what we call an ultimate…
We consider limits over categories of extensions and show how certain well-known functors on the category of groups turn out as such limits. We also discuss higher (or derived) limits over categories of extensions.
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.
A relative category is a category with a chosen class of weak equivalences. Barwick and Kan produced a model structure on the category of all relative categories, which is Quillen equivalent to the Joyal model structure on simplicial sets…
We show that any pointed, preordered module map $\mathfrak{BF}_{\mathrm{gr}}(E) \to \mathfrak{BF}_{\mathrm{gr}}(F)$ between Bowen-Franks modules of finite graphs can be lifted to a unital, graded, diagonal preserving $\ast$-homomorphism…
In this paper we describe two ways on which cofibred categories give rise to bisimplicial sets. The "fibred nerve" is a natural extension of Segal's classical nerve of a category, and it constitutes an alternative simplicial description of…
Consider a fibration \[p:E\to S^{p-1}\] with fiber $F$. We have the following natural question: Under what conditions does this fibration admit a cross-section? Our purpose is to discuss this problem when the fibration $p$ is the Milnor…
We introduce unary operadic 2-categories as a framework for operadic Grothendieck construction for categorical $\mathbb{O}$-operads, $\mathbb{O}$ being a unary operadic category. The construction is a fully faithful functor…
We construct an explicit diffeomorphism taking any fibration of a sphere by great circles into the Hopf fibration, using elementary geometry--indeed the diffeomorphism is a local (differential) invariant, algebraic in derivatives.
This paper introduces and studies split two-sided 2-fibrations and locally discrete split two-sided 2-fibrations, using a formal categorical approach. We generalise Street's notion of split two-sided fibration internal to a 2-category to…
We give a necessary condition for a meromorphic function in several variables to give rise to a Milnor fibration of the local link (respectively of the link at infinity). In the case of two variables we give some necessary and sufficient…
Birkhoff's variety theorem, a fundamental theorem of universal algebra, asserts that a subclass of a given algebra is definable by equations if and only if it satisfies specific closure properties. In a generalized version of this theorem,…
We calculate the Lusternik-Schnirelmann category of the k-th ordered configuration spaces F(R^n,k) of R^n and give bounds for the category of the corresponding unordered configuration spaces B(R^n,k) and the sectional category of the…
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…