Related papers: Commutation Structures
One goal of applied category theory is to understand open systems. We compare two ways of describing open systems as cospans equipped with extra data. First, given a functor $L \colon \mathsf{A} \to \mathsf{X}$, a "structured cospan" is a…
This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. Algebraically, we enrich the comodule and contramodule…
Within a subclass of monoids (with zero) a structural characterization is given of those that are associated to topologically transitive subshifts with Property (A).
We interpret divided power structures on the homotopy groups of simplicial commutative rings as having a counterpart in divided power structures on chain complexes coming from a non-standard symmetric monoidal structure.
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…
The category of flows is not cartesian closed. We construct a closed symmetric monoidal structure which has moreover a satisfactory behavior from the computer scientific viewpoint.
We introduce a novel framework consisting of a class of algebraic structures that generalize one-dimensional monoidal systems into higher dimensions by defining per-axis composition operators subject to non-commutativity and a global…
It is well-known that the category of Kleisli algebras for a monoidal monad carries a canonical monoidal structure. We define the notion of a commutative graded monad and present a strictly two-categorical proof that Kleisli algebras for…
A sequence of monoidal transformations is defined, in terms of invariants, for a singular hypersurface embedded in a smooth scheme of positive characteristic. Some examples are added to illustrate the improvement of singularities by this…
With a view on applications in computing, in particular concurrency theory and higher-dimensional rewriting, we develop notions of $n$-fold monoid and comonoid objects in $n$-fold monoidal categories and bicategories. We present a series of…
In this paper we study monomial multiple structures on a linear subspace of codimension two in projective space. We show that these structures determine smooth points in their respective Hilbert schemes, with (smooth) neighbourhoods of two…
Derivations provide a way of transporting ideas from the calculus of manifolds to algebraic settings where there is no sensible notion of limit. In this paper, we consider derivations in certain monoidal categories, called codifferential…
Position and momentum of a particle can take any value in a continuous spectrum; these values are independent but their indeterminacies are correlated; momentum and position are mutually the generators of the transformations in each other.…
A topological commutative ring is said to be rigid when for every set $X$, the topological dual of the $X$-fold topological product of the ring is isomorphic to the free module over $X$. Examples are fields with a ring topology, discrete…
We introduce a new algebraic structure for multi-dimensional compositional embeddings, built on directional non-commutative monoidal operators. The core contribution of this work is this novel framework, which exhibits appealing theoretical…
An object $P$ in a monoidal category $\mathcal{C}$ is called pivotal if its left dual and right dual objects are isomorphic. Given such an object and a choice of dual $Q$, we construct the category $\mathcal{C}(P,Q)$, of objects which…
Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of…
Let $\mathcal{B}$ be a subcategory of a given category $\mathcal{D}$. Let $\mathcal{B}$ has monoidal structure. In this article, we discuss when can one extend the monoidal structure of $\mathcal{B}$ to $\mathcal{D}$ such that $\mathcal{B}$…
We prove that for certain monoidal (Quillen) model categories, the category of comonoids therein also admits a model structure.
In previous work we proved that, for categories of free finite-dimensional modules over a commutative semiring, linear compact-closed symmetric monoidal structure is a property, rather than a structure. That is, if there is such a…