Michael A. Warren
Postdoctoral Fellow
Department of Mathematics and Statistics
University of Ottawa
I am a member of the Logic and Foundations of Computing Group.
Contact information
Department of Mathematics and Statistics
585 King Edward Ave.
Ottawa, ON K1N 6N5
Canada
Office : 204B
☎ : 613.562.5864 x2103
✉ :
m(insert-surname-here)@uottawa.ca
Research interests
-
Category theory
-
Mathematical logic
-
Homotopy theory
Publications and preprints
(The files listed below are preprints and may differ from the published versions.)
-
Martin-Löf Complexes, with S. Awodey and P. Hofstra,
submitted, 2009.
Preprint on the arXiv as arXiv:0906.4521 (math.LO).
[PDF]
[arXiv]
-
A characterization of representable intervals, submitted, 2009.
Preprint on the arXiv as arxiv:0903.3743 (math.CT).
[PDF]
[arXiv]
-
Lawvere-Tierney sheaves in algebraic set theory, with S. Awodey, N. Gambino and P. L. Lumsdaine, Journal of Symbolic Logic, 74(3), pp. 862-890, 2009.
[PDF] [arXiv]
-
Homotopy theoretic models of identity types, with S. Awodey, Mathematical Proceedings of the Cambridge Philosophical Society, 146, pp. 45-55, 2009.
[PS] [PDF] [arXiv]
-
Coalgebras in a category of classes, Annals of Pure and Applied Logic, 146(1), pp. 60-71, 2007.
[PS]
-
Predicative algebraic set theory, with S. Awodey,
Theory and Applications of Categories, volume 15,
pp. 1-39, 2005.
[TAC]
Some recent talks
-
Martin-Löf Complexes, Makkaifest pre-workshop, McGill University (Montréal), June 18, 2009.
-
Types and groupoids, Category Theory Octoberfest, Concordia University (Montréal), October 4-5, 2008.
-
Higher-dimensional groupoids and types, Workshop on Categorical and Homotopical Structures in Proof Theory, Centre de Recerca Matemàtica (Barcelona), February 16 - 17, 2008.
-
Model categories and intensional identity types, Workshop on Identity Types - Topological and
Categorical Structure (Uppsala), November 13 - 14,
2006.
-
Homotopy models of intensional type theory, Foundational Methods in Computer Science (FMCS) 2006
(Kananaskis Field Station, Alberta).
-
Coalgebras in a category of classes, Category Theory session of the 2006 Summer meeting of the
Canadian Mathematical Society (Calgary).
Current teaching
Spring/Summer 2009: Calculus for Life Sciences II (MAT1332)
Notes and other output
-
Homotopy theoretic aspects of constructive type theory, Ph.D. thesis, Carnegie Mellon University, 2008.
[PDF]
-
Algebraic models of sets and classes in categories of ideals with S. Awodey and H. Forssell, 2006.
[PS]
-
Predicative categories of classes, M.Sc. thesis, Carnegie Mellon University, 2004.
[PS] [PDF]
Conference websites
Websites for the recent Fields-Ottawa workshop on Smooth
Structures in Logic, Category Theory and Physics:
[Local
Website] [Fields Institute Website]
Abbreviated CV