Related papers: Aspects of Cubical Higher Category Theory
In this paper we define a sequence of monads $\mathbb{T}^(\infty;n)$ $(n\in\mathbb{N})$ on $\infty$-$\mathbb{G}\text{r}$, the category of the $\infty$-graphs. We conjecture that algebras for $\mathbb{T}^(0;n)$ which are defined in a purely…
In these notes we describe models of globular weak $(\infty,m)$-categories ($m\in\mathbb{N}$) in the Grothendieck style, i.e for each $m\in\mathbb{N}$ we define a globular coherator $\Theta^{\infty}_{\mathbb{M}^m}$ whose set-models are…
Two novel descriptions of weak {\omega}-categories have been recently proposed, using type-theoretic ideas. The first one is the dependent type theory CaTT whose models are {\omega}-categories. The second is a recursive description of 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…
We investigate the notion of involutive weak cubical $\omega$-categories via Penon's approach: as algebras for the monad induced by the free involutive strict $\omega$-category functor on cubical $\omega$-sets. A few examples of involutive…
This note informally describes a way to build certain cubical n-categories by iterating a process of taking models of certain finite limits theories. We base this discussion on a construction of "double bicategories" as bicategories…
We construct a `weak' version EM^w(K) of Lack & Street's 2-category of monads in a 2-category K, by replacing their compatibility constraint of 1-cells with the units of monads by an additional condition on the 2-cells. A relation between…
In the field of categorical probability, one uses concepts and techniques from category theory, such as monads and monoidal categories, to study the structures of probability and statistics. In this paper, we connect some ideas from…
We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism of topological spaces admits T-algebra structure…
We present a new method, involving monads and comonads from category theory, to help establish a certain type of equivalence of subcategories. As a case study we consider the category of topological gradings of $C^*$-algebras over a fixed…
We show that some recent constructions in the literature, named `weak' generalizations, can be systematically treated by passing from 2-categories to categories enriched in the Cartesian monoidal category of Cauchy complete categories.
We investigate the notion of involutive weak globular $\omega$-categories via Jacque Penon's approach. In particular, we give the constructions of a free self-dual globular $\omega$-magma, of a free strict involutive globular…
Batanin and Leinster's work on globular operads has provided one of many potential defnitions of a weak $\omega$-category. Through the language of globular operads they construct a monad whose algebras encode weak $\omega$-categories. The…
After two papers on weak cubical categories and {\it collarable} cospans, respectively, we put things together and construct a {\it weak} cubical category of cubical {\it collared} cospans of topological spaces. We also build a second…
Idempotent analogues of convexity are introduced. It is proved that the category of algebras for the capacity monad in the category of compacta is isomorphic to the category of $(\max,\min)$-idempotent biconvex compacta and their biaffine…
We present a categorical viewpoint of probability measures by showing that a probability measure can be viewed as a weakly averaging affine measurable functional taking values in the unit interval which preserves limits. The probability…
In category theory, monads, which are monoid objects on endofunctors, play a central role closely related to adjunctions. Monads have been studied mostly in algebraic situations. In this dissertation, we study this concept in some…
Motivated by recent work on weak distributive laws and their applications to coalgebraic semantics, we investigate the algebraic nature of semialgebras for a monad. These are algebras for the underlying functor of the monad subject to the…
Monads are of interest both in semantics and in higher dimensional algebra. It turns out that the idea behind usual notion finitary monads (whose values on all sets can be computed from their values on finite sets) extends to a more general…
We define a notion of grading of a monoid T in a monoidal category C, relative to a class of morphisms M (which provide a notion of M-subobject). We show that, under reasonable conditions (including that M forms a factorization system),…