Find link

language:

Find link is a tool written by Edward Betts.

searching for Subobject classifier 2 found (25 total)

Space (mathematics) (9,328 words) [view diff] exact match in snippet view article

subobject classifier. This subobject classifier functions like the set of all possible truth values. In the topos of sets, the subobject classifier is

Groupoid (6,232 words) [view diff] exact match in snippet view article find links to article

are a cartesian closed category with natural numbers object and subobject classifier, giving rise to the effective topos introduced by Martin Hyland.