NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

example. full, faithful, preserve and reflect [kostecki2011introduction, 3.3] [tt-0019]
✍️source

    Every inclusion functor is faithful.

    Every functor preserves isomorphisms.

    Every faithful functor reflects monomorphisms and epimorphisms.

    Every full and faithful functor reflects isomorphisms.