nLab Myles Tierney

Selected writings

Myles Tierney was a Rutgers faculty member for thirty-four years, coming to Rutgers as an Associate Professor in 1968 following positions at Rice University (1965-6) and at the ETH-Forschungsinstitut für Mathematik, Zürich (1966-68). He received his B.A. from Brown University in 1959 and his Ph.D. from Columbia in 1965.

Myles began his career as an algebraic topologist, moved toward category theory and was responsible (together with F.W. Lawvere) for the introduction of a new field within category theory: elementary topoi.

He had six Ph.D. students: Ira Wolf (1971), Carol Ann Keller (1983), Norman Adams (1984), Terence Lindgren (1984), Todd Trimble (1994), and Luca Mauri (1998). Myles retired as of January 1, 2003 and was honored by the Department at a retirement party on December 10, 2002.

(Taken from this website)

At Dalhousie he had a further Ph.D. student: Radu Diaconescu (1973).

Myles Tierney died on October 5, 2017 having turned 80 in September. He made important contributions to category theory in collaboration with Bill Lawvere and with André Joyal.

Selected writings

On monads in universal algebra and (co-)homology-theory:

On (idemponent) monads:

On comonads:

On forcing via classifying toposes and the classifying topos of a localic groupoid:

  • André Joyal, Myles Tierney, An extension of the Galois theory of Grothendieck, Mem. Amer. Math. Soc. 309 (1984) [ISBN:978-1-4704-0722-3]

    (historical note: according to MR756176 (86d:18002) by Peter Johnstone, the main results of this monograph were obtained by the authors around 1978-1979, typed version circulated from 1982, and the results influenced the field much before the actual publication)

On stacks and classifying spaces:

  • André Joyal and Myles Tierney, Strong stacks and classifying spaces, Category theory (Como, 1990), 213–236, Lecture Notes in Math. 1488, Springer 1991.

On the Dwyer-Kan loop groupoid-construction (path-simplicial groupoids):

On the Quillen equivalence between the model categories for quasi-categories and complete Segal spaces:

On simplicial homotopy theory, the classical model structure on simplicial sets and the classical model structure on topological spaces:

category: people

Last revised on August 11, 2023 at 14:08:03. See the history of this page for a list of all contributions to it.