Theorem category_theory.examples.topological_spaces.continuous_map.ext

style(category_theory): concrete categories as type class

feat(category_theory): the category of topological spaces, and of neighbourhoods of a point. also the category of commutative rings