Commutativity
From MaRDI portal
Publication:899553
DOI10.1016/J.JPAA.2015.09.003zbMath1375.18049arXiv1507.08710OpenAlexW4205983157MaRDI QIDQ899553
Richard Garner, Ignacio L. López Franco
Publication date: 30 December 2015
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1507.08710
Equational categories (18C05) Categorical semantics of formal languages (18C50) Enriched categories (over closed or monoidal categories) (18D20) Foundations, relations to logic and deductive systems (18A15)
Related Items (6)
A categorical approach to dynamical quantum groups ⋮ Duoidally enriched Freyd categories ⋮ Sweedler theory of monads ⋮ Monads on higher monoidal categories ⋮ Commutants for enriched algebraic theories and monads ⋮ Bifold algebras and commutants for enriched algebraic theories
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Centers and homotopy centers in enriched monoidal categories
- Weakly distributive categories
- Notions of computation and monads
- Cover relations on categories
- Combining algebraic effects with continuations
- A universal property of the convolution monoidal structure
- Two-dimensional monad theory
- Algebraic categories with few monoidal biclosed structures or none
- Braided tensor categories
- Monoidal bicategories and Hopf algebroids
- Iterated monoidal categories
- Modelling environments in call-by-value programming languages.
- Generalising monads to arrows
- Formal category theory: Adjointness for 2-categories
- Homotopy invariant algebraic structures on topological spaces
- Monoidal categories in, and linking, geometry and algebra
- Lawvere theories, finitary monads and Cauchy-completion
- Monads on symmetric monoidal closed categories
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- The geometry of iterated loop spaces
- Free Products of Higher Operad Algebras
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
- Closed categories vs. closed multicategories
- Monoidal Functors, Species and Hopf Algebras
- A Counterexample to Tensorability of Effects
- The Boardman-Vogt tensor product of operadic bimodules
- Doubles for monoidal categories
- Categorical semantics for arrows
- Accessible Categories: The Foundations of Categorical Model Theory
- Premonoidal categories and notions of computation
- Coherence for tricategories
- The cartesian closed bicategory of generalised species of structures
- Algebra valued functors in general and tensor products in particular
- On closed categories of functors
This page was built for publication: Commutativity