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)
“Could Shakespeare give a theory of Shakespeare?”
—Ralph Waldo Emerson (1803–1882)