2,608 reputation
621
bio website PaulTaylor.EU
location London & Birmingham, UK
age
visits member for 4 years, 10 months
seen 7 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.


Oct
27
reviewed Approve suggested edit on How to construct a semi-positive definite matrix in this form: (L=D-A')
Oct
23
answered Disruptive innovations in mathematical notations
Oct
23
answered Are there examples of families of objects which are canonically isomorphic, but where diagrams of canonical isomorphisms don't commute?
Oct
23
comment Characterize the category of rings
@Tom, doesn't your observation work equally well with any algebraic theory in place of rings? It seems to be defining the thing essentially in terms of itself.
Oct
23
answered Characterize the category of rings
Oct
23
answered A metric associated with a continuous surjective map $f:X\to Y$
Oct
23
comment A metric associated with a continuous surjective map $f:X\to Y$
Your notation is confused. I suggest writing $x_1,x_2\in X$ and $y_1.y_2\in Y$. Then this gives a metric on $X$, not $Y$.
Oct
22
answered Is there a standard notation for binary relations in category theory?
Oct
9
comment Orthogonal FS become weak FS if you switch classes
Please would you say what you mean by strong and weak. I am not sure that I have heard such terminology before for factorisation systems. Besides, these words are grossly over-used in mathematics.
Sep
30
awarded  Explainer
Sep
24
awarded  Autobiographer
Sep
2
revised Is the fixed point property for posets preserved by products?
precise reference for theorem
Sep
2
revised Is the fixed point property for posets preserved by products?
added note about accents
Sep
2
comment Is the fixed point property for posets preserved by products?
(All the other references here are behind a paywall but) the Schroder paper contains some interesting arguments that are similar to ones that have been used in domain theory. Unfortunately, the discussion on this page is an example of the way that pure mathematicians and computer scientists (by which I mean the inhabitants of university buildings so called - we are all mathematicians) talk past one another. I have given a similar theorem and its background from computer science - what it the background for these fixed point results for posets in pure mathematics (departments)?
Sep
2
comment Is the fixed point property for posets preserved by products?
There are many interesting professional issues behind Joel's comment that I would be delighted to debate with him. Moreover, MathOverflow, as an interdisciplinary site, ought to be the place in which to do so. Unfortunately, its oligarchy has succeeded in preventing any such debate from taking place.
Sep
2
comment Is the fixed point property for posets preserved by products?
I believe Emil's reference is correct. Maybe he can also tell us whether Bekic's name should have an acute or hachek.
Sep
2
revised Is the fixed point property for posets preserved by products?
fixed syntax of link
Sep
2
revised Is the fixed point property for posets preserved by products?
added Bekic-Jones link
Sep
2
comment Is the fixed point property for posets preserved by products?
As`Andrej said, whether you regard this as an "open" problem depends on whether you're looking for a theorem or a counterexample. In any area of mathematics, a random conjecture expressed in inappropriate generality is likely to be false, with unenlightening counterexamples. This result comes from the practical task of giving mathematical meaning to programming languages. As Francois explains, it requires a cartesian closed category with fixed point operators; domain theory provided many such categories. Yes, I agree that the argument is bizarre.
Sep
2
revised What structure has been found for functions with this relationship.
added 262 characters in body