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 $A$ is uniquely determined by $F A$ 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