范畴论

In this paper, first we classify non-abelian extensions of Leibniz algebras by the second non-abelian cohomology. Then, we construct Leibniz 2-algebras using derivations of Leibniz algebras, and show that under a condition on the center, a…

We characterize $t$-structures in stable $\infty$-categories as suitable quasicategorical factorization systems. More precisely we show that a $t$-structure $\mathfrak{t}$ on a stable $\infty$-category $\mathbf{C}$ is equivalent to a normal…

This paper provides several characterizations of final functors between internal groupoids in Barr-exact categories. In particular, it is proved that an internal functor between groupoids is final if and only if it is full and essentially…

We describe the split extension classifiers in the semi-abelian category of cocommutative Hopf algebras over an algebraically closed field of characteristic zero. The categorical notions of centralizer and of center in the category of…

We generalise the construction of the Lie algebroid of a Lie groupoid so that it can be carried out in any tangent category. First we reconstruct the bijection between left invariant vector fields and source constant tangent vectors based…

In this paper we study the categories of braided categorical associative algebras and braided crossed modules of associative algebras and we relate these structures with the categories of braided categorical Lie algebras and braided crossed…

We compute the collection of CW-complexes in the model category of small categories constructed by Joyal and Tierney. More generally, if $X$ is a connected topological space, we show that the homotopy category of CW-complexes in…

Batanin defines a weak $\omega$-category as an algebra for a certain operad. Leinster refines this idea and defines the weak $\omega$-category operad as the initial object of a category of "operads with contraction". We demonstrate how a…

We introduce several notions and give examples. We prove that ${\rm Stab}(D^b(K(l)))\cong {\mathbb C}\times \mathcal H$ for $l\geq 3$, where $K(l)$ is $l$-Kronecker quiver. This is an example of SOD, where ${\rm Stab}( \langle \mathcal…

We study the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of an additive category $\mathcal{B}$ and the derived category $\mathsf{D}_{N}(\mathcal{A})$ of an abelian category $\mathcal{A}$. First we show that both…

The aim of this paper is to solve a problem proposed by Dominique Bourn: to provide a categorical-algebraic characterisation of groups amongst monoids and of rings amongst semirings. In the case of monoids, our solution is given by the…

We construct a direct sum completion $\mathcal{C}_{\oplus}$ of a given braided monoidal category $\mathcal{C}$ which allows for the rigorous treatment of infinite order simple current extensions of vertex operator algebras as seen in…

We prove that the quasicategories arising from models of Martin-L\"of type theory via simplicial localization are locally cartesian closed.

We associate to a bimonoidal functor, i.e. a bifunctor which is monoidal in each variable, a nonabelian version of a biextension. We show that such a biextension satisfies additional triviality conditions which make it a bilinear analog of…

We characterise, in pointed regular categories, the ideals as the zero-classes of surjective relations. Moreover, we study a variation of the "Smith is Huq" condition: two surjective left split relations commute as soon as their…

We give a new sufficient condition for the normal extensions in an admissible Galois structure to be reflective. We then show that this condition is indeed fulfilled when X is the (protomodular) reflective subcategory of S-special objects…

Given a complete hereditary cotorsion pair $(\mathcal{A}, \mathcal{B})$ in an abelian category $\mathcal{C}$ satisfying certain conditions, we study the completeness of the induced cotorsion pairs $(\Phi(\mathcal{A}),…

Category theory in homotopy type theory is intricate as categorical laws can only be stated "up to homotopy", and thus require coherences. The established notion of a univalent category (Ahrens, Kapulkin, Shulman) solves this by considering…

The purpose of these notes is to give a categorical presentation/analysis of homotopy type theory. The notes are incomplete as they stand (October 2017). The chapter on univalent tribes is missing. The references are not always connected to…

We show that a functor category whose domain is a colored category is a topos.The topos structure enables us to introduce cohomology of colored categories including quasi-schemoids. If the given colored category arises from an association…