HomeIsabelle/Phabricator
Diffusion afp-devel aedbb5773de3

CZH: large limits, generalizations, a variety of minor amendments
aedbb5773de3
Actions

Description

CZH: large limits, generalizations, a variety of minor amendments

Details

Provenance
user9716869 <user9716869@gmail.com>Authored on
Parents
rAFP70694297a67c: Simplified a definition
Branches
Unknown
Tags
Unknown

Changes (17)

PathSize
thys/
CZH_Elementary_Categories/
czh_ecategories/
CZH_Foundations/
czh_semicategories/
document/
CZH_Universal_Constructions/
czh_ucategories/

rAFPaedbb5773de3

View Options

thys/CZH_Elementary_Categories/ROOT

Loading...
View Options

thys/CZH_Elementary_Categories/czh_ecategories/CZH_ECAT_Discrete.thy

Loading...
View Options

thys/CZH_Elementary_Categories/czh_ecategories/CZH_ECAT_FUNCT.thy

Loading...
View Options

thys/CZH_Elementary_Categories/czh_ecategories/CZH_ECAT_Functor.thy

Loading...
View Options

thys/CZH_Elementary_Categories/czh_ecategories/CZH_ECAT_Set.thy

Loading...
View Options

thys/CZH_Elementary_Categories/czh_ecategories/CZH_ECAT_Small_Category.thy

Loading...
View Options

thys/CZH_Foundations/ROOT

Loading...
View Options

thys/CZH_Foundations/czh_semicategories/CZH_SMC_GRPH.thy

Loading...
View Options

thys/CZH_Foundations/czh_semicategories/CZH_SMC_Introduction.thy

Loading...
View Options

thys/CZH_Foundations/czh_semicategories/CZH_SMC_Small_Semicategory.thy

Loading...
View Options

thys/CZH_Foundations/document/root.bib

Loading...
View Options

thys/CZH_Universal_Constructions/czh_ucategories/CZH_UCAT_Complete.thy

Loading...
View Options

thys/CZH_Universal_Constructions/czh_ucategories/CZH_UCAT_Kan.thy

Loading...
View Options

thys/CZH_Universal_Constructions/czh_ucategories/CZH_UCAT_Limit.thy

Loading...
View Options

thys/CZH_Universal_Constructions/czh_ucategories/CZH_UCAT_PWKan.thy

Loading...
View Options

thys/CZH_Universal_Constructions/czh_ucategories/CZH_UCAT_PWKan_Example.thy

Loading...
View Options

thys/CZH_Universal_Constructions/czh_ucategories/CZH_UCAT_Universal.thy

Loading...