PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO - Initial and terminal objects - Document - PDFSEARCH.IO

First Page	Meta Content
	PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO Add to Reading List Document Date: 2009-02-01 11:27:30 Open Document File Size: 203,02 KB Share Result on Facebook Company Russell / Vf / / Currency pence / / Event Product Recall / Product Issues / / IndustryTerm binary cartesian products / predicative systems / cartesian product / generalised predicative formal systems / / Organization Pπ / / Person Robert Lubarsky / NICOLA GAMBINO / Erik Palmgren / Dana Scott / Ieke Moerdijk / / Position categorical model for CST / / Product equality / / SocialTag Sheaf theory Sheaf Functor Topos Grothendieck topology Presheaf Initial and terminal objects Adjoint functors Zermelo–Fraenkel set theory Category theory

PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINOAdd to Reading List