![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Friday 06 November 2020, 14:00-15:00
Free Commutative Monoids in Homotopy Type Theory
- đ¤ Speaker: Vikraman Choudhury, University of Indiana đ Website
- đ Date & Time: Friday 06 November 2020, 14:00 - 15:00
- đ Venue: Online
Questions? Contact
Jamie Vicary
Abstract
https://us02web.zoom.us/j/177472153?pwd=MFgwd0EzY05QSGtpSDc2dU16aG9wdz09
In this talk, I will discuss various presentations of finite multisets as free commutative monoids using higher inductive types in HoTT, and prove their universal property. Using this, I will construct the relational model of linear logic, and further show its differential structure.
Series This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- Martin's interesting talks
- Online
- School of Technology
- tcw57âs list
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.