范畴论

Utilizing previously established results concerning costratification in relative tensor-triangular geometry, we classify the colocalizing subcategories of the singularity category of a locally hypersurface ring and then we generalize this…

We introduce the notion of Mal'tsev reflection which allows us to set up a partial notion of Mal'tsevness with respect to a class $\Sigma$ of split epimorphisms stable under pullback and containing the isomorphisms, and we investigate what…

Let $\mathcal C$ be a Grothendieck category and $U$ be a monad on $\mathcal C$ that is exact and preserves colimits. In this article, we prove that every hereditary torsion theory on the Eilenberg-Moore category of modules over a monad $U$…

We study the framework of $\infty$-equipments which is designed to produce well-behaved theories for different generalizations of $\infty$-categories in a synthetic and uniform fashion. We consider notions of (lax) functors between these…

Extriangulated categories, introduced by Nakaoka and Palu, serve as a simultaneous generalization of exact and triangulated categories. In this paper, we first introduce the concept of admissible weak factorization systems and establish a…

Following the theory of tensor triangular support introduced by Sanders, which generalizes the Balmer-Favi support, we prove the local version of the result of Zou that the Balmer spectrum being Hochster weakly scattered implies the…

We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…

Grothendieck toposes, and by extension, logical theories, can be represented by topological structures. Butz and Moerdijk showed that every topos with enough points can be represented as the topos of sheaves on an open topological groupoid.…

We use the theory of Tambara modules to extend and generalize the reconstruction theorem for module categories over a rigid monoidal category to the non-rigid case. We show a biequivalence between the $2$-category of cyclic module…

We give an expository, and hopefully approachable, account of the Joyal-Tierney result that every topos can be represented as a topos of sheaves on a localic groupoid. We give an explicit presentation of a representing localic groupoid for…

We continue to develop the theory of separable higher categories, including center functors, higher centralizers, modular extensions and group theoretical higher fusion categories. Moreover, we outline a theory of orthogonal higher…

Suppose $(\mathcal{C},\mathbb{E},\mathfrak{s})$ is an $n$-exangulated category. We show that the idempotent completion and the weak idempotent completion of $\mathcal{C}$ are again $n$-exangulated categories. Furthermore, we also show that…

We fill a gap in the literature regarding `transport of structure' for (n+2)-angulated, n-exact, n-abelian and n-exangulated categories appearing in (classical and higher) homological algebra. As an application of our main results, we show…

We generalise some of the theory developed for abelian categories in papers of Auslander and Reiten to semi-abelian and quasi-abelian categories. In addition, we generalise some Auslander-Reiten theory results of S. Liu for Krull-Schmidt…

We prove that, under a mild assumption, the heart H of a twin cotorsion pair ((S,T),(U,V)) on a triangulated category C is a quasi-abelian category. If C is also Krull-Schmidt and T=U, we show that the heart of the cotorsion pair (S,T) is…

Garret Birkhoff observed that any binary relation between two sets determines a Galois connection between the powersets, or equivalently, closure operators on the powersets, or equivalently, complete lattices of subsets that are dually…

Over the topos of sets, the notion of Lawvere theory is infinite countably-sorted algebraic but not one-sorted algebraic. Shifting viewpoint over the object-classifier topos, a finite algebraic presentation of Lawvere theories is…

This monograph is a study of the category of polynomial endofunctors on the category of sets and its applications to modeling interaction protocols and dynamical systems. We assume basic categorical background and build the categorical…

We introduce a novel concept of action for unitary magmas, facilitating the classification of various split extensions within this algebraic structure. Our method expands upon the recent study of split extensions and semidirect products of…

We produce an indexed version of the Grothendieck construction. This gives an equivalence of categories between opfibrations over a fixed base in the 2-category of 2-copresheaves and 2-copresheaves on the Grothendieck construction of the…