04-00-0193-vu Categorical Logic

Course offering details

Instructors: Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger

Event type: Lecture & Practice

Org-unit: Dept. 04 - Mathematics

Displayed in timetable as: 04-00-0193-vu

Subject:

Crediting for:

Hours per week: 3

Language of instruction: Englisch

Min. | Max. participants: - | -

Lehrinhalte:
cartesian closed categories, elementary topos, internal logic, (pre)sheaves

Small group(s)
This course is divided into the following small groups:
  • Categorical Logic

    Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger

    Mon, 24. Apr. 2017 [18:05]-Mon, 17. Jul. 2017 [18:55]

Literature
Appointments
Date From To Room Instructors
1 Mon, 24. Apr. 2017 16:15 17:55 S215/234 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
2 Mon, 8. May 2017 16:15 17:55 S215/234 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
3 Mon, 15. May 2017 16:15 17:55 S215/234 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
4 Mon, 22. May 2017 16:15 17:55 S215/234 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
5 Mon, 29. May 2017 16:15 17:55 S215/234 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
6 Mon, 12. Jun. 2017 16:15 17:55 S215/234 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
7 Mon, 19. Jun. 2017 16:15 17:55 S215/234 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
8 Mon, 26. Jun. 2017 16:15 17:55 S215/234 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
9 Mon, 3. Jul. 2017 16:15 17:55 S215/234 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
10 Mon, 10. Jul. 2017 16:15 17:55 S215/234 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
11 Mon, 17. Jul. 2017 16:15 17:55 S215/234 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
Instructors
Prof. Dr. rer. nat. Thomas Streicher
M.Sc. Jonathan Weinberger