Edit Profile (opens in new tab) Hofstra, Pieter J. W. Co-Author Distance Author ID: hofstra.pieter-j-w Published as: Hofstra, Pieter; Hofstra, Pieter J. W.; Hofstra, P. J. W.; Hofstra, P. more...less Homepage: http://mysite.science.uottawa.ca/phofstra/ External Links: MGP · ResearchGate · dblp Documents Indexed: 24 Publications since 2003 1 Further Contribution Co-Authors: 11 Co-Authors with 21 Joint Publications 189 Co-Co-Authors all top 5 Co-Authors 4 single-authored 7 Funk, Jonathon R. 6 Cockett, J. Robin B. 4 Scott, Philip J. 3 Warren, Michael Alton 2 Awodey, Steve 2 Guo, Xiuzhan 2 Parker, Jason T. 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 De Marchi, Federico 1 Dybjer, Peter 1 Finster, Eric 1 Gambino, Nicola 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 Hrubeš, Pavel 1 Joyal, André 1 Kapulkin, Krzysztof 1 Kock, Joachim 1 Kraus, Nicolai 1 Li, Nuo 1 Licata, Dan 1 Lumsdaine, Peter LeFanu 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Martin-Löf, Per 1 Melikhov, Sergey Aleksandrovich 1 Nahas, Michael 1 Palmgren, Erik 1 Pelayo, Alvaro 1 Polonsky, Andrew 1 Riehl, Emily 1 Rijke, Egbert 1 Scott, Dana Stewart 1 Shulman, Michael A. 1 Sojakova, Kristina 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 Spitters, Bas 1 Steinberg, Benjamin 1 1 Van den Berg, Benno 1 van Oosten, Jaap 1 Voevodskiĭ, Vladimir Aleksandrovich 1 Zeilberger, Noam Serials 7 Theory and Applications of Categories 3 Mathematical Proceedings of the Cambridge Philosophical Society 3 Journal of Pure and Applied Algebra 3 Annals of Pure and Applied Logic 2 Semigroup Forum all top 5 Fields 22 Category theory; homological algebra (18-XX) 15 Mathematical logic and foundations (03-XX) 6 Group theory and generalizations (20-XX) 6 Computer science (68-XX) 2 General algebraic systems (08-XX) 2 Topological groups, Lie groups (22-XX) 2 Algebraic topology (55-XX) 1 History and biography (01-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 21 Publications have been cited 118 times in 69 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 122 2013 Ordered partial combinatory algebras. Zbl 1046.03038Hofstra, Pieter; van Oosten, Jaap 17 2003 Introduction to Turing categories. Zbl 1155.03030Cockett, J. R. B.; Hofstra, P. J. W. 14 2008 All realizability is relative. Zbl 1115.03093Hofstra, Pieter J. W. 13 2006 Isotropy and crossed toposes. Zbl 1275.18009Funk, Jonathon; Hofstra, Pieter; Steinberg, Benjamin 11 2012 Range categories. I: General theory. Zbl 1252.18003Cockett, J. R. B.; Guo, Xiuzhan; Hofstra, Pieter 9 2012 Range categories II: Towards regularity. Zbl 1252.18004Cockett, J. R. B.; Guo, Xiuzhan; Hofstra, Pieter 6 2012 Topos theoretic aspects of semigroup actions. Zbl 1236.18005Funk, Jonathon; Hofstra, Pieter 6 2010 The Dialectica monad and its cousins. Zbl 1243.03074Hofstra, Pieter J. W. 6 2011 Categorical simulations. Zbl 1192.03020Cockett, J. R. B.; Hofstra, Pieter J. W. 6 2010 Combinatorial realizability models of type theory. Zbl 1323.03013Hofstra, Pieter; Warren, Michael A. 5 2013 Higher isotropy. Zbl 1419.18002Funk, J.; Hofstra, P.; Khan, S. 4 2018 Iterated realizability as a comma construction. Zbl 1144.18004Hofstra, Pieter J. W. 3 2008 Locally anisotropic toposes. Zbl 1390.18007Funk, Jonathon; Hofstra, Pieter 3 2018 Total maps of Turing categories. Zbl 1337.03057Cockett, J. R. B.; Hofstra, P. J. W.; Hrubeš, P. 3 2014 Unitary theories, unitary categories. Zbl 1343.18012Hofstra, Pieter; Cockett, Robin 3 2010 Isotropy of algebraic theories. Zbl 07517273Hofstra, Pieter; Parker, Jason; Scott, Philip 3 2018 Martin-Löf complexes. Zbl 1323.03012Awodey, Steve; Hofstra, Pieter; Warren, Michael A. 2 2013 Descent for monads. Zbl 1108.18002Hofstra, Pieter; De Marchi, Federico 2 2006 Relative completions. Zbl 1052.03041Hofstra, P. J. W. 1 2004 Locally anisotropic toposes. II. Zbl 1467.18005Funk, Jonathon; Hofstra, Pieter 1 2021 Locally anisotropic toposes. II. Zbl 1467.18005Funk, Jonathon; Hofstra, Pieter 1 2021 Higher isotropy. Zbl 1419.18002Funk, J.; Hofstra, P.; Khan, S. 4 2018 Locally anisotropic toposes. Zbl 1390.18007Funk, Jonathon; Hofstra, Pieter 3 2018 Isotropy of algebraic theories. Zbl 07517273Hofstra, Pieter; Parker, Jason; Scott, Philip 3 2018 Total maps of Turing categories. Zbl 1337.03057Cockett, J. R. B.; Hofstra, P. J. W.; Hrubeš, P. 3 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 122 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 Isotropy and crossed toposes. Zbl 1275.18009Funk, Jonathon; Hofstra, Pieter; Steinberg, Benjamin 11 2012 Range categories. I: General theory. Zbl 1252.18003Cockett, J. R. B.; Guo, Xiuzhan; Hofstra, Pieter 9 2012 Range categories II: Towards regularity. Zbl 1252.18004Cockett, J. R. B.; Guo, Xiuzhan; Hofstra, Pieter 6 2012 The Dialectica monad and its cousins. Zbl 1243.03074Hofstra, Pieter J. W. 6 2011 Topos theoretic aspects of semigroup actions. Zbl 1236.18005Funk, Jonathon; Hofstra, Pieter 6 2010 Categorical simulations. Zbl 1192.03020Cockett, J. R. B.; Hofstra, Pieter J. W. 6 2010 Unitary theories, unitary categories. Zbl 1343.18012Hofstra, Pieter; Cockett, Robin 3 2010 Introduction to Turing categories. Zbl 1155.03030Cockett, J. R. B.; Hofstra, P. J. W. 14 2008 Iterated realizability as a comma construction. Zbl 1144.18004Hofstra, Pieter J. W. 3 2008 All realizability is relative. Zbl 1115.03093Hofstra, Pieter J. W. 13 2006 Descent for monads. Zbl 1108.18002Hofstra, Pieter; De Marchi, Federico 2 2006 Relative completions. Zbl 1052.03041Hofstra, P. J. W. 1 2004 Ordered partial combinatory algebras. Zbl 1046.03038Hofstra, Pieter; van Oosten, Jaap 17 2003 all cited Publications top 5 cited Publications all top 5 Cited by 68 Authors 14 Hofstra, Pieter J. W. 8 Cockett, J. Robin B. 5 Funk, Jonathon R. 4 Gallagher, Jonathan 4 Lawson, Mark Verus 3 Ferrer Santos, Walter Ricardo 3 Frey, Jonas 3 Malherbe, Octavio 3 Parker, Jason T. 3 Scott, Philip J. 3 Shulman, Michael A. 3 Warren, Michael Alton 3 Zoethout, Jetze 2 Guillermo, Mauricio 2 Jackson, Marcel G. 2 Kudryavtseva, Ganna 2 Mikulás, Szabolcs 2 Pronk, Dorette A. 2 Trotta, Davide 1 Akama, Yohji 1 Awodey, Steve 1 Cheng, Eugenia 1 Cruttwell, Geoff 1 Cruttwell, Geoffrey 1 de Paiva, Valeria 1 Díaz-Boïls, Joaquín 1 Faber, Eric Ernst 1 Felty, Amy P. 1 Gallagher, J. D. 1 Garner, Richard 1 Hemelaer, Jens 1 Henry, Simon 1 Heunen, Chris 1 Hirsch, Robin 1 Hosseini, Seyed Naser 1 Hrubeš, Pavel 1 Johnstone, Peter T. 1 Kavvos, G. A. 1 Kock, Joachim 1 Longley, John R. 1 Maietti, Maria Emilia 1 Miquel, Alexandre 1 Moeller, Joe 1 Moerdijk, Ieke 1 Pacaud Lemay, Jean-Simon 1 Pauly, Arno M. 1 Pavlović, Duško 1 Pelayo, Alvaro 1 Petrakis, Iosif 1 Riba, Colin 1 Rodin, Andrei S. 1 Rowe, Reuben N. S. 1 Shir Ali Nasab, Amir Reza 1 Skraba, Primoz 1 Spadetto, Matteo 1 Spivak, David I. 1 Stekelenburg, Wouter Pieter 1 Streicher, Thomas 1 Terwijn, Sebastiaan A. 1 Tholen, Walter 1 Tull, Sean 1 Van den Berg, Benno 1 van Oosten, Jaap 1 Vasilakopoulou, Christina 1 Vinogradova, Polina 1 von Glehn, Tamara 1 Yahia, Muzamil 1 Ziegler, Albert all top 5 Cited in 17 Serials 12 MSCS. Mathematical Structures in Computer Science 10 Theory and Applications of Categories 8 Journal of Pure and Applied Algebra 6 Annals of Pure and Applied Logic 5 Semigroup Forum 3 Theoretical Computer Science 2 Applied Categorical Structures 2 The Bulletin of Symbolic Logic 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Advances in Mathematics 1 Journal of Algebra 1 Proceedings of the American Mathematical Society 1 Bulletin of the American Mathematical Society. New Series 1 Journal of Algebra and its Applications 1 Tbilisi Mathematical Journal 1 Computability 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 13 Fields 53 Category theory; homological algebra (18-XX) 40 Mathematical logic and foundations (03-XX) 15 Computer science (68-XX) 11 Group theory and generalizations (20-XX) 6 General algebraic systems (08-XX) 5 Topological groups, Lie groups (22-XX) 5 Algebraic topology (55-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 History and biography (01-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year