Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Corrected the link to essentially injective functor. Not sure why it was pointing to essentially surjective functor instead?
added pointer to the original:
I moved this remark (from rev 10) out of the Examples-section to after the main definition:
Arguably, pseudomonic functors are precisely the functors for which it makes sense to say that is uniquely determined by up to unique isomorphism. However, we do not really need faithfulness for this; bijectivity on isos suffices.
But the wording needs adjustment: It makes no sense to first claim it is “precisely” so only to then say that it is not actually so.
1 to 8 of 8