Eilenberg-Kelly reloaded
From MaRDI portal
Publication:2133479
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
closed; Kleisli construction; Eilenberg-Kelly theorem; monoidal closed and bi-closed categories; promonoidal categories; skew and normal monoidal
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