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
@[email protected] on Twitter

“What's the topology of time? ( Yes i can see the arrow of time sulking, but hear me out ) Like unfolded paper has 2 sides front /back , the more ( depending on time) you fold it the more sides you get . Is there any case in which sides _time>1, as i don't see a thing with 1-side”

Twitter
Felix Hausdorff defines a (#Hausdorff) #TopologicalSpace in his masterpiece "Mengenlehre" del 1914. #SetTheory #Topology