xameer :qed: · @xameer
158 followers · 2420 posts · Server mathstodon.xyz
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
#topologicalspace #coq #agda #haskell #presheafs #categoryttheory
xameer :qed: · @xameer
158 followers · 2419 posts · Server mathstodon.xyz
Tried to bootstrap a qna session on the slides i recently read and posted here , let's see where it goes
#functor #presheafs #categoryttheory #agda #coq #haskell
Will mention the credits if op of those parts are okay with it
L( my answers) to ( questions in left), feedback comments criticism are welcome
#haskell #coq #agda #categoryttheory #presheafs #functor