Add this property of functors:
$F(X) \cong F(Y) \implies X \cong Y$
This will distinguish the free group functor and the monoid ring functor, which currently share the same properties (comparison page). In fact, the free group functor satisfies it, but the monoid ring functor famously does not: https://doi.org/10.2307/3062112
Decide the property for all functors in the database.
Add obvious implications such as:
full + conservative ===> reflects isomorphic objects
Add this property of functors:
This will distinguish the free group functor and the monoid ring functor, which currently share the same properties (comparison page). In fact, the free group functor satisfies it, but the monoid ring functor famously does not: https://doi.org/10.2307/3062112
Decide the property for all functors in the database.
Add obvious implications such as:
full + conservative ===> reflects isomorphic objects