Related papers: A Twisted Version of the Classifying Space Functor
Given a homological epimorphism $\pi:\mathcal{C}\longrightarrow \mathcal{C}/\mathcal{I}$ between $K$-categories, we show that if the ideal $\mathcal{I}$ satisfies certain conditions, then there exists an equivalence between the singularity…
This paper provides a comprehensive overview of some of the foundational properties of categories enriched over quantaloids, along with several new results. We demonstrate that the category whose objects are quantaloid-enriched categories…
We distinguish between faint, weak, strong and strict localizations of categories at morphism families and show that this framework captures the different types of derived functors that are considered in the literature. More precisely, we…
In [3], after defining notions of LS category in the simplicial context, the authors show that the geometric simplicial LS category is non-decreasing under strong collapses. However, they do not give examples where it increases strictly,…
Our work over the past years shows that not only the collection of (for instance) all topological spaces gives rise to a category, but also each topological space can be seen individually as a category by interpreting the convergence…
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…
In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. The hom-spaces are appropriately fibrant, indeed…
In a previous work we proved the uniqueness and functoriality of primary unfoldings on simple Thom-Mather spaces, which is a functor to the category of smooth manifolds. In this article we extend these results for any stratified Thom-Mather…
This article is first in a series of papers where we reprove the statements in constructing the Enhanced Operation Map and the abstract six-functor formalism developed by Liu-Zheng. In this paper, we prove a theorem regarding constructing…
We study the *homotopy theory* of $\infty$-categories enriched in the $\infty$-category $sS$ of simplicial spaces. That is, we consider $sS$-enriched $\infty$-categories as presentations of ordinary $\infty$-categories by means of a "local"…
We propose to extend ``invertibility'' to ``regularity'' for categories in general abstract algebraic manner. Higher regularity conditions and ``semicommutative'' diagrams are introduced. Distinction between commutative and…
We present a natural family of Hilbert function spaces on the d-dimensional complex unit ball and classify which of them satisfy that subsets of the ball yield isometrically isomorphic subspaces if and only if there is an analytic…
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…
To characterize categorical constraints - associativity, commutativity and monoidality - in the context of quasimonoidal categories, from a cohomological point of view, we define the notion of a parity (quasi)complex. Applied to groups…
A compact T-algebra is an initial T-algebra whose inverse is a final T-coalgebra. Functors with this property are said to be algebraically compact. This is a very strong property used in programming semantics which allows one to interpret…
A topological space ${\mathcal X}$ is reversible iff each continuous bijection (condensation) $f: {\mathcal X} \rightarrow {\mathcal X}$ is a homeomorphism; weakly reversible iff whenever ${\mathcal Y}$ is a space and there are…
We characterise when the pure monomorphisms in a presheaf category $\mathbf{Set}^\mathcal{C}$ are cofibrantly generated in terms of the category $\mathcal{C}$. In particular, when $\mathcal{C}$ is a monoid $S$ this characterises cofibrant…
For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable…
In this paper we consider the dg-category of twisted complexes over simplicial ringed spaces. It is clear that a simplicial map $f: (\mathcal{U},\mathcal{R})\to (\mathcal{V}, \mathcal{S})$ between simplicial ringed spaces induces a…
We prove a number of results concerning monomorphisms, epimorphisms, dominions and codominions in categories of coalgebras. Examples include: (a) representation-theoretic characterizations of monomorphisms in all of these categories that…