Changes between Initial Version and Version 1 of Ticket #16340, comment 68
- Timestamp:
- Oct 17, 2014, 2:43:18 PM (8 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #16340, comment 68
initial v1 11 11 In 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. 12 12 13 Nicolas, what do you think? 14 15 What do you think about it, 13 Nicolas, what do you think about it? To me, it sounds like a good idea.