Skip to content

Add axioms for the morphisms

a5e4b92
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Strict monoidal categories are strict categories #1196

Add axioms for the morphisms
a5e4b92
Select commit
Loading
Failed to load commit list.

The logs for this run have expired and are no longer available.