A functor
- For each
, if , then .
Here's a breakdown of the differences between each PDF style:
Style | Class | Font | Theorem Environments |
---|---|---|---|
Style 1 | book |
Alegreya Sans | tcbthm |
Style 2 | book |
Alegreya Sans | amsthm |
Style 3 | book |
Arno* | amsthm |
Style 4 | book |
Computer Modern | amsthm |
*To be replaced with Linus Romer's Elemaints when it is released.
Let
A functor
Is there a characterisation of functors
is essentially injective, i.e. if
is essentially injective, i.e. if
This question also appears as [MO 468125
].