Session CZH_Universal_Constructions

View theory dependencies
View document
View outline

Theories

CZH_UCAT_Introduction
CZH_UCAT_Universal
CZH_UCAT_Limit
CZH_UCAT_Limit_IT
CZH_UCAT_Limit_Product
CZH_UCAT_Limit_Pullback
CZH_UCAT_Limit_Equalizer
CZH_UCAT_Pointed
CZH_UCAT_Representable
CZH_UCAT_Complete
CZH_UCAT_Comma
CZH_UCAT_Set
CZH_UCAT_Adjoints
CZH_UCAT_Kan
CZH_UCAT_PWKan
CZH_UCAT_PWKan_Example
CZH_UCAT_Conclusions