Free Commutative Monoids in Homotopy Type Theory

Add to your list(s) Download to your calendar using vCal

• Vikraman Choudhury, University of Indiana
• Friday 06 November 2020, 14:00-15:00
• Online.

If you have a question about this talk, please contact Jamie Vicary.

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.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• Online
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.