notations for associator, unitors? - SemanticDiff

Commit

6 years ago

notations for associator, unitors?

References

#1002 - feat(category_theory/monoidal): monoidal categories, monoidal functors

Author

kim-em

kim-em

Parents

Loading