Changes between Initial Version and Version 1 of Ticket #31785, comment 1


Ignore:
Timestamp:
05/16/21 20:36:30 (6 months ago)
Author:
gh-mjungmath
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31785, comment 1

    initial v1  
    11Why do we need a category of open sets? Wouldn't it be better to represent the actual ''set'' of open subsets, i.e. the set-theoretic notion of topology? This is then an object of the category of topologies.
    22
    3 As for the parent-element framework this would mean: the topology is the parent, and its elements open subsets.
     3As for the parent-element framework this would mean: the topology is the parent, and its elements are open subsets.