Thanks, hadn’t realized how this related to algebraic geometry. Reminds me of semi-simplicial type theory.
Thanks, hadn’t realized how this related to algebraic geometry. Reminds me of semi-simplicial type theory.