1,625 reputation
616
bio website PaulTaylor.EU
location London, UK
age
visits member for 4 years, 3 months
seen 2 days ago
I am an independent researcher in the foundations of mathematics and computation, using the techniques of category theory and type theory. I wrote a book called Practical Foundations of Mathematics (CUP 1999). My main work now is Abstract Stone Duality, which seeks to axiomatise computable general topology directly, without any recourse to set theory. I am also the author of a TeX package for drawing categorical diagrams.

1,625 Reputation

-2 Apr 4
-2 15:29 downvote
-2 Feb 19
-2 11:56 downvote
-2 Feb 15
-2 14:18 downvote
25 Feb 10
10 Feb 5
10 Feb 4
20 Feb 2
10 Jan 30
10 Jan 17
10 Dec 16 '13
5 Nov 26 '13
20 Nov 25 '13
10 Nov 24 '13
10 Nov 23 '13
32 Nov 19 '13
10 Nov 5 '13
15 Nov 4 '13
20 Nov 3 '13
30 Nov 2 '13
28 Nov 1 '13
35 Oct 31 '13
10 Oct 9 '13
10 Sep 19 '13
10 Sep 2 '13
10 Jul 13 '13
10 Jun 27 '13
10 Jun 14 '13
-2 Jun 10 '13
10 Jun 6 '13
20 Jun 5 '13