Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

Add new material, mostly centered around cartesian categories. Sync with my development repo.

Changeset 11185:06640f317a79 by "eugene w. stark _stark@cs.stonybrook.edu_": Add new material, mostly centered around cartesian categories.  Sync with my development repo.
The file was added	`thys/Category3/CartesianCategory.thy`
The file was added	`thys/Category3/CartesianClosedCategory.thy`
The file was added	`thys/Category3/CategoryWithFiniteLimits.thy`
The file was added	`thys/Category3/CategoryWithPullbacks.thy`
The file was added	`thys/Category3/HFSetCat.thy`
The file was added	`thys/MonoidalCategory/CartesianMonoidalCategory.thy`
The file was modified	`thys/Bicategory/Bicategory.thy`
The file was modified	`thys/Bicategory/BicategoryOfSpans.thy`
The file was modified	`thys/Bicategory/Coherence.thy`
The file was modified	`thys/Bicategory/InternalAdjunction.thy`
The file was modified	`thys/Bicategory/InternalEquivalence.thy`
The file was modified	`thys/Bicategory/Prebicategory.thy`
The file was modified	`thys/Bicategory/Pseudofunctor.thy`
The file was modified	`thys/Bicategory/SpanBicategory.thy`
The file was modified	`thys/Bicategory/Strictness.thy`
The file was modified	`thys/Bicategory/Subbicategory.thy`
The file was modified	`thys/Bicategory/Tabulation.thy`
The file was modified	`thys/Bicategory/document/root.tex`
The file was modified	`thys/Category3/Adjunction.thy`
The file was modified	`thys/Category3/BinaryFunctor.thy`
The file was modified	`thys/Category3/Category.thy`
The file was modified	`thys/Category3/ConcreteCategory.thy`
The file was modified	`thys/Category3/DiscreteCategory.thy`
The file was modified	`thys/Category3/EpiMonoIso.thy`
The file was modified	`thys/Category3/EquivalenceOfCategories.thy`
The file was modified	`thys/Category3/Functor.thy`
The file was modified	`thys/Category3/FunctorCategory.thy`
The file was modified	`thys/Category3/Limit.thy`
The file was modified	`thys/Category3/ProductCategory.thy`
The file was modified	`thys/Category3/ROOT`
The file was modified	`thys/Category3/SetCat.thy`
The file was modified	`thys/Category3/SetCategory.thy`
The file was modified	`thys/Category3/Yoneda.thy`
The file was modified	`thys/Category3/document/root.tex`
The file was modified	`thys/MonoidalCategory/FreeMonoidalCategory.thy`
The file was modified	`thys/MonoidalCategory/MonoidalCategory.thy`
The file was modified	`thys/MonoidalCategory/MonoidalFunctor.thy`
The file was modified	`thys/MonoidalCategory/ROOT`
The file was modified	`thys/MonoidalCategory/document/root.tex`