Browsing Bergen Open Research Archive by Author "Piceghello, Stefano"
Now showing items 1-3 of 3
-
Coherence for Monoidal and Symmetric Monoidal Groupoids in Homotopy Type Theory
Piceghello, Stefano (Doctoral thesis, 2021-12-03)Homotopy Type Theory (HoTT) is a variant of Martin-Löf Type Theory (MLTT) developed in such a way that types can be interpreted as infinity-groupoids, where the iterated construction of identity types represents the different ... -
Coherence for Monoidal Groupoids in HoTT
Piceghello, Stefano (Journal article; Peer reviewed, 2020)We present a proof of coherence for monoidal groupoids in homotopy type theory. An important role in the formulation and in the proof of coherence is played by groupoids with a free monoidal structure; these can be represented ... -
Logarithmic Hochschild homology
Piceghello, Stefano (Master thesis, 2015-06-01)The purpose of this thesis is to analyse the logarithmic Hochschild homology for pre-log rings and to provide some tools to compute it in certain cases. One of the main strategies that we will employ to describe the log ...