6 citations · 15 across the 11 of their papers we have counts for
1 paper · 1 filter
Thomas Eckl
We discuss how canonical and universal constructions, properties and characterizations interact with equality in the framework of Homotopy Type Theory, comparing it with Grothendie…