Pro budoucí i současné učitele a další zájemce o problematiku výuky matematiky na středních školách.

Místo konání: posluchárna M2, ÚMS PřF MU (budova 08), Kotlářská 2, Brno, vždy ve čtvrtek od 14:00 do 15:40 hod.

27.2.2020

RNDr. Miluše Baráková (Gymnázium Křenová, Brno)

Jak učím matematiku na své škole

Další seminář z algebry se koná 9.1.2020 od 13.00 v posluchárně M5.

S. Henry

Polygraphs and homotopy polygraphs

Abstrakt:
Polygraphs (or computades) are the most general notion of diagram generating strict infinity categories. Some people have believed in the past that they were a presheaves category, but this was proved to be false by Makkai and Zawadowski.
After a quick introduction to polygraphs and why they are not a  presheaves category, I'll show that if one defines a homotopy theoretic (or infinity categorical) version of polygraphs then they form an infinity presheaves category. More generally I'll associate to any strongly cartesian monad acting on an infinity topos an infinity category of polygraphs which is itself an infinity topos.