HomeIsabelle/Phabricator
Diffusion afp-devel 47f6b2669322

Disambiguate sufficiently many facts in locales so as to permit a top-level…
47f6b2669322
Actions

Description

Disambiguate sufficiently many facts in locales so as to permit a top-level interpretation of ZFC_set_cat.

Details

Provenance
Eugene W. Stark <stark@cs.stonybrook.edu>Authored on
Parents
rAFPf13ac4dee478: Fix a typo.
Branches
Unknown
Tags
Unknown

Changes (22)

PathSize
thys/
Bicategory/
Category3/
MonoidalCategory/

rAFP47f6b2669322

View Options

thys/Bicategory/Bicategory.thy

Loading...
View Options

thys/Bicategory/BicategoryOfSpans.thy

Loading...
View Options

thys/Bicategory/Coherence.thy

Loading...
View Options

thys/Bicategory/ConcreteBicategory.thy

Loading...
View Options

thys/Bicategory/EquivalenceOfBicategories.thy

Loading...
View Options

thys/Bicategory/InternalAdjunction.thy

Loading...
View Options

thys/Bicategory/InternalEquivalence.thy

Loading...
View Options

thys/Bicategory/Modification.thy

Loading...
View Options

thys/Bicategory/Prebicategory.thy

Loading...
View Options

thys/Bicategory/Pseudofunctor.thy

Loading...
View Options

thys/Bicategory/PseudonaturalTransformation.thy

Loading...
View Options

thys/Bicategory/SpanBicategory.thy

Loading...
View Options

thys/Bicategory/Strictness.thy

Loading...
View Options

thys/Bicategory/Subbicategory.thy

Loading...
View Options

thys/Bicategory/Tabulation.thy

Loading...
View Options

thys/Category3/HFSetCat.thy

Loading...
View Options

thys/Category3/Limit.thy

Loading...
View Options

thys/Category3/SetCat.thy

Loading...
View Options

thys/Category3/SetCategory.thy

Loading...
View Options

thys/Category3/Subcategory.thy

Loading...
View Options

thys/Category3/ZFC_SetCat.thy

Loading...
View Options

thys/MonoidalCategory/FreeMonoidalCategory.thy

Loading...