En la teoría de categorías , una rama de las matemáticas , un funtor conservador es un funtor tal que para cualquier morfismo f en C , el hecho de que F ( f ) sea un isomorfismo implica que f es un isomorfismo.
Los funtores olvidadizos en álgebra , como de Grp a Set , son conservadores. De manera más general, todo funtor monádico es conservador. [1] Por el contrario, el funtor olvidadizo de Top a Set no es conservador porque no toda biyección continua es un homeomorfismo .
Todo funtor fiel de una categoría equilibrada es conservador. [2]