University of Cambridge > Talks.cam > Junior Category Theory Seminar > Homotopy type theory and weak factorization systems

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

Homotopy type theory and weak factorization systems

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

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

I will explain the connection between homotopy type theory and weak factorization systems, and describe the kinds of weak factorization systems that can arise from models of homotopy type theory.

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.

Other lists

Russian Society Dr Augustus Chee CEB Career Talks "Existential Risk" screening and Q & A Type the title of a new list here Mental Health, Religion & Culture

Other talks

"The integrated stress response – a double edged sword in skeletal development and disease" Athena SWAN Network Event: Changing Culture Epigenetics: One Genome, Multiple Phenotypes Developing novel methods for interrogating tree ring anatomy for use in modelling carbon sequestration Comparative perspectives on social inequalities in life and death: an interdisciplinary conference Translational Science: using biomarkers to guide clinical development in oncology The Partition of India and Migration The role of the oculomotor system in visual attention and visual short-term memory Social support and breastfeeding in the UK: evolutionary perspectives and implications for public health
 

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