3,245 reputation
830
bio website PaulTaylor.EU
location London & Birmingham, UK
age
visits member for 5 years, 3 months
seen yesterday

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.


3,245 Reputation

20 Mar 26
10 Mar 24
20 Mar 14
10 Mar 11
28 Mar 9
10 Mar 7
40 Mar 6
8 Mar 3
10 Mar 2
10 Feb 22
10 Feb 20
-2 Feb 16
8 Feb 14
40 Feb 13
80 Feb 7
20 Feb 5
10 Feb 4
10 Jan 30
30 Jan 29
10 Jan 28
20 Jan 27
10 Jan 17
10 Jan 13
10 Jan 10
50 Dec 15 '14
18 Dec 13 '14
53 Dec 12 '14
10 Dec 4 '14
10 Nov 28 '14
10 Nov 9 '14