In category theory, a branch of mathematics, a subobject is, roughly speaking, an object that sits inside another object in the same category. The notion is a generalization of concepts such as subsets from set theory, subgroups from group theory, and subspaces from topology. Since the detailed structure of objects is immaterial in category theory, the definition of subobject relies on a morphism that describes how one object sits inside another, rather than relying on the use of elements.
圏論という数学の分野において,部分対象(ぶぶんたいしょう,英: subobject)は,大まかに言って,同じ圏の別の対象の中にいる対象である.この概念は,集合論における部分集合,群論における部分群,位相空間論における部分位相空間などの概念の一般化である.対象の詳細な構造は圏論では重要でないから,部分対象の定義は,元を使わず,対象が別の対象の中にどのようにいるかを記述する射に依る. 部分対象の双対概念は商対象(しょうたいしょう,英: quotient object)である.これは商集合,商群,商位相空間などの概念を一般化する.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).