20 citations · 20 across the 5 of their papers we have counts for
1 paper · 1 filter
Ulrik Buchholtz, Edward Morehouse
We define a variety of notions of cubical sets, based on sites organized using substructural algebraic theories presenting PRO(P)s or Lawvere theories. We prove that all our sites…