Edit Profile (opens in new tab) Warren, Michael Alton Co-Author Distance Author ID: warren.michael-a Published as: Warren, Michael A.; Warren, Michael; Warren, M. A. more...less Homepage: http://mawarren.net/ External Links: MGP · ORCID · dblp Documents Indexed: 14 Publications since 2005 1 Further Contribution Co-Authors: 7 Co-Authors with 12 Joint Publications 122 Co-Co-Authors all top 5 Co-Authors 3 single-authored 6 Awodey, Steve 5 Pelayo, Alvaro 3 Hofstra, Pieter J. W. 3 Lumsdaine, Peter LeFanu 2 Gambino, Nicola 2 Voevodskiĭ, Vladimir Aleksandrovich 1 Aczel, Peter 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Angiuli, Carlo 1 Avigad, Jeremy 1 Barras, Bruno 1 Bauer, Andrej 1 Bertot, Yves 1 Bezem, Marc 1 Bordg, Anthony 1 Brunerie, Guillaume 1 Cohen, Cyril 1 Constable, Robert Lee 1 Coquand, Thierry 1 Curien, Pierre-Louis 1 Dybjer, Peter 1 Finster, Eric 1 Garner, Richard 1 Gonthier, Georges 1 Grayson, Daniel Richard 1 Hales, Thomas Callister 1 Harper, Robert 1 Herbelin, Hugo 1 Hofmann, Martin 1 Hötzel Escardó, Martín 1 Hou (Favonia), Kuen-Bang 1 Joyal, André 1 Kapulkin, Krzysztof 1 Kock, Joachim 1 Kraus, Nicolai 1 Li, Nuo 1 Licata, Dan 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Martin-Löf, Per 1 Melikhov, Sergey Aleksandrovich 1 Nahas, Michael 1 Palmgren, Erik 1 Polonsky, Andrew 1 Pronk, Dorette A. 1 Riehl, Emily 1 Rijke, Egbert 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Shulman, Michael A. 1 Sojakova, Kristina 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 Spitters, Bas 1 1 Van den Berg, Benno 1 Zeilberger, Noam all top 5 Serials 3 Annals of Pure and Applied Logic 3 Theory and Applications of Categories 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Gazette des Mathématiciens 1 The Journal of Symbolic Logic 1 MSCS. Mathematical Structures in Computer Science 1 Bulletin of the American Mathematical Society. New Series 1 Notices of the American Mathematical Society 1 ACM Transactions on Computational Logic all top 5 Fields 13 Mathematical logic and foundations (03-XX) 11 Category theory; homological algebra (18-XX) 7 Algebraic topology (55-XX) 3 Computer science (68-XX) 1 Number theory (11-XX) 1 Algebraic geometry (14-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 133 times in 109 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 122 2013 Homotopy theoretic models of identity types. Zbl 1205.03065Awodey, Steve; Warren, Michael A. 61 2009 The local universes model: an overlooked coherence construction for dependent type theories. Zbl 1354.03101Lumsdaine, Peter LeFanu; Warren, Michael A. 25 2015 Predicative algebraic set theory. Zbl 1072.18004Awodey, Steve; Warren, Michael A. 7 2005 Homotopy type theory and Voevodsky’s univalent foundations. Zbl 1432.03019Pelayo, Álvaro; Warren, Michael A. 7 2014 Bicategorical fibration structures and stacks. Zbl 1361.18003Pronk, Dorette A.; Warren, Michael A. 6 2014 Voevodsky’s univalence axiom in homotopy type theory. Zbl 1337.03014Awodey, Steve; Pelayo, Álvaro; Warren, Michael A. 5 2013 The strict \(\omega\)-groupoid interpretation of type theory. Zbl 1243.03012Warren, Michael A. 5 2011 Combinatorial realizability models of type theory. Zbl 1323.03013Hofstra, Pieter; Warren, Michael A. 5 2013 A univalent formalization of the \(p\)-adic numbers. Zbl 1361.68190Pelayo, Álvaro; Voevodsky, Vladimir; Warren, Michael A. 4 2015 Coalgebras in a category of classes. Zbl 1112.18002Warren, Michael A. 3 2007 Lawvere-Tierney sheaves in algebraic set theory. Zbl 1183.03068Awodey, S.; Gambino, N.; Lumsdaine, P. L.; Warren, M. A. 2 2009 Martin-Löf complexes. Zbl 1323.03012Awodey, Steve; Hofstra, Pieter; Warren, Michael A. 2 2013 A characterization of representable intervals. Zbl 1255.18007Warren, Michael A. 1 2012 The local universes model: an overlooked coherence construction for dependent type theories. Zbl 1354.03101Lumsdaine, Peter LeFanu; Warren, Michael A. 25 2015 A univalent formalization of the \(p\)-adic numbers. Zbl 1361.68190Pelayo, Álvaro; Voevodsky, Vladimir; Warren, Michael A. 4 2015 Homotopy type theory and Voevodsky’s univalent foundations. Zbl 1432.03019Pelayo, Álvaro; Warren, Michael A. 7 2014 Bicategorical fibration structures and stacks. Zbl 1361.18003Pronk, Dorette A.; Warren, Michael A. 6 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 122 2013 Voevodsky’s univalence axiom in homotopy type theory. Zbl 1337.03014Awodey, Steve; Pelayo, Álvaro; Warren, Michael A. 5 2013 Combinatorial realizability models of type theory. Zbl 1323.03013Hofstra, Pieter; Warren, Michael A. 5 2013 Martin-Löf complexes. Zbl 1323.03012Awodey, Steve; Hofstra, Pieter; Warren, Michael A. 2 2013 A characterization of representable intervals. Zbl 1255.18007Warren, Michael A. 1 2012 The strict \(\omega\)-groupoid interpretation of type theory. Zbl 1243.03012Warren, Michael A. 5 2011 Homotopy theoretic models of identity types. Zbl 1205.03065Awodey, Steve; Warren, Michael A. 61 2009 Lawvere-Tierney sheaves in algebraic set theory. Zbl 1183.03068Awodey, S.; Gambino, N.; Lumsdaine, P. L.; Warren, M. A. 2 2009 Coalgebras in a category of classes. Zbl 1112.18002Warren, Michael A. 3 2007 Predicative algebraic set theory. Zbl 1072.18004Awodey, Steve; Warren, Michael A. 7 2005 all cited Publications top 5 cited Publications all top 5 Cited by 118 Authors 10 Awodey, Steve 8 Lumsdaine, Peter LeFanu 8 Shulman, Michael A. 7 Gambino, Nicola 7 Warren, Michael Alton 5 Harper, Robert 5 Kapulkin, Krzysztof 4 Angiuli, Carlo 4 Coquand, Thierry 4 Garner, Richard 3 Marquis, Jean-Pierre 3 Pelayo, Alvaro 3 Pitts, Andrew M. 3 Streicher, Thomas 3 Van den Berg, Benno 2 Abramsky, Samson 2 Buchholtz, Ulrik 2 Descotte, María Emilia 2 Dubuc, Eduardo J. 2 Emmenegger, Jacopo 2 Henry, Simon 2 Hofstra, Pieter J. W. 2 Hötzel Escardó, Martín 2 Huber, Simon 2 Jagadeesan, Radha 2 Kraus, Nicolai 2 Licata, Daniel R. 2 Moerdijk, Ieke 2 Møgelberg, Rasmus Ejlers 2 Orton, Ian 2 Palmgren, Erik 2 Pasquali, Fabio 2 Rijke, Egbert 2 Roberts, David Michael 2 Rosolini, Giuseppe 2 Simpson, Alex K. 2 Spitters, Bas 2 Sterling, Jonathan 2 Szumiło, Karol 2 Szyld, Martín 2 Tsementzis, Dimitris 2 Vákár, Matthijs 2 von Raumer, Jakob 1 Ackerman, Nathanael Leedom 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Angere, Staffan 1 Arndt, Peter F. 1 Avigad, Jeremy 1 Barras, Bruno 1 Bauer, Andrej 1 Beilinson, Alexander A. 1 Bentzen, Bruno 1 Bezem, Marc 1 Bidlingmaier, Martin E. 1 Birkedal, Lars 1 Bizjak, Aleš 1 Bordg, Anthony 1 Bourke, John 1 Butz, Carsten 1 Castellan, Simon 1 Caterina, Gianluca 1 Cavallo, Evan 1 Clairambault, Pierre 1 Clouston, Ranald A. 1 Cottrell, Thomas 1 Curien, Pierre-Louis 1 Danielsson, Nils Anders 1 de Jong, Tom J. 1 Dybjer, Peter 1 Engeler, Erwin 1 Frumin, Dan 1 Fujii, Soichiro 1 Gangle, Rocco 1 Gepner, David 1 Gratzer, Daniel 1 Grayson, Daniel Richard 1 Gylterud, Håkon Robbestad 1 Helfer, Joseph 1 Hofmann, Martin 1 Hou (Favonia), Kuen-Bang 1 Isaev, Valery 1 Kapranov, Mikhail M. 1 Kazhdan, David A. 1 Kock, Joachim 1 Ladyman, James 1 Lamarche, François 1 Larrea, Marco Federico 1 Mainzer, Klaus 1 Mannaa, Bassel 1 Marcolli, Matilde 1 Merkur’ev, Aleksandr Sergeevich 1 Morehouse, Edward 1 Mörtberg, Anders 1 North, Paige Randall 1 Orlov, Dmitri O. 1 Panin, Ivan A. 1 Pavlović, Duško 1 Presnell, Stuart 1 Riehl, Emily ...and 18 more Authors all top 5 Cited in 31 Serials 21 MSCS. Mathematical Structures in Computer Science 12 Annals of Pure and Applied Logic 9 Logical Methods in Computer Science 5 Journal of Pure and Applied Algebra 4 Synthese 4 Bulletin of the American Mathematical Society. New Series 3 Indagationes Mathematicae. New Series 3 The Bulletin of Symbolic Logic 3 Theory and Applications of Categories 2 Mathematical Proceedings of the Cambridge Philosophical Society 2 The Journal of Symbolic Logic 2 Theoretical Computer Science 2 Applied Categorical Structures 2 Journal of Functional Programming 2 Journal of Applied Logic 2 The Review of Symbolic Logic 2 Higher Structures 1 Russian Mathematical Surveys 1 Advances in Mathematics 1 Journal of the London Mathematical Society. Second Series 1 Information and Computation 1 Journal of Automated Reasoning 1 Forum Mathematicum 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Selecta Mathematica. New Series 1 Journal of the European Mathematical Society (JEMS) 1 ACM Transactions on Computational Logic 1 Mediterranean Journal of Mathematics 1 Forum of Mathematics, Sigma 1 Mathematics 1 Categories and General Algebraic Structures with Applications all top 5 Cited in 17 Fields 83 Mathematical logic and foundations (03-XX) 65 Category theory; homological algebra (18-XX) 43 Algebraic topology (55-XX) 21 Computer science (68-XX) 6 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Nonassociative rings and algebras (17-XX) 1 Group theory and generalizations (20-XX) 1 Topological groups, Lie groups (22-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Differential geometry (53-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year