Abstract. We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved, as well as quasiadhesive categories which restrict attention to regular monomorphisms. Many examples of graphical structures used in computer science are shown to be examples of adhesive and quasiadhesive categories. Double-pushout graph rewriting generalizes well to rewriting on arbitrary adhesive and quasiadhesive categories.
We define Hopf monads on an arbitrary monoidal category, extending the
definition given previously for monoidal categories with duals. A Hopf monad is
a bimonad (or opmonoidal monad) whose fusion operators are invertible. This
definition can be formulated in terms of Hopf adjunctions, which are comonoidal
adjunctions with an invertibility condition. On a monoidal category with
internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode.
Hopf monads generalize Hopf algebras to the non-braided setting. They also
generalize Hopf algebroids (which are linear Hopf monads on a category of
bimodules admitting a right adjoint). We show that any finite tensor category
is the category of finite-dimensional modules over a Hopf algebroid. Any Hopf
algebra in the center of a monoidal category C gives rise to a Hopf monad on C.
The Hopf monads so obtained are exactly the augmented Hopf monads. More
generally if a Hopf monad T is a retract of a Hopf monad P, then P is a cross
product of T by a Hopf algebra of the center of the category of T-modules
(generalizing the Radford-Majid bosonization of Hopf algebras). We show that
the comonoidal comonad of a Hopf adjunction is canonically represented by a
cocommutative central coalgebra. As a corollary, we obtain an extension of
Sweedler's Hopf module decomposition theorem to Hopf monads (in fact to the
weaker notion of pre-Hopf monad).Comment: 45 page
Given a category with a stable system of monics, one can form the corresponding category of partial maps. To each map in this category there is, on the domain of the map, an associated idempotent, which measures the degree of partiality. This structure is captured abstractly by the notion of a restriction category, in which every arrow is required to have such an associated idempotent. Categories with a stable system of monics, functors preserving this structure, and natural transformations which are cartesian with respect to the chosen monics, form a 2-category which we call MCat. The construction of categories of partial maps provides a 2-functor Par : MCat → Cat. We show that Par can be made into an equivalence of 2-categories between MCat and a 2-category of restriction categories. The underlying ordinary functor Par0 : MCat0 → Cat0 of the above 2-functor Par turns out to be monadic, and, from this, we deduce the completeness and cocompleteness of the 2-categories of M-categories and of restriction categories. We also consider the problem of how to turn a formal system of subobjects into an actual system of subobjects. A formal system of subobjects is given by a functor into the category sLat of semilattices. This structure gives rise to a restriction category which, via the above equivalence of 2-categories, gives an M-category. This M-category contains the universal realization of the given formal subobjects as actual subobjects.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.