1 paper
Sanjeevi Krishnan, Emily Rudman
We claim that the cube category whose morphisms are the interval-preserving monotone functions between finite Boolean lattices is a convenient general-purpose site for cubical sets…