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 Tue, 10 Mar 2026 13:36:41 GMT A type theory for synthetic $\infty$-categories http://hdl.handle.net/10338.dmlcz/153397 A type theory for synthetic $\infty$-categories Tue, 10 Mar 2026 13:23:51 GMT Platonic and alternating 2-groups http://hdl.handle.net/10338.dmlcz/153396 Platonic and alternating 2-groups Tue, 10 Mar 2026 12:05:07 GMT Poisson reduction as a coisotropic intersection http://hdl.handle.net/10338.dmlcz/153395 Poisson reduction as a coisotropic intersection Tue, 10 Mar 2026 11:31:30 GMT