Related papers: Kleisli categories, T-categories and internal cate…
The notion of a subtractive category, recently introduced by the author, is a ``categorical version'' of the notion of a (pointed) subtractive variety of universal algebras, due to A. Ursini. We show that a subtractive variety $\C$, whose…
We define the notion of whiskered categories and groupoids, showing that whiskered groupoids have a commutator theory. So also do whiskered $R$-categories, thus answering questions of what might be `commutative versions' of these theories.…
Differential lambda-categories were introduced by Bucciarelli et al. as models for the simply typed version of the differential lambda-calculus of Ehrhard and Regnier. A differential lambda-category is a cartesian closed differential…
In the context of the Lusternik-Schnirelmann category, researcher T. Srinivasan demonstrated that when the space under consideration is an absolute neighborhood retract, its category can be realized through arbitrary subsets, not…
Via the adjunction $ - \boldsymbol{\cdot} 1 \dashv \mathcal V(1,-) \colon \mathsf{Span}(\mathcal V) \to \mathcal V \text{-} \mathsf{Mat} $ and a cartesian monad $ T $ on an extensive category $ \mathcal V $ with finite limits, we construct…
We study the monoidal closed category of symmetric multicategories, especially in relation with its cartesian structure and with sequential multicategories (whose arrows are sequences of concurrent arrows in a given category). Then we…
It is well known that knots are countable in ordinary knot theory. Recently, knots {\it with intersections} have raised a certain interest, and have been found to have physical applications. We point out that such knots --equivalence…
We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gives higher-order expressivity. We demonstrate that Frobenius…
In this paper we prove some results on the covering morphisms of internal groupoids. We also give a result on the coverings of the crossed modules of groups with operations.
Given a presentably symmetric monoidal $\infty$-category $\mathcal{C}$ and an $\mathbb{E}_{\infty}$-monoid $M$, we introduce and classify twisted graded categories, which generalize the Day convolution structure on $\mathrm{Fun}(M,…
Monads in category theory are algebraic structures that can be used to model computational effects in programming languages. We show how the notion of "centre", and more generally "centrality", i.e. the property for an effect to commute…
The introduction of the categorical notion of closure operators has unified various important notions and has led to interesting examples and applications in diverse areas of mathematics (see for example, Dikranjan and Tholen (\cite{DT})).…
This paper is about skew monoidal tensored V-categories (= skew monoidal hommed V-actegories) and their categories of modules. A module over <M,*,R> is an algebra for the monad T = R * _ on M. We study in detail the skew monoidal structure…
This article is devoted to the investigation of the deformation (twisting) of monoidal structures, such as the associativity constraint of the monoidal category and the monoidal structure of monoidal functor. The sets of twistings have a…
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…
Several monads of probability measures have been shown to have presentations as codensity monads over small categories of stochastic maps. This paper studies how three key properties of these probability monads, relevant to categorical…
We investigate the notion of involutive weak globular $\omega$-categories via T.Leinster's approach: as algebras for the initial contracted globular operad in the bicategory of globular collections induced by the Cartesian monad of the free…
In this paper, we define the pullback crossed modules in the category of racks which mainly based on a pullback diagram of rack morphisms with extra crossed module data on some of its arrows. Furthermore we prove that the conjugation…
In this article, we interconnect two different aspects of higher category theory, in one hand the theory of infinity categories and on an other hand the theory of 2-categories.We construct an explicit functorial path objet in the model…
Notions of `operad' and `multicategory' abound. This work provides a single framework in which many of these various notions can be expressed. Explicitly: given a monad * on a category S, we define the term `(S,*)-multicategory', subject to…