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


Ignore:
Timestamp:
May 17, 2021, 5:39:33 AM (19 months ago)
Author:
Michael Jung
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31785, comment 12

    initial v1  
    66}}}
    77
    8 I'd rather like to see open subsets as objects of the category of elemnts of a topology than giving it a bare category.
     8I'd rather like to see open subsets as objects of the category of elements of a topology than giving it a bare category.