Stefano Piceghello's picture

Stefano Piceghello

Researcher

Department of Mathematics

E-mailStefano.Piceghello@uib.no
Phone+47 457 86 569
Visitor Address
Realfagbygget, Allégaten 41
Postal Address
Postboks 7803

5020 Bergen

Publications

Academic article

Show author(s) 2020. Coherence for Monoidal Groupoids in HoTT. Leibniz International Proceedings in Informatics. 8:1-8:20.

Academic lecture

Show author(s) 2019. Coherence for symmetric monoidal groupoids in HoTT/UF.

Show author(s) 2018. Monoidal structures and formalization of coherence theorems.

More information in national current research information system (CRIStin)

Fields of competence

Category Theory