Commit 2021-09-12 06:48 b55483ae

View on Github →

feat(category_theory/monoidal): rigid (autonomous) monoidal categories (#8946) Defines rigid monoidal categories and creates the instance of finite dimensional vector spaces.

Estimated changes