Eilenberg-Kelly reloaded

DOI10.1016/j.entcs.2020.09.012OpenAlexW3094358738WikidataQ113317293 ScholiaQ113317293MaRDI QIDQ2133479

Niccolò Veltri, Noam Zeilberger, Tarmo Uustalu

Publication date: 29 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2020.09.012

zbMATH Keywords

closedKleisli constructionEilenberg-Kelly theoremmonoidal closed and bi-closed categoriespromonoidal categoriesskew and normal monoidal

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Skew-monoidal categories and bialgebroids.
• Full intuitionistic linear logic
• Skew monoidal categories and skew multicategories
• Free skew monoidal categories
• The sequent calculus of skew monoidal categories
• Skew-closed categories
• Triangulations, orientals, and skew monoidal categories
• Coherence for associativity not an isomorphism
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Skew monoidales, skew warpings and quantum categories
• The Mathematics of Sentence Structure
• Coherence in Nonmonoidal Closed Categories
• Embedding of Closed Categories Into Monoidal Closed Categories
• On embedding closed categories
• Premonoidal categories and notions of computation
• Coherence for Skew-Monoidal Categories
• Proof Theory of Partially Normal Skew Monoidal Categories
• A theory of linear typings as flows on 3-valent graphs
• Monads need not be endofunctors
• Braided skew monoidal categories
• The Catalan simplicial set
• On closed categories of functors