Changes between Initial Version and Version 1 of Ticket #23204, comment 63


Ignore:
Timestamp:
07/21/17 23:38:24 (4 years ago)
Author:
saraedum
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #23204, comment 63

    initial v1  
    2525
    2626Feel free to try the generic code first and ask the category only if that fails/throws. Then again, when the category can answer it, it's probably faster…Anyway, I just want `is_injective` to work. I personally do not care about a few µs in `is_injective` since it currently almost always throws a `NotImplementedError` for me anyway.
     27
     28PS: I could also imagine that some categories could quickly answer `False` when there are dimension reasons why a morphism can not be injective/surjective.