id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
31785 Category of open subsets of a topological space Matthias Köppe "We define the category of open subsets of a topological space.
- The category is a `CategoryWithParameters`
- A parent is an open subset.
- An element is a point in the open subset.
- A morphism is an inclusion map.
A concrete implementation for open subsets of a topological manifold:
- A parent has a `ManifoldSubsetFamily` instance that stores the equivalence class of named subsets that are known to be equal
This is preparation for #31703.
" enhancement new major sage-9.8 categories Michael Jung Eric Gourgoulhon Travis Scrimshaw Tobias Diez Matthias Köppe N/A #34461