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/

Details

Date:: January 31, 2023
Time:: 11:00 am - 12:00 pm

Venue

: Weber TBD

This calendar is used exclusively for events or announcements sponsored by the Department of Mathematics, the College of Natural Sciences or Colorado State University.

Have an event you'd like to add? Submit your request here.