Related papers: Kleisli categories, T-categories and internal cate…

We study codensity monads $T$ induced by (mostly small, mostly dense) full subcategories $A \subset K$. These monads behave quite similarly, we show some connections with the Isbell duality, pro-finite objects and compact spaces. We prove…

This is the second part of a series of three strongly related papers in which three equivalent structures are studied: - internal categories in categories of monoids; defined in terms of pullbacks relative to a chosen class of spans -…

In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on…

We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence…

The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Jarek is that commutative inverse monoids become semilattices of abelian groups. It has…

The category of generalized Lie algebroids is presented. We obtain an exterior differential calculus for generalized Lie algebroids. In particular, we obtain similar results with the classical and modern results for Lie algebroids. So, a…

We study the category whose objects are graphs of fixed genus and whose morphisms are contractions. We show that the corresponding contravariant module categories are Noetherian and we study two families of modules over these categories.…

Let $\mathcal C$ be a Grothendieck category and $U$ be a monad on $\mathcal C$ that is exact and preserves colimits. In this article, we prove that every hereditary torsion theory on the Eilenberg-Moore category of modules over a monad $U$…

In this paper, we state and prove precise theorems on the classification of the category of (braided) categorical groups and their (braided) monoidal functors, and some applications obtained from the basic studies on monoidal functors…

The aim of this paper is to characterize the notion of internal category (groupoid) in the category of Leibniz algebras and investigate the properties of well-known notions such as covering groupoid and groupoid operations (actions) in this…

For each braided category $\mathcal{C}$ we show that, under mild hypotheses, there is an associated category of "half braided algebras" and their bimodules internal to $\mathcal{C}$ which is not only monoidal but even braided and balanced.…

Algebraic structures such as monoids, groups, and categories can be formulated within a category using commutative diagrams. In many common categories these reduce to familiar cases. In particular, group objects in Grp are abelian groups,…

For any category ${\mathcal E}$ and monad $T$ thereon, we introduce the notion of $T$-simplicial object in ${\mathcal E}$. Any $T$-category in the sense of Burroni induces a $T$-simplicial object as its nerve. This nerve construction…

We use the ultrafilter-convergence axiomatics for topological spaces to motivate in detail a gentle categorical introduction, first to Barr's Set-based relational T-algebras, and then to Burroni's T-preorders internal to a category C, here…

Originally introduced in the context of the algebraic approach to term graph rewriting, the notion of gs-monoidal category has surfaced a few times under different monikers in the last decades. They can be thought of as symmetric monoidal…

For any good tilting module $T$ over a ring $A$, there exists an $n$-symmetric subcategory $\mathscr{E}$ of a module category such that the derived category of the endomorphism ring of $T$ is a recollement of the derived categories of…

We prove that a type II$_1$ factor $M$ can have at most one Cartan subalgebra $A$ satisfying a combination of rigidity and compact approximation properties. We use this result to show that within the class $\Cal H \Cal T$ of factors $M$…

A modular category is a braided category with some additional algebraic features. The interest of this concept is that it provides a Topological Quantum Field Theory in dimension 3. The Verlinde formulas associated with a modular category…

An algebraic left Kan extension is a left Kan extension which interacts well with the algebraic structure present in the given situation, and these appear in various subjects such as the homotopy theory of operads and in the study of…

The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…