- 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...
- exist. The
category has a
subobject classifier. The
category is
Cartesian closed. In some applications, the role of the
subobject classifier is pivotal,...
-
especially 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...
-
useful for
multiple inheritance, as it
makes the
virtual base a
common subobject for the
deriving class and all
classes that are
derived from it. This...
-
property of an
object that is
inherited by all of its
subobjects,
where the
meaning of
subobject depends on the context.
These properties are particularly...
-
object B′, and this
homomorphism induces an
isomorphism from a
subobject A of B to a
subobject A′ of B′ and also an
isomorphism from the
factor object B/A...
-
generalization of a topos. A
topos has a
subobject classifier classifying all
subobjects, but in a quasitopos, only
strong subobjects are classified. Quasitoposes...
-
elements of the
subobject classifier. In particular, in a
topos every formula of higher-order
logic may be ****igned a
truth value in the
subobject classifier...
- the
domain of a
double integral. In
topos theory, the (codomain of the)
subobject classifier of an
elementary topos. In
combinatory logic, the
looping combinator...
- dual to the
kernels of
category theory,
hence the name: the
kernel is a
subobject of the
domain (it maps to the domain),
while the
cokernel is a quotient...
