The subobject classifier supplies intuitionistic truth values. Subobjects interpret predicates, finite limits interpret finite conjunctions and equality, and suitable image and adjoint constructions interpret quantifiers. One must distinguish internal intuitionistic arguments from classical reasoning in the external category of sets.
Articles by others on the same topic
There are currently no matching articles.