Constructive Set Theory - Interpretability in Category Theory

Interpretability in Category Theory

Presheaf models for constructive set theory were introduced by Nicola Gambino in 2004. They are analogous to the Presheaf models for intuitionistic set theory developed by Dana Scott in the 1980s (which remained unpublished).

Read more about this topic:  Constructive Set Theory

Famous quotes containing the words category and/or theory:

    “I see no reason for calling my work poetry except that there is no other category in which to put it.”
    —Marianne Moore (1887–1972)

    “every subjective phenomenon is essentially connected with a single point of view, and it seems inevitable that an objective, physical theory will abandon that point of view.”
    —Thomas Nagel (b. 1938)