2,843 reputation
722
bio website PaulTaylor.EU
location London & Birmingham, UK
age
visits member for 5 years, 1 month
seen 2 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.


2,843 Reputation

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
10 Oct 14 '14
10 Sep 17 '14
20 Sep 3 '14
50 Sep 2 '14
20 Sep 1 '14
20 Aug 31 '14
10 Aug 28 '14
10 Aug 25 '14
10 Aug 22 '14
10 Aug 20 '14
10 Aug 19 '14
26 Aug 18 '14
163 Aug 17 '14