University of Cambridge > > Junior Category Theory Seminar > Some observations on cubical sets

Some observations on cubical sets

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

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 (

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2023, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity