Changes between Version 5 and Version 6 of Ticket #31785, comment 11


Ignore:
Timestamp:
05/17/21 05:41:47 (7 months ago)
Author:
gh-mjungmath
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31785, comment 11

    v5 v6  
    44The only property we need is that of the homset. Isn't it a bit overkill to give it a whole category by itself? What does speak against a concrete implementation of the topology of a manifold, which comes in handy on many occasions, and then introducing a category of topologies? The homset between elements of the topology can then be established as induced by the poset structure of subsets. These homsets can still be implemented on the level of the category of topologies.
    55
    6 As far as I know, homsets can be defined between any suitable Sage objects and doesn't need a category on its own.
    7 
    86> Also, in case it isn't clear, it is okay to have the homset be empty.
    97