范畴论

Given a support variety theory defined on the compact part of a monoidal triangulated category, we define an extension to the non-compact part following the blueprint of Benson--Carlson--Rickard, Benson--Iyengar--Krause, Balmer--Favi, and…

Several monads of probability measures have been shown to have presentations as codensity monads over small categories of stochastic maps. This paper studies how three key properties of these probability monads, relevant to categorical…

We develop the basic theory of covers and envelopes in proto-exact categories. As an application, we prove the existence of enough injectives for categories of Banach modules over arbitrary Banach rings.

The filter quotient construction is a particular instance of a filtered colimit of categories. It has primarily been considered in the context of categorical logic, where it has been used effectively to construct non-trivial models, for…

We construct a finite-dimensional higher Lie groupoid integrating a singular foliation $\mathcal{F}$, under the mild assumption that the latter admits a geometric resolution. More precisely, a recursive use of bi-submersions, a tool coming…

I discuss possible definitions of categories of vector spaces enriched with a notion of formal infinite linear combination in the likes of the formal infinite linear combinations one has in the context of generalized power series, I call…

The universal property for the B\'enabou bicategory of distributors (although we call them "modules") presented here is somewhat implicitly spread over a series of papers and yet, to my knowledge, does not appear in print. The inclusion of…

We study simple extensions of pointed finite tensor categories, that is, tensor categories $\mathcal{C}$ admitting an abelian decomposition $\mathcal{C} \cong \mathcal{D} \oplus \mathcal{M}$ where $\mathcal{D}$ is a pointed tensor…

Epistemic uncertainty arises in lack of complete knowledge about the state of a system. There are multiple mathematical frameworks for measuring such uncertainty quantitatively, often referred to as imprecise probability theories. Inspired…

The established equivalence between 2-crossed modules and Gray 3-groups [M. Sarikaya and E. Ulualan, 2024] serves as a benchmark for higher-dimensional algebraic models. However, to the best of our knowledge, the established definitions of…

In this paper we extend the concept of dinaturality to the setting of double categories. We introduce the dinatural versions of double-categorical transformations and modifications, and show that ordinary natural transformations and…

In the first part of the paper, we establish an homotopical version of the snail lemma (which is a generalization of the classical snake lemma). In the second part, we introduce the category $\mathbf{Seq}(\mathcal A)$ of sequentiable…

Following the classical approach of Birkhoff, we suggest an enriched version of enriched universal algebra. Given a suitable base of enrichment $\mathcal V$, we define a language $\mathbb L$ to be a collection of $(X,Y)$-ary function…

We present a formalization in Lean 4, within the framework of the mathematical library Mathlib, of the unbiasing process for symmetric monoidal categories. This is realized by extending the data of a symmetric monoidal category to a…

In this note, we propose a generalisation of G. Janelidze's notion of an ideally exact category beyond the Barr exact setting. We define an ideally regular category as a regular, Bourn protomodular category with finite coproducts in which…

We establish a DK-equivalence between the relative category of $\pi$-tribes and the relative category of locally cartesian closed quasicategories. From this follows one of the internal languages conjecture: Martin-L\"of type theory with…

In previous work, categories of algebras of endofunctors were shown to be enriched in categories of coalgebras of the same endofunctor, and the extra structure of that enrichment was used to define a generalization of inductive data types.…

This paper extends the theory of universal measuring comonoids to modules and comodules in braided monoidal categories. We generalise the universal measuring comodule Q(M,N), originally introduced for modules over k-algebras when k is a…

This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…

The aim of this work is to study the notions of lax protomodular and Ord-Mal'tsev category at the level of (coherent) varieties of (pre)ordered algebras and to further compare them, as has been done in the non-ordered context. We…