Outline of Category Theory - Topoi, Toposes

Topoi, Toposes

• Sheaf –
• Gluing axiom –
• Descent (category theory) –
• Grothendieck topology –
• Introduction to topos theory –
• Subobject classifier –
• Pointless topology –
• Heyting algebra –