Category theory MOC

Subobject

A subgroup of an object in a category generalizes the idea of subset, subgroup, vector subspace, and more. Formally, a subobject of an object is an isomorphism class of monomorphisms over . #m/def/cat For example, given the commuting diagram

c|https://q.uiver.app/#q=WzAsMyxbMCwwLCJTXzEiXSxbMSwyLCJYIl0sWzIsMCwiU18yIl0sWzAsMSwic18xIiwyLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoibW9ubyJ9fX1dLFsyLDEsInNfMiIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Im1vbm8ifX19XSxbMCwyLCIiLDIseyJjdXJ2ZSI6LTF9XSxbMiwwLCIiLDEseyJjdXJ2ZSI6LTF9XV0=

the monomorphisms and give the same subobject.

#state/develop | #lang/en | #SemBr