Related papers: On the loop space of a 2-category

We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the…

We give a new description of Rosenthal's generalized homotopy fixed point spaces as homotopy limits over the orbit category. This is achieved using a simple categorical model for classifying spaces with respect to families of subgroups.

The aim of this paper is to show that the most elementary homotopy theory of $\mathbf{G}$-spaces is equivalent to a homotopy theory of simplicial sets over $\mathbf{BG}$, where $\mathbf{G}$ is a fixed group. Both homotopy theories are…

This paper contains some contributions to the study of the relationship between 2-categories and the homotopy types of their classifying spaces. Mainly, generalizations are given of both Quillen's Theorem B and Thomason's Homotopy Colimit…

We generalize the classical operad pair theory to a new model for $E_\infty$ ring spaces, which we call ring operad theory, and establish a connection with the classical operad pair theory, allowing the classical multiplicative infinite…

Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…

A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category only up to natural isomorphism, and the…

In this paper, we classify the homotopy types of the total spaces of $S^{2k-1}$-bundles (or fibrations) over $S^{2k}$ for $2\leq k\leq 6$. One of the two key new ingredients in the argument is the new necessary and sufficient conditions for…

Using the language of homotopy type theory (HoTT), we 1) prove a synthetic version of the classification theorem for covering spaces, and 2) explore the existence of canonical change-of-basepoint isomorphisms between homotopy groups. There…

After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…

Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…

In order to classify concordance classes of codimension 2 embeddings in a manifold M, we need to determine the complement of such an embedding. These complements are spaces over M well defined up to some homology equivalence. We construct a…

The main theorem shows that if M is an irreducible compact connected orientable 3-manifold with non-empty boundary, then the classifying space BDiff(M rel dM) of the space of diffeomorphisms of M which restrict to the identity map on…

We compute the classifying space of the surface category $h\mathrm{Bord}_2$ whose objects are closed oriented $1$-manifolds and whose morphisms are diffeomorphism classes of oriented surface bordisms, and show that it is rationally…

In this paper we devote to spaces that are not homotopically hausdorff and study their covering spaces. We introduce the notion of small covering and prove that every small covering of $X$ is the universal covering in categorical sense.…

We prove that the classifying space of a simplicial group is modeled by its homotopy coherent nerve.

Following the theory of principal $\infty$-bundles of Niklaus-Schreiber-Steveson, we develop a homotopy categorification of Hopf algebras, which model quantum groups. We study their higher-representation theory in the setting of…

We prove affirmatively the conjecture raised by J. Mostovoy; the space of short ropes is weakly homotopy equivalent to the classifying space of the topological monoid (or category) of long knots in $\mathbb{R}^3$. We make use of techniques…

It is an old conjecture, that finite $H$-spaces are homotopy equivalent to manifolds. Here we prove that this conjecture is true for loop spaces. Actually, we show that every quasi finite loop space is equivalent to a stably parallelizable…

Here we classify all topological spaces where all bijections to itself are homeomorphisms. As a consequence, we also classify all topological spaces where all maps to itself are continuous. Analogously, we classify all measurable spaces…