Related papers: Homotopy homomorphisms and the classifying space f…
This paper explores the relationship amongst the various simplicial and pseudo-simplicial objects characteristically associated to any bicategory C. It proves the fact that the geometric realizations of all of these possible candidate…
A morphism of a category which is simultaneously an epimorphism and a monomorphism is called a bimorphism. In \cite{DR2} we gave characterizations of monomorphisms (resp. epimorphisms) in arbitrary pro-categories, pro-(C), where (C) has…
Given a functor $\varphi : \mathcal{C} \to \mathcal{D}$ between two small categories, there is a homotopy equivalence $\kappa: hocolim _{\mathcal{D}} N(\varphi /-) \to N\mathcal{C}$ where $N(\varphi/-)$ is the functor which sends every…
We introduce the compactness locus of a geometric functor between rigidly-compactly generated tensor-triangulated categories, and describe it for several examples arising in equivariant homotopy theory and algebraic geometry. It is a subset…
We study localization at a prime in homotopy type theory, using self maps of the circle. Our main result is that for a pointed, simply connected type $X$, the natural map $X \to X_{(p)}$ induces algebraic localizations on all homotopy…
Simplicial presheaves on cartesian spaces provide a general notion of smooth spaces. There is a corresponding smooth version of the singular complex functor, which maps smooth spaces to simplicial sets. We consider the localisation of the…
In this paper we study the category of localizing motives $\operatorname{Mot}^{\operatorname{loc}}$ -- the target of the universal finitary localizing invariant of idempotent-complete stable categories as defined by Blumberg-Gepner-Tabuada.…
For separable $C^*$-algebras $A$ and $B$, we define a topology on the set $[[A, B]]$ consisting of homotopy classes of asymptotic morphisms from $A$ to $B$. This gives an enrichment of the Connes--Higson asymptotic category over topological…
We construct a Goodwillie tower of categories which interpolates between the category of pointed spaces and the category of spectra. This tower of categories refines the Goodwillie tower of the identity functor in a precise sense. More…
In this article, we interconnect two different aspects of higher category theory, in one hand the theory of infinity categories and on an other hand the theory of 2-categories.We construct an explicit functorial path objet in the model…
Awodey, later with Newstead, showed how polynomial functors with extra structure (termed ``natural models'') hold within them the categorical semantics for dependent type theory. Their work presented these ideas clearly but ultimately led…
The object of this paper is to prove that the standard categories in which homotopy theory is done, such as topological spaces, simplicial sets, chain complexes of abelian groups, and any of the various good models for spectra, are all…
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…
The notion of the \emph{homotopy type} of a topological stack has been around in the literature for some time. The basic idea is that an atlas $X \to \mathfrak{X}$ of a stack determines a topological groupoid $\mathbb{X}$ with object space…
The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy…
In a 2005 paper, Casacuberta, Scevenels and Smith construct a homotopy idempotent functor $E$ on the category of simplicial sets with the property that whether it can be expressed as localization with respect to a map $f$ is independent of…
This belongs to a series of papers devoted to the study of the cohomology of classifying spaces of Lie groupoids. Our aim here is to introduce and study the notion of representation up to homotopy of Lie groupoids, the resulting derived…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
We describe a construction of the modular class associated to a representation up to homotopy of a Lie groupoid. In the case of the adjoint representation up to homotopy, this class is the obstruction to the existence of a volume form, in…
For almost finite groupoids, we study how their homology groups reflect dynamical properties of their topological full groups. It is shown that two clopen subsets of the unit space has the same class in H_0 if and only if there exists an…