www. Paul Taylor. EU |

pt 22 @ Paul Taylor. EU |

Conferences and Seminars |

Links to Related Work |

About these Web pages |

I am sorry for the continued lack of mathematical activity here,
even though I am now an **Honorary Research Fellow** in
Achim Jung's Theory Group
in the Computer Science Department
at the **University of Birmingham**.

Both of my parents became ill in 2010: my Dad had Lewy Body Dementia and died in February 2012 and my Mum had Alzheimer's and died in January 2013. After their house was sold I bought one in Birmingham and then spent much too long renovating my house in London, which now has tenants.

During that period there was the **National Suicide Vote in Britain**,
on 23 June 2016, and I have since spent my time campaigning against that,
in particular with
**EU in Brum** locally.

**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.