134 citations · 208 across the 10 of their papers we have counts for
13 papers
Real Polynomials with a Complex Twist
Michael Warren, John Gresham, Bryant Wyatt
Student appreciation of a function is enhanced by understanding the graphical representation of that function. From the real graph of a polynomial, students can identify real-value…
Transcendental Functions with a Complex Twist
Michael Warren, John Gresham, Bryant Wyatt
In our previous paper, Real Polynomials with a Complex Twist [see http://archives.math.utk.edu/ICTCM/VOL28/A040/paper.pdf], we used advancements in computer graphics that allow us…
The local universes model: an overlooked coherence construction for dependent type theories
Peter LeFanu Lumsdaine, Michael A. Warren
We present a new coherence theorem for comprehension categories, providing strict models of dependent type theory with all standard constructors, including dependent products, depe…
Bicategorical fibration structures and stacks
Dorette A. Pronk, Michael A. Warren
The familiar construction of categories of fractions, due to Gabriel and Zisman, allows one to invert a class W of arrows in a category in a universal way. Similarly, bicategories…
Voevodsky's Univalence Axiom in homotopy type theory
Steve Awodey, Álvaro Pelayo, Michael A. Warren
In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir V…
Model structures from a monad on presheaves
Michael A. Warren
In this note we describe conditions under which the algebras for a monad on a presheaf category equipped with some additional structure are fibrant objects in a model structure. We…