Skip to content
Success

Changes

Summary

  1. 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.
Changeset 7938:015543cdd069 by "eugene w. stark _stark@cs.stonybrook.edu_":
Integrate material from MonoidalCategory/Category3Adapter into Category3/ and delete adapter.<br>Improve speed of slow proofs in Category3/AbstractedCategory and Category3/NaturalTransformation.<br>Changes to Category3/Limit to improve convenience of product construction.<br>Fix a couple of typos.
The file was addedthys/Category3/EquivalenceOfCategories.thy
The file was addedthys/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 removedthys/MonoidalCategory/Category3Adapter.thy