English
Related papers

Related papers: Skew-monoidal categories and the Catalan simplicia…

200 papers

I motivate a variation (due to K. Szlach\'{a}nyi) of monoidal categories called skew-monoidal categories where the unital and associativity laws are not required to be isomorphisms, only natural transformations. Coherence has to be…

Logic in Computer Science · Computer Science 2014-08-26 Tarmo Uustalu

We introduce the notion of a braiding on a skew monoidal category, whose curious feature is that the defining isomorphisms involve three objects rather than two. These braidings are shown to arise from, and classify, cobraidings (also known…

Category Theory · Mathematics 2020-01-29 John Bourke , Stephen Lack

Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial…

Algebraic Topology · Mathematics 2007-05-23 Julia E. Bergner

Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging…

Category Theory · Mathematics 2026-03-11 Marius Furter , Yujun Huang , Gioele Zardini

We introduce semidirect products of skew monoidal categories as a categorification of semidirect products of monoids (or, perhaps more familiarly, of groups). We also discuss how this construction interacts with monoidal, autonomous and…

Category Theory · Mathematics 2016-07-05 Ben Fuller

In the paper "Triangulations, orientals, and skew monoidal categories", the free monoidal category Fsk on a single generating object was described. We sharpen this by giving a completely explicit description of Fsk, and so of the free skew…

Category Theory · Mathematics 2023-08-17 John Bourke , Stephen Lack

We introduce the concept of a dendroidal set. This is a generalization of the notion of a simplicial set, specially suited to the study of operads in the context of homotopy theory. We define a category of trees, which extends the category…

Algebraic Topology · Mathematics 2014-10-01 Ieke Moerdijk , Ittay Weiss

Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging…

Category Theory · Mathematics 2025-09-03 Marius Furter , Yujun Huang , Gioele Zardini

The most natural notion of a simplicial nerve for a (weak) bicategory was given by Duskin, who showed that a simplicial set is isomorphic to the nerve of a $(2,1)$-category (i.e. a bicategory with invertible $2$-morphisms) if and only if it…

Category Theory · Mathematics 2014-01-31 Nathaniel Watson

It is well known that the underlying simplicial set of any simplicial group is a Kan complex. Roughly speaking, Kan complex is an infinite-dimensional analogue of groupoid, and the relation between groupoids and categories resembles that…

Category Theory · Mathematics 2020-06-23 Ryo Horiuchi

In this paper, we develop the proof theory of skew prounital closed categories. These are variants of the skew closed categories of Street where the unit is not represented. Skew closed categories in turn are a weakening of the closed…

Logic in Computer Science · Computer Science 2021-01-12 Tarmo Uustalu , Niccolò Veltri , Noam Zeilberger

In many situations one encounters an entity that resembles a monoid. It consists of a carrier and two operations that resemble a unit and a multiplication, subject to three equations that resemble associativity and left and right unital…

Category Theory · Mathematics 2025-12-05 Paul Blain Levy , Morgan Rogers

We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…

Category Theory · Mathematics 2021-02-16 Steven V Sam , Andrew Snowden

A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…

Category Theory · Mathematics 2020-06-22 Pau Enrique Moliner , Chris Heunen , Sean Tull

Although multiplier bimonoids in general are not known to correspond to comonoids in any monoidal category, we classify them in terms of maps from the Catalan simplicial set to another suitable simplicial set; thus they can be regarded as…

Category Theory · Mathematics 2019-07-08 Gabriella Böhm , Stephen Lack

Let $\mathcal{S}$ be a small category, and suppose that we are given a full subcategory $\mathcal{U}$ such that every object of $\mathcal{S}$ can be embedded into some object of $\mathcal{U}$ in the same way as every quasi-projective…

Category Theory · Mathematics 2024-12-12 Luca Terenzi

This paper introduces the concept of distorted monoidal categories, a generalization of monoidal and braided monoidal categories that supports non-reversible and direction-sensitive tensor structures. Unlike the classical setting, where the…

Category Theory · Mathematics 2025-11-25 Joaquim Reizi Higuchi

A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This…

General Relativity and Quantum Cosmology · Physics 2015-05-30 Bob Coecke , Raymond Lal

In this paper, we introduce and study a class of monoids, called Layered Catalan Monoids (\( {LC}_n \)), which satisfy the structural conditions for $\ll$-smoothness as defined in~\cite{Sha-Det2}. These monoids are defined by specific…

Group Theory · Mathematics 2025-03-11 M. H. Shahzamanian

While chain complexes are equipped with a differential $d$ satisfying $d^2 = 0$, their generalizations called $N$-complexes have a differential $d$ satisfying $d^N = 0$. In this paper we show that the lax nerve of the category of chain…

Category Theory · Mathematics 2014-04-03 Djalal Mirmohades