Skip to content
Failed

Changes

Summary

  1. Update change history for Category3 and MonoidalCategory.
  2. 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)