Stefano Piceghello's picture

Stefano Piceghello

Researcher

Department of Mathematics

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

5020 Bergen

Publications

Academic article

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

Academic lecture

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

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

More information in national current research information system (CRIStin)

Fields of competence

Category Theory