Vorlesung: Homotopientypentheorie - Details

Allgemeine Informationen

Veranstaltungsname	Vorlesung: Homotopientypentheorie
Veranstaltungsnummer	MTH-2650, MTH-2658
Semester	WS 2025/26
Aktuelle Anzahl der Teilnehmenden	23
Heimat-Einrichtung	Algebra und Zahlentheorie
Veranstaltungstyp	Vorlesung in der Kategorie Lehre
Nächster Termin	Freitag, 30.01.2026 08:15 - 09:45, Ort: (1009)
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	deutsch

Lehrende

• Prof.Dr. Marc Nieper-Wißkirchen
• Dr. Felix Cherubini

Tutor/-in

• Lukas Stoll

Räume und Zeiten

(1008)

Mittwoch: 15:45 - 17:15, wöchentlich (15x)

(1009)

Freitag: 08:15 - 09:45, wöchentlich (15x)

(1007)

Freitag: 10:00 - 11:30, wöchentlich (15x)

Studienbereiche

• Mathematisch-Naturwissenschaftlich-Technische Fakultät > Institut für Mathematik
• Mathematisch-Naturwissenschaftlich-Technische Fakultät
• Mathematisch-Naturwissenschaftlich-Technische Fakultät > Institut für Mathematik > Master Mathematik

Modulzuordnungen

• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Informatik M.Sc. Informatik, PO 2011, 18. Version gültig ab WS 2023/24 > M.Sc. Informatik (PO '11), Teilbereich Informatik - Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Mathematik Masterstudiengang Mathematik PO 2013, 19. Version gültig ab WS 2024/25 > Master Mathematik A: Wahlpflichtbereich Mathematik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 15. Version gültig ab WS 2025/26 > Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Informatik M.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 15. Version gültig ab WS 2025/26 > Wahlbereich Informatik und Multimedia > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Mathematik Masterstudiengang Mathematik PO 2013, 20. Version gültig ab SS 2025 > Master Mathematik A: Wahlpflichtbereich Mathematik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Wahlbereich Informatik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Wahlbereich Informatik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Mathematik Masterstudiengang Mathematik PO 2013, 21. Version gültig ab WS 2025/26 > Master Mathematik D: Wahlbereich > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Mathematik Masterstudiengang Mathematik PO 2013, 21. Version gültig ab WS 2025/26 > Master Mathematik A: Wahlpflichtbereich Mathematik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Informatik M.Sc. Informatik, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik (PO '17), Teilbereich Informatik - Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Informatik M.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Wahlbereich Informatik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Mathematik Masterstudiengang Mathematik PO 2013, 20. Version gültig ab SS 2025 > Master Mathematik D: Wahlbereich > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik und Multimedia (PO '17), Teilbereich Informatik - Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Mathematik Masterstudiengang Mathematik PO 2013, 19. Version gültig ab WS 2024/25 > Master Mathematik D: Wahlbereich > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Wahlbereich Informatik und Multimedia > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Wahlbereich Informatik und Multimedia > MTH-2650 - Homotopietypentheorie > Homotopietypetheorie
• Mathematics and Computer Science Master's Programme Mathematics and Computer Science PO 2024, 1. Version gültig ab WS 2025/26 > A. Mathematics > MTH-2658 - Homotopietypentheorie > Homotopietypetheorie
• Mathematics and Computer Science Master's Programme Mathematics and Computer Science PO 2024, 1. Version gültig ab WS 2025/26 > A. Mathematics > MTH-2658 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik M.Sc. Informatik, PO 2011, 18. Version gültig ab WS 2023/24 > M.Sc. Informatik (PO '11), Teilbereich Informatik - Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Mathematik Masterstudiengang Mathematik PO 2013, 19. Version gültig ab WS 2024/25 > Master Mathematik A: Wahlpflichtbereich Mathematik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 15. Version gültig ab WS 2025/26 > Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik M.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 15. Version gültig ab WS 2025/26 > Wahlbereich Informatik und Multimedia > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Mathematik Masterstudiengang Mathematik PO 2013, 20. Version gültig ab SS 2025 > Master Mathematik A: Wahlpflichtbereich Mathematik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Wahlbereich Informatik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Wahlbereich Informatik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Mathematik Masterstudiengang Mathematik PO 2013, 21. Version gültig ab WS 2025/26 > Master Mathematik D: Wahlbereich > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Mathematik Masterstudiengang Mathematik PO 2013, 21. Version gültig ab WS 2025/26 > Master Mathematik A: Wahlpflichtbereich Mathematik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik M.Sc. Informatik, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik (PO '17), Teilbereich Informatik - Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik M.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Wahlbereich Informatik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Mathematik Masterstudiengang Mathematik PO 2013, 20. Version gültig ab SS 2025 > Master Mathematik D: Wahlbereich > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik und Multimedia (PO '17), Teilbereich Informatik - Theoretische Informatik > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Mathematik Masterstudiengang Mathematik PO 2013, 19. Version gültig ab WS 2024/25 > Master Mathematik D: Wahlbereich > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Wahlbereich Informatik und Multimedia > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Wahlbereich Informatik und Multimedia > MTH-2650 - Homotopietypentheorie > Übungen zur Homotopietypentheorie