Online seminář z algebry - 15.10.2020

Další seminář z algebry se koná 15.10.2020 od 13.00 online na platformě ZOOM. Informace pro připojení a další program semináře je zde.

#### Taichi Uemura

The universal exponentiable arrow

Abstrakt:
Cartmell showed that the category of generalized algebraic theories is equivalent to the category of contextual categories. This implies that the theory of generalized algebraic theories is essentially algebraic. We characterize the essentially algebraic theory of generalized algebraic theories as the free category with finite limits and with an exponentiable arrow.

The main theorem and a syntactic proof are found in arXiv:2001.09940. In this talk we give a semantic proof.

Aktualizováno Středa, 14 Říjen 2020 15:24