3,099 reputation
828
bio website PaulTaylor.EU
location London & Birmingham, UK
age
visits member for 5 years, 2 months
seen 20 hours 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.


3,099 Reputation

10 yesterday
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
40 Nov 5 '14
8 Nov 3 '14
6 Nov 2 '14
10 Oct 30 '14
10 Oct 26 '14
90 Oct 23 '14
10 Oct 22 '14
60 Oct 16 '14