Pages that link to "Item:Q4647569"
From MaRDI portal
The following pages link to Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids (Q4647569):
Displayed 4 items.
The following pages link to Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids (Q4647569):
Displayed 4 items.