Toposy

Materiały z zajęć

1. Wprowadzenie + zasady zaliczania i literatura (Kuba)
2. Pojęcie kategorii i funktora (Karol)
3. Transformacje naturalne i lemat Yonedy (Grzegorz)
4. ZOO konstrukcji uniwersalnych I (Eliza)
5. Funktory dołączone (Piotr)

Zaplanowane referaty

  Kolejność zmienną jest. Dodatkowo, niektóre tematy rozleją się na kilka referatów.

• ZOO konstrukcji uniwersalnych II (???)
• Snopy w topologii i geometrii (Jagna)
• Kategorie funktorów (Walter White)
• Definicja toposu, wreszcie... (???)
• Toposy i logika (Michał Mądrala, ???)
• Zastosowania logiki internalnej toposu do konkretnej matematyki (Ruba? Mr. Frącek?)
• ??? (???)