3,245 reputation
830
bio website PaulTaylor.EU
location London & Birmingham, UK
age
visits member for 5 years, 4 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.


20h
reviewed Reopen primes as uncorrelated random variables
20h
reviewed Leave Open Maximality statements that cannot be proved using $\mathsf{ZL}$
20h
revised Maximality statements that cannot be proved using $\mathsf{ZL}$
Better wording of the same question, also reflecting the answer that has been given.
1d
reviewed Reopen Are Modular Collatz Graphs strongly connected?
1d
reviewed Leave Open Does hyperconnected imply path-connected
2d
reviewed Leave Open First order elliptic pseudodifferential operator and Sobolev space
2d
reviewed Leave Open Notation for the all-ones vector
2d
reviewed Leave Open Calculating an isotropic deviation
Apr
15
reviewed Leave Open Category theory and model theory as “natural” counterparts
Apr
14
reviewed Reopen Decomposition space of $\mathbb{C}$ by concentric circles
Apr
13
reviewed Leave Open Necessary Conditions for Saddle Value point
Apr
13
reviewed Leave Open What does the Riemann–Stieltjes integral measure?
Apr
13
reviewed Leave Open Correspondence between line bundles and $U(1)$-bundles: a possible mistake from physicists?
Apr
12
reviewed No Action Needed Higher Moments, what are they good for?
Apr
12
reviewed Leave Open Higher Moments, what are they good for?
Apr
12
reviewed Leave Open Can there be a non-trivial epimorphism (of rings) from a field?
Apr
12
comment Can there be a non-trivial epimorphism (of rings) from a field?
If this is so trivial it ought to have a rigorous proof. Why shouldn't the dimension of $A$ over $K$ be infinite?
Apr
12
reviewed Leave Open An interesting semi-linear PDE problem
Apr
11
reviewed No Action Needed Invariant mesures for expanding maps of the circle
Apr
11
reviewed Leave Open Integral closure of an ideal