-
monomorphisms are the
subobjects of A {\displaystyle A} . The
relation ≤
induces a
partial order on the
collection of
subobjects of A {\displaystyle A}...
- In
category theory, a
subobject classifier is a
special object Ω of a
category such that, intuitively, the
subobjects of any
object X in the category...
-
chain condition on
certain kinds of
subobjects,
meaning that
certain ascending or
descending sequences of
subobjects must have
finite length. Noetherian...
- and n are equivalent. The
subobjects of X are the
resulting equivalence classes of the
monics to it. In a
topos "
subobject" becomes, at
least implicitly...
-
generalization of a topos. A
topos has a
subobject classifier classifying all
subobjects, but in a quasitopos, only
strong subobjects are classified. Quasitoposes...
-
theorems that
describe the
relationship among quotients, homomorphisms, and
subobjects.
Versions of the
theorems exist for groups, rings,
vector spaces, modules...
- has two
different Animal base
class subobjects. So, an
attempt to
directly bind a
reference to the
Animal subobject of a Bat
object would fail,
since the...
- For
every signature σ,
induced substructures of σ-structures are the
subobjects in the
concrete category of σ-structures and
strong homomorphisms (and...
- }\right)=\bigcup _{\alpha }\left(B\cap A_{\alpha }\right)} for all
subobjects B and each
family of
subobjects {Aα} of each
object X and such that
there is a locally...
- In mathematics, a Lie
groupoid is a
groupoid where the set Ob {\displaystyle \operatorname {Ob} } of
objects and the set Mor {\displaystyle \operatorname...
