范畴论

The classical theory of free analysis generalizes the noncommutative (nc) polynomials and rational functions, easily providing such results as an nc analogue of the Jacobian conjecture. However, the classical theory misses out on important…

We extend the model structure on the category $\mathbf{Cat}(\mathcal{E})$ of internal categories studied by Everaert, Kieboom and Van der Linden to an algebraic model structure. Moreover, we show that it restricts to the category of…

Let $\mathcal{A}$ be an abelian category and let $F$ be a subbifunctor of the additive bifunctor $\text{Ext}_{\mathcal{A}}^{1}(-,-)\colon \mathcal{A}^{\text{op}}\times \mathcal{A}\to \mathsf{Ab}$. Buan proved in [4] that $F$ is closed if,…

Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…

In this survey article, we give an introduction to the notion of a 2-Segal set and prove that 2-Segal sets are equivalent to pseudomonoids in the bicategory of spans. The proof utilizes graphical techniques for 2-Segal sets and spans that…

We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right module of systems over a symmetric monoidal double category…

We first revisit the construction of Quinn's finite total homotopy TQFT, which depends on the choice of a homotopy finite space, $\boldsymbol{B}$. This constitutes a vast generalisation of the Dijkgraaf-Witten TQFT, with a trivial cocycle,…

We introduce higher analogs for cleavages in the context of (Kan) simplicial fibrations. We apply them to obtain geometric models for representations up to homotopy of (higher) Lie groupoids. Concretely, we set an equivalence between…

The atoms of the Schanuel topos can be described as the pairs $(n,G)$ where $n$ is a finite set and $G$ is a subgroup of $\operatorname{Aut}(n)$. We give a general criterion on an atomic site ensuring that the atoms of the topos of sheaves…

The small object argument is a method for transfinitely constructing weak factorization systems originally motivated by homotopy theory. We establish a variant of the small object argument that is enriched over a cofibrantly generated weak…

We initiate the combinatorial study of the poset $\mathrm{wIndex}_{\mathcal{T}}$ of weak $\mathcal{T}$-indexing systems, consisting of composable collections of arities for $\mathcal{T}$-equivariant algebraic structures, where $\mathcal{T}$…

For a signature $\Sigma$ and its subsignature $\Sigma^{\neq 0}$ without $0$-ary operation symbols, we prove (1) that there are strong Lawvere adjoint cylinders between the category $\mathsf{Ssl}$, of sup-semilattices, and the categories…

This paper demystifies the notion of the smashing spectrum of a stable presentably symmetric monoidal $\infty$-category, defined as a locale whose opens correspond to smashing localizations. Previously, this concept was studied in…

A theorem of Cohen from 1950 states that a commutative ring is Noetherian if and only if every prime ideal is finitely generated. In this note, we establish analogues of this result in tensor triangular geometry. In particular, for an…

Riehl and Verity have established that for a quasi-category $A$ that admits limits, and a homotopy coherent monad on $A$ which does not preserve limits, the Eilenberg-Moore object still admits limits; this can be interpreted as a…

The aim of this paper is to develop a framework for localization theory of triangulated categories $\mathcal{C}$, that is, from a given extension-closed subcategory $\mathcal{N}$ of $\mathcal{C}$, we construct a natural extriangulated…

A countably infinite Boolean inverse monoid that can be written as an increasing union of finite Boolean inverse monoids (suitably embedded) is said to be of finite type. Borrowing terminology from $C^{\ast}$-algebra theory, we say that…

The aim of this paper is to provide an expansion to Abe-Nakaoka's heart construction of the following two different realizations of the module category over the endomorphism ring of a rigid object in a triangulated category: Buan-Marsh's…

The aim of this paper is to construct singular equivalences between functor categories. As a special case, we show that there exists a singular equivalence arising from a cotilting module $T$, namely, the singularity category of $(^\perp…

Given the pair of a dualizing $k$-variety and its functorially finite subcategory, we show that there exists a recollement consisting of their functor categories of finitely presented objects. We provide several applications for Auslander's…