nLab Paul Taylor

Paul Taylor works on the foundations of mathematics and computer science.

• home page

Selected writings

Introducing (among other things) the notion of categories with display maps (later also “clans”) for categorical semantics of dependent type theory:

• Paul Taylor, §4.3.2 in: Recursive Domains, Indexed Category Theory and Polymorphism, Cambridge (1983-7) [pdf]

On form logic and formal proof theory (typed $\lambda$-calculus, linear logic, coherence spaces, …)

• Jean-Yves Girard (translated and with appendiced by Paul Taylor and Yves Lafont), Proofs and Types, Cambridge University Press (1989) [ISBN:978-0-521-37181-0, webpage, pdf]

On foundations in constructive mathematics:

• Practical Foundations of Mathematics, 1999, web.

On abstract Stone duality:

• 15 papers: web

On arithmetic pretoposes:

• Paul Taylor, Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe, Electronic Notes in Theoretical Computer Science 122 (2005) 247-296 [doi:10.1016/j.entcs.2004.06.059]

On the Dedekind real numbers via abstract Stone duality:

• Paul Taylor, Dedekind cuts (2007-2009?)

• Andrej Bauer, Paul Taylor, The Dedekind reals in abstract Stone duality, Mathematical Structures in Computer Science 19 4 (2009) 757-838 [doi:10.1017/S0960129509007695]

category: people