Related papers: A reference for categorical structures on $\mathbf…
In this paper, we study connections between the structure of a group and the structure of the group (under pointwise product) of its polynomial functions.
We prove that various structures on model $\infty$-categories descend to corresponding structures on their localizations: (i) Quillen adjunctions; (ii) two-variable Quillen adjunctions; (iii) monoidal and symmetric monoidal model…
In this article we describe properties of the 2-functor from the 2-category of comonads to the 2-category of functors that sends a comonad to its forgetful functor. This allows us to describe contexts where algebras over a monad are…
Effectful categories have two classes of morphisms: pure morphisms, which form a monoidal category; and effectful morphisms, which can only be combined monoidally with central morphisms (such as the pure ones), forming a premonoidal…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
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…
We study structures which have arisen in recent work by the present author and Bob Coecke on a categorical axiomatics for Quantum Mechanics; in particular, the notion of strongly compact closed category. We explain how these structures…
In this paper we present cartesian structure for symmetric Gray-monoidal double categories. To do this we first introduce locally cubical Gray categories, which are three-dimensional categorical structures analogous to classical, locally…
Building on structure observed in equivariant homotopy theory, we define an equivariant generalization of a symmetric monoidal category: a $G$-symmetric monoidal category. These record not only the symmetric monoidal products but also…
We identify a categorical structure of the set of all CFTs. In particular, we show that the set of all CFTs has a natural monoidal strict $2$-category structure with the $1$-morphisms being sequences of deformations and $2$-morphisms…
Certain aspects of Street's formal theory of monads in 2-categories are extended to multimonoidal monads in symmetric strict monoidal 2-categories. Namely, any symmetric strict monoidal 2-category $\mathcal M$ admits a symmetric strict…
We describe the multiplicative structures that arise on categories of equivariant modules over certain equivariant commutative ring spectra. Building on our previous work on N-infinity ring spectra, we construct categories of equivariant…
We study a number of categorical quasi-uniform structures induced by functors. We depart from a category $\mathcal{C}$ with a proper $(\mathcal{E}, \mathcal{M})$-factorization system, then define the continuity of a $\mathcal{C}$-morphism…
We give a detailed account of various connections between several classes of objects: Hankel, Hurwitz, Toeplitz, Vandermonde and other structured matrices, Stietjes and Jacobi-type continued fractions, Cauchy indices, moment problems, total…
We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$-operators and $P$-operators. We describe $e$-spectra and families of finite cardinalities for structures belonging to…
For a set $A$ let ${{\mathbf {SC}}_A}$ be the poset of simplicial complexes whose vertices are in $A$. For a function $f : A \rightarrow B$ there are functors $ f^{! !}, f^{**}, f^{ii}: {{\mathbf {SC}}_A} \rightarrow {{\mathbf {SC}}_B},…
This is the fourth installment in a series of papers offering models of hierarchical structure for dynamical systems, using the language of polynomial functors. The operad underlying the symmetric monoidal category $(\mathbf{Poly}, \otimes,…
We construct free monoids in a monoidal category with finite limits and countable colimits, in which tensoring on either side preserves reflexive coequalizers and colimits of countable chains.
Polynomials in a category have been studied as a generalization of the traditional notion in mathematics. Their construction has recently been extended to higher groupoids, as formalized in homotopy type theory, by Finster, Mimram, Lucas…
We investigate cofree coalgebras, and limits and colimits of coalgebras in some abelian monoidal categories of interest, such as bimodules over a ring, and modules and comodules over a bialgebra or Hopf algebra. We find concrete generators…