范畴论

We recall Schur's work on universal central extensions and develop the analogous theory for categorical extensions of groups. We prove that the String 2-groups are universal in this sense and study in detail their restrictions to the finite…

In my Montreal lecture notes of 1988, it was suggested that the theory of linear quantum groups can be presented in the framework of the category of {\it quadratic algebras} (imagined as algebras of functions on "quantum linear spaces"),…

We define triangulated factorization systems on triangulated categories, and prove that a suitable subclass thereof (the normal triangulated torsion theories) corresponds bijectively to $t$-structures on the same category. This result is…

Craig Squier proved that, if a monoid can be presented by a finite convergent string rewriting system, then it satisfies the homological finiteness condition left-FP3. Using this result, he constructed finitely presentable monoids with a…

In this work we study the notion of Whitehead sequence in the category of crossed modules and actions of crossed modules. As expected, Whitehead sequences in that context are the same as crossed squares. We investigate under which…

We assemble polynomials in a locally cartesian closed category into a tricategory, allowing us to define the notion of a polynomial pseudomonad and polynomial pseudoalgebra. Working in the context of natural models of type theory, we prove…

In this paper, we study tensor (or monoidal) categories of finite rank over an algebraically closed field $\mathbb F$. Given a tensor category $\mathcal{C}$, we have two structure invariants of $\mathcal{C}$: the Green ring (or the…

We show that in a locally finite topos, every object has an essential extension that is injective, and that this extension is unique up to isomorphism. The construction was motivated by work on Bewl, a software project for doing…

For a topos $\mathbf{T}$, there is a bicategory $\mathbf{MonicSp(Csp(T))}$ whose objects are those of $\mathbf{T}$, morphisms are cospans in $\mathbf{T}$, and 2-morphisms are isomorphism classes of monic spans of cospans in $\mathbf{T}$.…

We discuss the notion of a span of cospans and define, for them, horizonal and vertical composition. These compositions satisfy the interchange law if working in a topos $\mathbf{C}$ and if the span legs are monic. A bicategory is then…

Pronk's theorem on bicategories of fractions is applied, in almost all cases in the literature, to 2-categories of geometrically presentable stacks on a 1-site. We give an proof that subsumes all previous such results and which is purely…

In the present paper, we propose a new theory named "Theory of indeterminate natural transformation (TINT)" to investigate the dynamical creation of meanings as association relationships between images, focusing on the metaphor…

We investigate what is remaining of the 3x3 lemma and of the denormalized 3x3 lemma, respectively valid in a pointed protomodular and in a Maltsev category, in the context of partial pointed protomodular and partial Maltsev categories,…

We introduce \emph{flagged $(\infty,n)$-categories} and prove that they are equivalent to Segal sheaves on Joyal's category ${\mathbf\Theta}_n$. As such, flagged $(\infty,n)$-categories provide a model-independent formulation of Segal…

In this paper, for given an algebraic theory $T$ whose category $C$ of models is semi-abelian, we consider the topological models of $T$ called topological $T$-algebras and obtain some results related to the fundamental groups of…

In this paper we develop star topological and topological group-groupoid structures of monodromy groupoid and prove that the monodromy groupoid of a topological group-groupoid is also a topological group-groupoid.

We consider the categorical equivalence between crossed modules over groupoids and double groupoids with thin structures; and by this equivalence, we prove how normality and quotient concepts are related in these two categories and give…

We define strict and weak duality involutions on 2-categories, and prove a coherence theorem that every bicategory with a weak duality involution is biequivalent to a 2-category with a strict duality involution. For this purpose we…

Just as the presheaf category is the free cocompletion of any small category, there is an analogous notion of free cocompletion for any small restriction category. In this paper, we extend the work on restriction presheaves to presheaves…

In this article Hopf parametric adjunctions are defined and analysed within the context of the 2-adjunction of the type $\mathbf{Adj}$-$\mathbf{Mnd}$. In order to do so, the definition of adjoint objects in the 2-category of adjunctions and…