Related papers: Enriched categories as a free cocompletion

Our subject is that of categories, functors and distributors enriched in a base quantaloid Q. We show how cocomplete Q-categories are precisely those which are tensored and conically cocomplete, or alternatively, those which are tensored,…

Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…

Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional…

We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra theory, such as Hopf group (co)algebras, weak Hopf algebras and duoidal categories. We…

Generalized multicategories, also called $T$-monoids, are well known class of mathematical structures, which include diverse set of examples. In this paper we construct a generalization of the adjunction between strict monoidal categories…

Without the axiom of choice, the free exact completion of the category of sets (i.e. the category of setoids) may not be complete or cocomplete. We will show that nevertheless, it can be enhanced to a derivator: the formal structure of…

The goal of the paper is to establish and to investigate a fully faithful embedding of the category of group operads into that of crossed interval groups. For this, we introduce a monoidal structure on the slice of the category of operads…

For a 2-category $\mathcal{K}$, we consider Street's 2-category Mnd($\mathcal{K}$) of monads in $\mathcal{K}$, along with Lack and Street's 2-category EM($\mathcal{K}$) and the identity-on-objects-and-1-cells 2-functor Mnd($\mathcal{K}$)…

In this communication, motivated by a classical result that relates cocomplete quantale-enriched categories to modules over a quantale, we prove a similar result for quantale-enriched multicategories.

Multiplier bimonoids (or bialgebras) in arbitrary braided monoidal categories are defined. They are shown to possess monoidal categories of comodules and modules. These facts are explained by the structures carried by their induced…

We discuss generalised duality theory for monoidal categories and its applications to the categories of exact endofunctors, graded vector spaces, and topological vector spaces.

We study monoidal profunctors as a tool to reason and structure pure functional programs both from a categorical perspective and as a Haskell implementation. From the categorical point of view we approach them as monoids in a certain…

It is a well-known fact that the category $\mathsf{Cat}(\mathbf{C})$ of internal categories in a category $\mathbf{C}$ has a description in terms of crossed modules, when $\mathbf{C}=\mathbf{Gr}$ is the category of groups. The proof of this…

Restriction categories were introduced to provide an axiomatic setting for the study of partially defined mappings; they are categories equipped with an operation called restriction which assigns to every morphism an endomorphism of its…

We establish the feasibility of investigating the theory of $R\text{-}\mathrm{Mod}$-enriched categories, for any commutative and unitary ring $R$, through the framework of $\mathbb{A}\mathrm{b}$-enriched category theory. In particular, we…

Let $\mathfrak{C}$ be a multifusion 2-category. We show that every finite semisimple $\mathfrak{C}$-module 2-category is canonically enriched over $\mathfrak{C}$. Using this enrichment, we prove that every finite semisimple…

We develop Morita theory of monoids in a closed symmetric monoidal category, in the context of enriched category theory.

We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We make use of a specific instance of the Grothendieck construction to provide, for every bicategory equipped with a possible…

Real-enriched categories are categories with real numbers as enrichment. Precisely, a real-enriched category is a category enriched over the commutative and unital quantale composed of the unit interval and a continuous t-norm. These notes…

We introduce a new type of weakly enriched categories over a given symmetric monoidal model category M; these are called Co-Segal categories. Their definition derives from the philosophy of classical (enriched) Segal categories. We study…