• 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 ...