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)

    Psychotherapy—The theory that the patient will probably get well anyway, and is certainly a damned ijjit.
    —H.L. (Henry Lewis)