On strictifying extensional reflexivity in compact closed categories (Q6612801)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On strictifying extensional reflexivity in compact closed categories |
scientific article; zbMATH DE number 7920698
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On strictifying extensional reflexivity in compact closed categories |
scientific article; zbMATH DE number 7920698 |
Statements
On strictifying extensional reflexivity in compact closed categories (English)
0 references
1 October 2024
0 references
compact closure
0 references
categorical traces
0 references
untyped logical systems
0 references
reflexivity
0 references
coherence
0 references
strictification
0 references
geometry of interaction
0 references
Frobenius algebras
0 references
inverse monoids
0 references
0 references
0 references
