Top Qs
Timeline
Chat
Perspective

Balanced category

From Wikipedia, the free encyclopedia

Remove ads

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.[1] This is one of the reasons why a topos is said to be nicer.[2]

Examples

The following categories are balanced:

An additive category may not be balanced.[4] Contrary to what one might expect, a balanced pre-abelian category may not be abelian.[5]

A quasitopos is similar to a topos but may not be balanced.

Remove ads

See also

References

Sources

Further reading

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads