Summary
- Integrate material from MonoidalCategory/Category3Adapter into Category3/ and delete adapter. Improve speed of slow proofs in Category3/AbstractedCategory and Category3/NaturalTransformation. Changes to Category3/Limit to improve convenience of product construction. Fix a couple of typos.
The file was added | thys/Category3/EquivalenceOfCategories.thy |
The file was added | thys/Category3/Subcategory.thy |
The file was modified | thys/Category3/AbstractedCategory.thy (diff) |
The file was modified | thys/Category3/Adjunction.thy (diff) |
The file was modified | thys/Category3/Category.thy (diff) |
The file was modified | thys/Category3/EpiMonoIso.thy (diff) |
The file was modified | thys/Category3/Functor.thy (diff) |
The file was modified | thys/Category3/InitialTerminal.thy (diff) |
The file was modified | thys/Category3/Limit.thy (diff) |
The file was modified | thys/Category3/NaturalTransformation.thy (diff) |
The file was modified | thys/Category3/ProductCategory.thy (diff) |
The file was modified | thys/Category3/ROOT (diff) |
The file was modified | thys/Category3/SetCategory.thy (diff) |
The file was modified | thys/MonoidalCategory/FreeMonoidalCategory.thy (diff) |
The file was modified | thys/MonoidalCategory/MonoidalCategory.thy (diff) |
The file was removed | thys/MonoidalCategory/Category3Adapter.thy |