From a recent answer by Mike Shulman, I read: “HoTT is (among other things) a foundational theory, on roughly the same ontological level as ZFC, whose basic objects can be regarded as $ \infty$ -groupoids” Now, $ \infty$ -groupoids are the same thing as spaces, and I have a couple of spaces which I like.Read more
Blog
Satisfaction guarantee
Best Proxy Packs
-
2,000 Private Proxies
$600.00$299.00 / month -
1,000 Private Proxies
$360.00$179.00 / month
Like And Follow Us
