On strict extensional reflexivity in compact closed categories
From MaRDI portal
Publication:6391311
arXiv2202.08130MaRDI QIDQ6391311
Publication date: 16 February 2022
Inverse semigroups (20M18) Connections of semigroups with homological algebra and category theory (20M50) Connections of group theory with homological algebra and category theory (20J99) Combinatory logic and lambda calculus (03B40) Categorical aspects of linear logic (18M45)
This page was built for publication: On strict extensional reflexivity in compact closed categories