7 citations · 10 across the 4 of their papers we have counts for
4 papers
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…
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…
A preliminary univalent formalization of the p-adic numbers
Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren
In this paper we give a preliminary formalization of the p-adic numbers, in the context of the second author's univalent foundations program. We also provide the corresponding code…
Combinatorial realizability models of type theory
Pieter Hofstra, Michael A. Warren
We introduce a new model construction for Martin-Löf intensional type theory, which is sound and complete for the 1-truncated version of the theory. The model formally combines the…