Session Category
View
theory dependencies
View
document
View
outline
Theories
HOL-Library.FuncSet
Cat
SetCat
Functors
HomFunctors
NatTrans
Yoneda