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.