PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO

Source URL: www.math.unipa.it

• Sheaf theory
• Sheaf
• Functor
• Topos
• Grothendieck topology
• Presheaf
• Initial and terminal objects
• Adjoint functors
• Zermelo–Fraenkel set theory
• Category theory
• Mathematics
• Abstract algebra