In mathematics, especially in category theory, a balanced category is a category in which every bimorphism (a morphism that is both a monomorphism and epimorphism) is an isomorphism. The category of topological spaces is not balanced (since continuous bijections are not necessarily homeomorphisms), while a topos is balanced.
In mathematics, especially in category theory, a balanced category is a category in which every bimorphism (a morphism that is both a monomorphism and epimorphism) is an isomorphism. The category of topological spaces is not balanced (since continuous bijections are not necessarily homeomorphisms), while a topos is balanced.
Source: Wikipedia "Balanced category" · CC BY-SA 4.0
Share this article: X · Bluesky