Commit 2020-10-29 07:30 1baf7017

View on Github →

feat(category_theory/Fintype): Adds the category of finite types and its "standard" skeleton. (#4809) This PR adds the category Fintype of finite types, as well as its "standard" skeleton whose objects are fin n.

Estimated changes