<span class="searchmatch">subobjects</span> plural of <span class="searchmatch">subobject</span>...
English Wikipedia has an article on: <span class="searchmatch">subobject</span> Wikipedia From sub- + object. <span class="searchmatch">subobject</span> (plural <span class="searchmatch">subobjects</span>) An object that is part of another object....
<span class="searchmatch">subobject</span> classifiers plural of <span class="searchmatch">subobject</span> classifier...
English Wikipedia has an article on: <span class="searchmatch">subobject</span> classifier Wikipedia <span class="searchmatch">subobject</span> classifier (plural <span class="searchmatch">subobject</span> classifiers) (category theory) An object which...
From super- + object. superobject (plural superobjects) A complex object made up of <span class="searchmatch">subobjects</span>....
morphism from an object to the <span class="searchmatch">subobject</span> classifier which corresponds to a unique <span class="searchmatch">subobject</span> of the said object, which <span class="searchmatch">subobject</span> is the pullback, along this...
well-powered wellpowered (not comparable) (mathematics, of a category) in which each object has only a set of pairwise nonisomorphic <span class="searchmatch">subobjects</span> cowellpowered...
Wikipedia has an article on: subquotient Wikipedia From sub- + quotient. subquotient (plural subquotients) (mathematics) A quotient object of a <span class="searchmatch">subobject</span>....
elementary toposes) (category theory) A Cartesian closed category which has a <span class="searchmatch">subobject</span> classifier. locally Cartesian closed category Grothendieck topos...
codomain of a characteristic function. (category theory, uncountable) The <span class="searchmatch">subobject</span> classifier restricted to the category Set. Leinster, T. (2012). Rethinking...