范畴论

We study a coloured operad involving rooted trees and directed cycles of rooted trees that generalizes the operad of rooted trees of Chapoton and Livernet. We describe all the relations between the generators of a certain suboperad of that…

There is an abstract notion of connection in any tangent category. In this paper, we show that when applied to the tangent category of affine schemes, this recreates the classical notion of a connection on a module (and similarly, in the…

We study weakly invertible cells in weak $\omega$-categories in the sense of Batanin-Leinster, adopting the coinductive definition of weak invertibility. We show that weakly invertible cells in a weak $\omega$-category are closed under…

We classify all connected and Lagrangian \'etale algebras in the Drinfeld center $\mathscr{Z}_1(\mathbf{2Vect}^\pi_G)$, where $G$ is a finite group and $\pi$ is a 4-cocycle on $G$. By D\'ecoppet's result every bosonic fusion 2-category…

Consider a locally cartesian closed category with an object I and a class of trivial fibrations, which admit sections and are stable under pushforward and retract as arrows. Define the fibrations to be those maps whose Leibniz exponential…

It is a classical result that the category of finitely-generated free monoids serves as a PROP for commutative bialgebras. Attaching permutations to fix the order of multiplication, we construct an extension of this category that is…

We study monoidal 2-categories and bicategories in terms of categorical extensions and the cohomological data they determine in appropriate cohomology theories with coefficients in Picard groupoids. In particular, we analyze the hierarchy…

Lawvere's algebraic theories, or Lawvere theories, underpin a categorical approach to general algebra, and Lawvere's adjunction between semantics and algebraic structure leads to an equivalence between Lawvere theories and finitary monads…

Equivariant monoids are very important objects in many branches of mathematics: they combine the notion of multiplication and the concept of a group action. In this paper we will construct categories which encode the structure borne by…

The aim of this article is to give an expository account of the equivalence between modest sets and partial equivalence relations. Our proof is entirely self-contained in that we do not assume any knowledge of categorical realizability. At…

We provide a new description of the hom functor on weak $\omega$-categories, and we show that it admits a left adjoint that we call the suspension functor. We then show that the hom functor preserves the property of being free on a…

Dilatations modify categories by imposing that some morphisms factorize through some others. This is formalized by a universal property. This text is devoted to introduce and study this construction. Examples of dilatations of categories…

Let $\mathcal{X}$ be a skeletally small additive category. Using the canonical equivalence between two different presentations of the free abelian category over $\mathcal{X}$, we give a new and simple characterization of definable…

We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to…

We study the $\lambda$-pure global dimension of a Grothendieck category $\cal A$, and provide two different applications about this dimension. We obtain that if the $\lambda$-pure global dimension $\plgldA<\infty$, then (1) The ordinary…

A theory of ordinal powers of the ideal $\mathfrak{g}_{\mathcal{S}}$ of $\mathcal{S}$-ghost morphisms is developed by introducing for every ordinal $\lambda$, the $\lambda$-th inductive power $\mathcal{J}^{(\lambda)}$ of an ideal…

Over an arbitrary field, we prove that the relative 2-Deligne tensor product of two separable module 2-categories over a compact semisimple tensor 2-category exists. This allows us to consider the Morita 4-category of compact semisimple…

With a view on applications in computing, in particular concurrency theory and higher-dimensional rewriting, we develop notions of $n$-fold monoid and comonoid objects in $n$-fold monoidal categories and bicategories. We present a series of…

For a morphism f in a category C with sufficiently many finite limits and colimits, we discuss an elementary construction of a decomposition of f through objects P and N which, if C happens to have a zero object, amounts to the standard…

We introduce a notion of signature whose sorts form a direct category, and study computads for such signatures. Algebras for such a signature are presheaves with an interpretation of every function symbol of the signature, and we describe…