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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Some observations on cubical sets

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 (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:

Note that ex-directory lists are not shown.

Other lists

Clinical School, Seminar Room 10 Seminar Room, Centre for Animal Welfare & Anthrozoology, Department of Veterinary Medicine, Madingley Road, Cambridge Education, Equality and Development (EED) Group Seminars

Other talks

Group Presentation 5 Title TBC Angular analyses of b -> s ee decays at LHCb CPH IRC and PHI Scientific Steering Committee meeting Tea and Coffee Break
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity