Skip to main content
Paul Taylor's user avatar
Paul Taylor's user avatar
Paul Taylor's user avatar
Paul Taylor
  • Member for 14 years, 5 months
  • Last seen this week
Stats
7,994
reputation
166k
reached
103
answers
11
questions
Loading…
Communities
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
28
silver badges
56
bronze badges
444
Score
69
Posts
61
Posts %
230
Score
34
Posts
30
Posts %
90
Score
12
Posts
11
Posts %
67
Score
7
Posts
6
Posts %
53
Score
11
Posts
10
Posts %
51
Score
9
Posts
8
Posts %
Top posts
View all questions and answers