3,305 reputation
930
bio website PaulTaylor.EU
location London & Birmingham, UK
age
visits member for 5 years, 7 months
seen 11 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,305 Reputation

20 Jul 1
10 Jun 1
10 May 20
10 May 14
10 Apr 28
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