nLab Pietro Polesello

Redirected from "synthetic (infinity,1)-category theory".

Created on February 4, 2010 at 23:28:25. See the history of this page for a list of all contributions to it.