# 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`

.