Skip to content
 
top
 
Search events. View events.
 

All Categories

Submit Events

Welcome to Active Data Calendar. Please use the Help button to the right for any assistance while using the Calendar.

Click for help in using calendar displays. Print the contents of the current screen.

Advanced Search

(New Search)
  From:
  To:


Submit
Event Details
Notify me if this event changes.Add this event to my personal calendar.Email this event to a friend.
Go Back
Chris Kapulkin "Cubical sets and higher category theory"
Start Date: 10/15/2018Start Time: 4:30 PM
End Date: 10/15/2018End Time: 5:30 PM
Event Description:
Speaker: Chris Kapulkin, University of Western Ontario


Abstract: I will report on the recent work joint with Voevodsky on using cubical sets to gain a better understanding of a number of constructions in higher category theory. This work is inspired by the use of cubical sets in Homotopy Type Theory by Coquand and his group.
Location Information:
Homewood - Shaffer
Room: 302
Remarks:
Department of Mathematics
Topology Seminar

Calendar Software powered by Dude Solutions   
Select item(s) to Search
Select item(s) to Search
Select item(s) to Search
Select item(s) to Search
Copyright 2009, The Johns Hopkins University