Changes

Summary

Update change history for Category3 and MonoidalCategory.
Revised axioms for the category locale. Introduced notation for composition and "in hom".

Changeset 9343:e9821da047c7 by "eugene w. stark _stark@cs.stonybrook.edu_": Update change history for Category3 and MonoidalCategory.
The file was modified	`metadata/metadata` (diff)
Changeset 9342:8318366d4575 by "eugene w. stark _stark@cs.stonybrook.edu_": Revised axioms for the category locale.  Introduced notation for composition and "in hom".
The file was modified	`thys/Category3/AbstractedCategory.thy` (diff)
The file was modified	`thys/Category3/Adjunction.thy` (diff)
The file was modified	`thys/Category3/BinaryFunctor.thy` (diff)
The file was modified	`thys/Category3/Category.thy` (diff)
The file was modified	`thys/Category3/DiscreteCategory.thy` (diff)
The file was modified	`thys/Category3/DualCategory.thy` (diff)
The file was modified	`thys/Category3/EpiMonoIso.thy` (diff)
The file was modified	`thys/Category3/EquivalenceOfCategories.thy` (diff)
The file was modified	`thys/Category3/FreeCategory.thy` (diff)
The file was modified	`thys/Category3/Functor.thy` (diff)
The file was modified	`thys/Category3/FunctorCategory.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/SetCat.thy` (diff)
The file was modified	`thys/Category3/SetCategory.thy` (diff)
The file was modified	`thys/Category3/Subcategory.thy` (diff)
The file was modified	`thys/Category3/Yoneda.thy` (diff)
The file was modified	`thys/Category3/document/root.tex` (diff)
The file was modified	`thys/MonoidalCategory/FreeMonoidalCategory.thy` (diff)
The file was modified	`thys/MonoidalCategory/MonoidalCategory.thy` (diff)
The file was modified	`thys/MonoidalCategory/MonoidalFunctor.thy` (diff)