Changes between Initial Version and Version 1 of Ticket #16340, comment 68


Ignore:
Timestamp:
Oct 17, 2014, 2:43:18 PM (8 years ago)
Author:
SimonKing
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #16340, comment 68

    initial v1  
    1111In that way, the method `additional_structure` would be defined only in three places (default for categories, for categories with axiom, and for functorial constructions), and non-default behaviour could be requested more light-weight.
    1212
    13 Nicolas, what do you think?
    14 
    15 What do you think about it,
     13Nicolas, what do you think about it? To me, it sounds like a good idea.