Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge.
  2. 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".
Changeset 9378:220283792883 by "eugene w. stark _stark@cs.stonybrook.edu_":
Merge.
Changeset 9377:b3c0e7a3f5c2 by "eugene w. stark _stark@cs.stonybrook.edu_":
Remove &quot;iff&quot; annotation on Subcategory.arr_char.&nbsp; Move endofunctor locale to Functor.<br>Add a small amount of additional material pertaining to &quot;isomorphic&quot; and &quot;naturally isomorphic&quot;.
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)