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 , siendo F ( f ) un isomorfismo , implica que f es un isomorfismo.
Los funtores olvidadizos en álgebra , como de Grp a Set , son conservativos. En términos más generales, todo funtor monádico es conservativo. [1] Por el contrario, el funtor olvidadizo de Top a Set no es conservativo porque no toda biyección continua es un homeomorfismo .
Todo funtor fiel de una categoría equilibrada es conservador. [2]
