#cats - Tag Index
Experimental feature
!
/
cats
Yoneda lemma
modern category theory
pointed category
rigid category
skeleta
whiskering