Archiv aktualit
Phan Thanh Nam vyhrál cenu European Mathematical Society (EMS) PDF Tisk

Náš nedávný kolega, Phan Thanh Nam, se stal prvním vietnamským profesorem, který vyhrál cenu European Mathematical Society (EMS).

Informace zde.

Gratulujeme k tomuto mimořádnému úspěchu!

Aktualizováno Čtvrtek, 14 Květen 2020 14:59
 
Online seminář z algebry - 28.5.2020 PDF Tisk

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

Christopher Dean

Globular Multicategories with Homomorphism Types

Abstrakt:
We introduce structures called globular multicategories with homomorphism types. We discuss how various collections of “higher category-like” objects can be used to to construct these globular multicategories. We show how to obtain a number of higher categorical structures using this data. We will see that in this setting there is a  precise sense in which:
• types are higher categories,
• dependent types are profunctors,
• terms are higher functors,
• terms in a dependent context are higher transformations,
• there is a higher category of all types and terms.

Aktualizováno Úterý, 26 Květen 2020 10:22
 
«ZačátekPředchozí12345678910DalšíKonec»