Conservative functor
In category theory, a branch of mathematics, a conservative functor is a functor such that for any morphism f in C, F(f) being an isomorphism implies that f is an isomorphism.
Examples
The forgetful functors in algebra, such as from Grp to Set, are conservative. More generally, every monadic functor is conservative.[1] In contrast, the forgetful functor from Top to Set is not conservative because not every continuous bijection is a homeomorphism.
Every faithful functor from a balanced category is conservative.[2]
gollark: I think you should delete that. What software is it?
gollark: https://i.osmarks.tk/memes-or-something/pings.png
gollark: Engaging lasers.
gollark: <@!279002069741076483> AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA assuming you're Luka_S.
gollark: You hath pinŋed me.
References
- Riehl, Emily (2016). Category Theory in Context. Courier Dover Publications. ISBN 048680903X. Retrieved 18 February 2017.
- Grandis, Marco (2013). Homological Algebra: In Strongly Non-Abelian Settings. World Scientific. ISBN 9814425931. Retrieved 14 January 2017.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.