There is also Frank Lawvere: <a href="http:&#x2F;&#x2F;formandformalism.blogspot.com&#x2F;2011&#x2F;09&#x2F;lawvere-on-mathematics-and-maoist.html" rel="nofollow">http:&#x2F;&#x2F;formandformalism.blogspot.com&#x2F;2011&#x2F;09&#x2F;lawvere-on-math...</a>.