41 citations · 172 across the 17 of their papers we have counts for
1 paper · 1 filter
Paolo Capriotti, Nicolai Kraus
Category theory in homotopy type theory is intricate as categorical laws can only be stated "up to homotopy", and thus require coherences. The established notion of a univalent cat…