EasyChair Smart Slide
Higher-dimensional categories: induction on extensivity
Higher-dimensional categories: induction on extensivity