www. Paul Taylor. EU |

pt 22 @ Paul Taylor. EU |

Conferences and Seminars |

Links to Related Work |

About these Web pages |

I am now an **Honorary Senior Research Fellow** in
Achim Jung's Theory Group
in the Computer Science Department
at the **University of Birmingham**.

**Abstract Stone Duality**
is a revolutionary direct axiomatisation of general topology
and constructive real analysis
that is inherently computable.
July 2014: New draft papers about
*Local Compactness and Bases in various
formulations of Topology* and
*Overt Subspaces of R ^{n}*.

** Practical Foundations of Mathematics**
relates category theory and type theory to the idioms of mathematics
(Cambridge University Press, 1999, ISBN 0-521-63107-6).

**Induction, recursion, replacement and the ordinals**
are studied categorically using well founded coalgebras.

**Introduction to Algorithms and Reasonned Programming**:
a first year computer science course.

**Commutative diagrams**,
proof trees and boxes and
other TeX macros.
My right-justified end-of-proof square
is the only one that works.

**Classical** (Scott) and
**stable domain theory**,
also called analytic or polynomial functors, shapes, containers,
or multiadjoints.

** Proofs and Types**
by Jean-Yves Girard, which I translated,
is out of print but downloadable.

**Gauss's second proof**
of the fundamental theorem of algebra, which I translated from Latin.

**Undergraduate algebra**
and other course notes that I wrote when I was a graduate student.