Summary
- Merge.
- Remove "iff" annotation on Subcategory.arr_char. Move endofunctor locale to Functor. Add a small amount of additional material pertaining to "isomorphic" and "naturally isomorphic".
The file was modified | thys/Category3/EpiMonoIso.thy (diff) |
The file was modified | thys/Category3/EquivalenceOfCategories.thy (diff) |
The file was modified | thys/Category3/Functor.thy (diff) |
The file was modified | thys/Category3/NaturalTransformation.thy (diff) |
The file was modified | thys/Category3/Subcategory.thy (diff) |
The file was modified | thys/MonoidalCategory/FreeMonoidalCategory.thy (diff) |