Find link

language:

Find link is a tool written by Edward Betts.

searching for Natural numbers object 1 found (5 total)

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

as a category, PER models are a cartesian closed category with natural numbers object and subobject classifier, giving rise to the effective topos introduced