|
Online seminář z algebry - 11.3.2021 |
 |
 |
|
Další seminář z algebry se koná 11.3.2021 od 13.00 online na platformě ZOOM. Informace pro připojení a další program semináře je zde. Eric Faber
Simplicial Moore paths are polynomial
Abstrakt:
In this talk I will show that the simplicial Moore path functor, first defined by Van den Berg and Garner, is a polynomial functor. This result, which surprised us a bit at first, has helped a great deal in developing effective Kan fibrations for simplicial sets. Based on joint work with Van den Berg.
|
|
Aktualizováno Středa, 10 Březen 2021 08:25 |
|
Online seminář z algebry - 4.3.2021 |
|
|
|
Další seminář z algebry se koná 4.3.2021 od 13.00 online na platformě ZOOM. Informace pro připojení a další program semináře je zde. Chaitanya Subramaniam
Dependently typed algebraic theories
Abstrakt:
For S a set, S-sorted algebraic (or "Lawvere") theories are, equivalently, finite-product categories whose objects are freely generated by S, finitary monads on Set/S, or monoids in a category of "S-coloured cartesian collections".
When S is a suitable direct category, I will describe equivalences of categories between finitary monads on [S^op, Set], monoids in a category of "S-coloured cartesian collections", and a certain category of contextual categories (in the sense of Cartmell) under S^op.
Examples of such S are the categories of semi-simplices, globes and opetopes. Opetopes will be a running example, and we will see that there are three idempotent finitary monads on the category of opetopic sets, whose algebras are, respectively, small categories, coloured planar Set-operads, and planar coloured combinads (in the sense of Loday).
This is partly joint work with Peter LeFanu Lumsdaine, and partly joint work with Cédric Ho Thanh.
|
|
Aktualizováno Úterý, 02 Březen 2021 10:54 |
