Applied Category Theory Seminar
- This event has passed.
Applied Category Theory Seminar
January 31, 2023 @ 11:00 am - 12:00 pm
The first third of the semester will be used to prepare for Professor Emily Rheil’s colloquium talk on homotopy type theory on February 20 – we will be walking through type theory – simple, dependent, identity types, and induction.
Lastly, we have a new website! It’s at https://csu-applied-category-theory.github.io/
This calendar is used exclusively for events or announcements sponsored by the Department of Mathematics, the College of Natural Sciences or Colorado State University.
-
Louis R. Weber Building
1874 Campus Delivery
Fort Collins, Colorado 80523-1874 - Telephone: 970-491-1303
- Precalculus Center Email: precalc_math@colostate.edu
- Graduate Program Email: math_gradprogram@mail.colostate.edu
- Math Department General Email: math_dept@mail.colostate.edu
©
Colorado State University - College of Natural Sciences, Fort Collins,
CO 80523
