Related papers: Bicategorical homotopy pullbacks

We define two model structures on the category of bicomplexes concentrated in the right half plane. The first model structure has weak equivalences detected by the totalisation functor. The second model structure's weak equivalences are…

We prove conditions under which the total space of the pullback of a sphere fibration over a connected sum is homotopy equivalent to a connected sum with a gyration. Existing results of this type often depend on geometric methods. We…

We construct a model structure on the category of ordered simplicial complexes, Quillen equivalent to the standard model structure on simplicial sets. This shows that simplicial complexes, which are fully combinatorial in nature, provide a…

In the present paper the cyclic homology functor from the category of $A_\infty$-algebras over any commutative unital ring $K$ to the category of graded $K$-modules is constructed. Further, it is showed that this functor sends homotopy…

We construct a "diagonal" cofibrantly generated model structre on the category of simplicial objects in the category of topological categories sCat_{Top}, which is the category of diagrams [\Delta^{op}, Cat_{Top}]. Moreover, we prove that…

We construct a model structure on the category $\mathrm{DblCat}$ of double categories and double functors. Unlike previous model structures for double categories, it recovers the homotopy theory of 2-categories through the horizontal…

We give new homotopy theoretic criteria for deciding when a fibration with homotopy finite fibers admits a reduction to a fiber bundle with compact topological manifold fibers. The criteria lead to a new and unexpected result about…

The lifting problem for continuous bi-equivariant maps and bi-equivariant covering homotopies is considered, which leads to the notion of a bi-equivariant fibration. An intrinsic characteristic of a bi-equivariant Hurewicz fibration is…

For every $\infty$-category $\mathscr{C}$, there is a homotopy $n$-category $\mathrm{h}_n \mathscr{C}$ and a canonical functor $\gamma_n \colon \mathscr{C} \to \mathrm{h}_n \mathscr{C}$. We study these higher homotopy categories, especially…

We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…

We examine configurations of finite subsets of manifolds within the homotopy-theoretic context of $\infty$-categories by way of stratified spaces. Through these higher categorical means, we identify the homotopy types of such configuration…

We show how the notion of intercategory encompasses a wide variety of three-dimensional structures from the literature, notably duoidal categories, monoidal double categories, cubical bicategories, double bicategories and Gray categories.…

We use Quillen model structures to show a systematic method to lift recollements of hereditary abelian model categories to recollements of their associated homotopy categories. To that end, we use the notion of Quillen adjoint triples and…

We clarify the relation between the `bosonisation' construction (due to the author) which can be used to turn a Hopf algebra $B$ in the category of $H$-modules or $H$-comodules into an equivalent ordinary Hopf algebra, and a version of…

Let $G$ be a discrete group. We prove that the category of $G$-posets admits a model structure that is Quillen equivalent to the standard model structure on $G$-spaces. As is already true nonequivariantly, the three classes of maps defining…

Equivalence classes of gapped Hamiltonians compatible with given symmetry constraints, such as those underlying topological insulators, can be defined in many ways. For the non-chiral classes modelled by vector bundles over Brillouin tori,…

We describe various equivalent ways of associating to an orbifold, or more generally a higher \'etale differentiable stack, a weak homotopy type. Some of these ways extend to arbitrary higher stacks on the site of smooth manifolds, and we…

We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and…

Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical…

We study the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of an additive category $\mathcal{B}$ and the derived category $\mathsf{D}_{N}(\mathcal{A})$ of an abelian category $\mathcal{A}$. First we show that both…