Lawvere himself emphasized categorical foundations in his writings, rejecting set-theoretic foundati...
This proposition has not been edited since the history system was added.