001 http://hdl.handle.net/10338.dmlcz/153549 2017 Categories in categories, and size matters http://hdl.handle.net/10338.dmlcz/153398 Categories in categories, and size matters A type theory for synthetic $\infty$-categories http://hdl.handle.net/10338.dmlcz/153397 A type theory for synthetic $\infty$-categories Platonic and alternating 2-groups http://hdl.handle.net/10338.dmlcz/153396 Platonic and alternating 2-groups Poisson reduction as a coisotropic intersection http://hdl.handle.net/10338.dmlcz/153395 Poisson reduction as a coisotropic intersection