Some observations on cubical sets

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

• Enrico Ghiorzi (University of Cambridge)
• Thursday 20 November 2014, 14:00-15:00
• CMS, MR13.

If you have a question about this talk, please contact Sean Moss.

Cubical sets are similar to simplicial sets, but have squares and cubes in place of triangles and simplices. Recently, they have become a popular topic in homotopy type theory. See for example “A cubical set model of type theory” by Bezem, Coquand and Huber (http://www.cse.chalmers.se/~coquand/mod1.pdf).

In this talk I will show some observations on cubical sets. Firstly, I will briefly introduce (one of the many presentation of) cubical sets. Then I will show a construction producing categories out of cubical sets. By iterating the construction, a (possibly new) structure arises naturally. Finally, the category formed by these new objects is shown to be monadic over cubical sets.

This talk is part of the Junior Category Theory Seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• CMS, MR13
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• Junior Category Theory Seminar
• School of Physical Sciences
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.