21 citations · 25 across the 15 of their papers we have counts for
1 paper · 2 filters
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…