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
156 followers · 2412 posts · Server mathstodon.xyz
Paolo Caressa · @paolo_caressa
63 followers · 238 posts · Server mathstodon.xyz
Felix Hausdorff defines a (#Hausdorff) #TopologicalSpace in his masterpiece "Mengenlehre" del 1914. #SetTheory #Topology
#topology #settheory #topologicalspace #Hausdorff