Misha Gavrilovich:
A category-theoretic viewpoint on first definitions in general topology
Zeit und Ort
Mittwoch, 3.7.13, 16:30-17:30, Raum 404, Eckerstr. 1
Zusammenfassung
We observe that several definitions in a first course on general topology, such as Hausdorff,\ndense, T0, T1, admit an easy reformulation as computations with partial preorders of\ncategory-theoretic nature. Namely, these computations correspond to rules for manipulating\ncommutative diagrams involving only finite topological spaces as constants (and variables). We\nsuggest a calculus based on these rules.\n\n