Archiv aktualit
Online seminář z algebry - 11.3.2021 PDF Tisk

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 PDF Tisk

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
 
«ZačátekPředchozí12345678910DalšíKonec»