Michael Barr (matemático) - Michael Barr (mathematician)

Michael Barr (nascido em 22 de janeiro de 1937) é Peter Redpath Professor Emérito de Matemática Pura na Universidade McGill .

Vida pregressa

Ele nasceu na Filadélfia , Pensilvânia , e se formou na 202ª turma da Central High School em junho de 1954. Ele se formou na Universidade da Pensilvânia em fevereiro de 1959 e recebeu um PhD da mesma escola em junho de 1962. Ele lecionou na Universidade de Columbia e a Universidade de Illinois antes de vir para a McGill em 1968.

Carreira

Seu trabalho anterior foi em álgebra homológica , mas sua principal área de pesquisa por vários anos tem sido a teoria das categorias . Ele é bem conhecido dos cientistas da computação teóricos por seu livro Category Theory for Computing Science com Charles Wells , bem como pelo desenvolvimento de categorias * autônomas e espaços Chu que encontraram várias aplicações em ciência da computação. Sua monografia * - categorias autônomas e seus livros Toposes, Triplos e Teorias , também em co-autoria com Wells e Modelos acíclicos , destinam-se a públicos mais especializados.

Ele faz parte do conselho editorial da Mathematical Structures in Computer Science e do periódico eletrônico Homology, Homotopy and Applications , e é editor do periódico eletrônico Theory and Applications of Categories .