范畴论

We generalize to dimension 2 the well-known fact that a colimit in a 1-dimensional slice is precisely the map from the colimit of the domains of the diagram that is induced by the universal property. For this, we find the need to reduce…

Many structures of interest in two-dimensional category theory have aspects that are inherently strict. This strictness is not a limitation, but rather plays a fundamental role in the theory of such structures. For instance, a monoidal…

A notion of support for objects in any Grothendieck category is introduced. This is based on the spectral category of a Grothendieck category and uses its Boolean lattice of localising subcategories. The support provides a classification of…

Let $\mathcal{I}$ and $\mathcal{J}$ be object ideals in an exact category $(\mathcal{A}; \mathcal{E})$. It is proved that $(\mathcal{I},\mathcal{J})$ is a perfect ideal cotorsion pair if and only if $({\rm Ob}(\mathcal{I}),{\rm…

In this note we study symmetric monoidal functors from a symmetric monoidal 1-category to a cartesian symmetric monoidal $\infty$-category, which are in addition hypersheaves for a certain topology. We prove a symmetric monoidal version of…

We present some results from classical homological algebra using the language of cotorsion theories in abelian categories. The results are a couple of foundational facts about homological dimension, the Kunneth formula and the universal…

The previous paper of this series shows that the q-model categories of $\mathcal{G}$-multipointed $d$-spaces and of $\mathcal{G}$-flows are Quillen equivalent. In this paper, the same result is established by replacing the reparametrization…

To each simplicial set $X$ we naturally assign an \'etendue ${\'E X}$ whose internal logic captures information about the geometry of $X$. In particular, we show that, for 'non-singular' objects $X$ and $Y$, the \'etendues ${\'E X}$ and…

The framework of templicial vector spaces was put forth in arXiv:2302.02484v2 as a suitable generalization of simplicial sets in order to develop a theory of enriched quasi-categories, called quasi-categories in vector spaces. We construct…

In this paper, we prove the standard comparison used by mathematicians between the idempotent complete pretriangulated dg-categories, over a unitary and commutative ring $k$, and the idempotent complete $k$-linear stable…

Probability monads on categories of topological spaces are classical objects of study in the categorical approach to probability theory, with important applications in the semantics of probabilistic programming languages. We construct a…

The aim of this article is to study certain categorical-algebraic frameworks for basic homological algebra, introduced in arXiv:2404.15896, with the aim of better understanding the differences between them. We focus on homological…

This is a short note bridging the gap between two notions of universal abelian categories associated to exact categories, namely, Rump's quotient categories and Bodzenta-Bondal's abelian envelopes. The established connection allows us to…

We introduce a new operad-like structure that we call a reconnectad; the ``input'' of an element of a reconnectad is a finite simple graph, rather than a finite set, and ``compositions'' of elements are performed according to the notion of…

This is the fourth installment in a series of papers offering models of hierarchical structure for dynamical systems, using the language of polynomial functors. The operad underlying the symmetric monoidal category $(\mathbf{Poly}, \otimes,…

Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…

We give a criterion for a functor \(F:C\rightarrow B\) between small categories to generate a small presentation of the universal model category \(U(B)\) in the sense of Dugger.

This paper provides the final ingredient in the development of the deformation theory of pretriangulated dg-categories endowed with a nice t-structure, which was initiated by the authors and is modeled after the previously developed…

This text is dedicated to the development of the theory of $(\infty,\omega)$-categories. We present generalizations of standard results from category theory, such as the lax Grothendieck construction, the Yoneda lemma, lax (co)limits and…

In this article we study chains of torsion classes in an abelian category $\mathcal{A}$. We prove that each chain of torsion classes induce a Harder-Narasimhan filtration for every nonzero object $M$ in $\mathcal{A}$, generalising a…