# Commit 2018-09-03 01:27 7ee76148

View on Github →feat(category_theory/isomorphisms): introduce isomorphisms (#278)

- refactor(category_theory): renaming
`ulift`

to`ulift_functor`

to avoid name clashes - feat(category_theory): introduce isomorphisms
- doc(category_theory): rewrite
- Resolving issues raised by Johannes
- moving heterogenous_identity.lean into isomorphism.lean
- remove unnecessary
`obviously`

replacement - refactor(category_theory): using tidy in the category theory library