Eilenberg-Kelly reloaded

DOI10.1016/j.entcs.2020.09.012WikidataQ113317293 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

closed; Kleisli construction; Eilenberg-Kelly theorem; monoidal closed and bi-closed categories; promonoidal categories; skew and normal monoidal

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

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