Paul Taylor's user avatar
Paul Taylor's user avatar
Paul Taylor's user avatar
Paul Taylor
  • Member for 13 years, 1 month
  • Last seen this week
Stats
7,148
reputation
129k
reached
94
answers
9
questions
About

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
gold badge
27
silver badges
52
bronze badges
416
Score
63
Posts
61
Posts %
225
Score
31
Posts
30
Posts %
84
Score
12
Posts
12
Posts %
65
Score
7
Posts
7
Posts %
53
Score
8
Posts
8
Posts %
48
Score
10
Posts
10
Posts %
Top posts
View all questions and answers