Tried to bootstrap a qna on the slides I very recently read* and posted here, let's see where it goes
Related to - #categoryttheory #presheafs #haskell #agda #coq #TopologicalSpace
Related to - #categoryttheory #presheafs #haskell #agda #coq #TopologicalSpace


