范畴论

Category and multicategory theory provide abstract frameworks for describing structures and their compositions, with multicategories extending traditional categories to handle multi-input operations. These theories enable modular reasoning…

This is the first of a pair of papers where we construct and investigate a closed monoidal structure on the category of generalized algebraic theories (in the sense of Cartmell). In the present text, as a starting point, we define the…

In this paper, we introduce the concept of graded extension dimension for a group graded ring R, denoted by gr.ext.dim(R). We prove that when R is strongly graded, its graded extension dimension coincides with the non-graded extension…

In this study, the soft usual topology compatible with the usual topology of $\mathbb{R}$ is defined, and using its subspace topology on the interval $[0,1]$, the concept of a soft path is introduced. Within this context, the notions of…

We develop a compositional framework for generalized reversible computing using copy-discard categories and resource theories. We introduce partitioned matrices between partitioned sets as subdistribution matrices which preserve the…

Several categories look like categories of relations, but do not fit the established theory of relations in regular categories. They include the category of surjective multivalued functions, the category of injective partial functions, the…

We introduce notions of lax semiadditive and lax additive $(\infty,2)$-categories, categorifying the classical notions of semiadditive and additive 1-categories. To establish a well-behaved axiomatic framework, we develop a calculus of lax…

We unravel a deep connection between limits of real numbers and limits in category theory. Using a new variant of the classical characterisation of the real numbers, we characterise the category of finite-dimensional Hilbert spaces and…

This article introduces pre-Hilbert $*$-categories: an abstraction of categories exhibiting "algebraic" aspects of Hilbert-space theory. Notably, finite biproducts in pre-Hilbert $*$-categories can be orthogonalised using the Gram-Schmidt…

Davydov-Yetter (DY) cohomology is a cohomology theory for linear semigroupal (i.e.~monoidal but not necessarily categories and functors, measuring deformations of their coherence isomorphisms. We show that DY cohomology is invariant under…

The notion of Kan extendable subcategories was initially introduced to define the category of compactly generated fibrewise topological spaces over a T1 base space and to establish its cartesian closure. In this paper, we show that the same…

We study $\omega$-equifibrations between weak $\omega$-categories in the sense of Batanin--Leinster. We define $\omega$-equifibrations as a natural weak $\omega$-categorical analogue of isofibrations between categories, and show that they…

We introduce a notion similar to the AB4 (resp. AB4{*}) condition for abelian categories but in the context of extriangulated categories. We will refer to this notion as AET4 (resp. AET4{*}). One of our main results shows equivalent…

We investigate models of algebraic theories in the category of cocommutative coalgebras over a field. We establish some of their categorical properties, similar to those of algebraic varieties. We introduce a class of categories of…

Localic and realizability toposes are two central classes of toposes in categorical logic, both arising through the Hyland-Johnstone-Pitts tripos-to-topos construction. We investigate their shared geometric features by providing an…

The infinitesimal counterpart of a Lie groupoid is its Lie algebroid. As a vector bundle, it is given by the source vertical tangent bundle restricted to the identity bisection. Its sections can be identified with the invariant vector…

We compare the concepts of protomodular and weakly protomodular objects within the context of unital categories. Our analysis demonstrates that these two notions are generally distinct. To establish this, we introduce left…

We give a categorical explanation for many properties of profinite coproducts of profinite groups, which were previously proven on a case-by-case basis. All of these properties take the form "certain functors preserve profinite coproducts".…

This paper provides a new categorical definition of a normalization operator motivated by topos theory and its applications to algebraic language theory. We first define a normalization operator $\Xi \to \Xi$ in any category that admits a…

We prove a number of results of the following common flavor: for a category $\mathcal{C}$ of topological or uniform spaces with all manner of other properties of common interest (separation / completeness / compactness axioms), a group (or…