Lîm Tsú-thuàn Posts Notes Projects Talks Site Roll

Reference. Basic Category Theory [leinster2014]

2014 · Tom Leinster

Backlinks

視Profunctor為Hom functor的generalization [2323]

Definition. Grothendieck topology [ZD97]

Naturality cannot be given by a family of isomorphisms [math-000S]

Display map category 捕捉了類型論的什麼面向？ [tt-BBGG]