Edit Profile (opens in new tab) Gambino, Nicola Co-Author Distance Author ID: gambino.nicola Published as: Gambino, Nicola; Gambino, N. Homepage: http://www1.maths.leeds.ac.uk/~pmtng/ External Links: MGP · ORCID · Google Scholar · ResearchGate · dblp Documents Indexed: 25 Publications since 2002, including 1 Book 2 Contributions as Editor · 1 Further Contribution Co-Authors: 21 Co-Authors with 23 Joint Publications 392 Co-Co-Authors all top 5 Co-Authors 5 single-authored 5 Awodey, Steve 5 Kock, Joachim 3 Aczel, Peter 3 Hyland, J. Martin E. 3 Sattler, Christian 3 Sojakova, Kristina 2 Fiore, Marcelo P. 2 Fiore, Thomas M. 2 Garner, Richard 2 Henry, Simon 2 Joyal, André 2 Lumsdaine, Peter LeFanu 2 Palmgren, Erik 2 Szumiło, Karol 2 Warren, Michael Alton 2 Winskel, Glynn 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 Gonthier, Georges 1 González, María del Mar 1 Grayson, Daniel Richard 1 Hales, Thomas Callister 1 Harper, Robert 1 Herbelin, Hugo 1 Hofmann, Martin 1 Hofstra, Pieter J. W. 1 Hötzel Escardó, Martín 1 Hou (Favonia), Kuen-Bang 1 Kapulkin, Krzysztof 1 Kraus, Nicolai 1 Larrea, Marco Federico 1 Li, Nuo 1 Licata, Dan 1 Lobbia, Gabriele 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Martin-Löf, Per 1 Melikhov, Sergey Aleksandrovich 1 Nahas, Michael 1 Pelayo, Alvaro 1 Polonsky, Andrew 1 Riehl, Emily 1 Rijke, Egbert 1 Schuster, Peter Michael 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Shulman, Michael A. 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 Spitters, Bas 1 1 Van den Berg, Benno 1 Voevodskiĭ, Vladimir Aleksandrovich 1 Yang, Paul C. P. 1 Zeilberger, Noam all top 5 Serials 3 Journal of Pure and Applied Algebra 3 The Journal of Symbolic Logic 2 Mathematical Proceedings of the Cambridge Philosophical Society 2 Journal of the London Mathematical Society. Second Series 2 Annals of Pure and Applied Logic 2 MSCS. Mathematical Structures in Computer Science 1 Memoirs of the American Mathematical Society 1 Theoretical Computer Science 1 Selecta Mathematica. New Series 1 Theory and Applications of Categories 1 Journal of the ACM 1 The Quarterly Journal of Mathematics 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Forum of Mathematics, Sigma 1 Trends in Mathematics. Research Perspectives CRM Barcelona all top 5 Fields 21 Category theory; homological algebra (18-XX) 15 Mathematical logic and foundations (03-XX) 10 Algebraic topology (55-XX) 2 General and overarching topics; collections (00-XX) 2 Computer science (68-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Functions of a complex variable (30-XX) 1 Global analysis, analysis on manifolds (58-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 23 Publications have been cited 254 times in 195 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 128 2013 Polynomial functors and polynomial monads. Zbl 1278.18013Gambino, Nicola; Kock, Joachim 40 2013 The identity type weak factorisation system. Zbl 1157.68022Gambino, Nicola; Garner, Richard 33 2008 Wellfounded trees and dependent polynomial functors. Zbl 1100.03055Gambino, Nicola; Hyland, Martin 29 2004 The Cartesian closed bicategory of generalised species of structures. Zbl 1137.18003Fiore, M.; Gambino, N.; Hyland, M.; Winskel, G. 25 2008 The Frobenius condition, right properness, and uniform fibrations. Zbl 1378.18002Gambino, Nicola; Sattler, Christian 18 2017 Heyting-valued interpretations for constructive set theory. Zbl 1077.03038Gambino, Nicola 16 2006 Spatiality for formal topologies. Zbl 1139.03045Gambino, Nicola; Schuster, Peter 11 2007 The generalised type-theoretic interpretation of constructive set theory. Zbl 1100.03052Gambino, Nicola; Aczel, Peter 11 2006 Monads in double categories. Zbl 1225.18003Fiore, Thomas M.; Gambino, Nicola; Kock, Joachim 9 2011 Weighted limits in simplicial homotopy theory. Zbl 1228.18013Gambino, Nicola 9 2010 On operads, bimodules and analytic functors. Zbl 1393.18007Gambino, Nicola; Joyal, André 8 2017 Inductive types in homotopy type theory. Zbl 1364.03014Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 8 2012 Homotopy limits for 2-categories. Zbl 1145.55019Gambino, Nicola 8 2008 Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures. Zbl 1427.18012Fiore, M.; Gambino, N.; Hyland, M.; Winskel, G. 8 2018 Presheaf models for constructive set theories. Zbl 1098.03072Gambino, Nicola 4 2005 Collection principles in dependent type theory. Zbl 1054.03036Aczel, Peter; Gambino, Nicola 4 2002 Homotopy-initial algebras in type theory. Zbl 1426.03016Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 4 2017 Double ad junctions and free monads. Zbl 1284.18013Fiore, Thomas M.; Gambino, Nicola; Kock, Joachim 3 2012 Lawvere-Tierney sheaves in algebraic set theory. Zbl 1183.03068Awodey, S.; Gambino, N.; Lumsdaine, P. L.; Warren, M. A. 2 2009 The associated sheaf functor theorem in algebraic set theory. Zbl 1159.03046Gambino, Nicola 2 2008 On the formal theory of pseudomonads and pseudodistributive laws. Zbl 1457.18023Gambino, Nicola; Lobbia, Gabriele 1 2021 The constructive Kan-Quillen model structure: two new proofs. Zbl 07643744Gambino, Nicola; Sattler, Christian; Szumiło, Karol 1 2022 The constructive Kan-Quillen model structure: two new proofs. Zbl 07643744Gambino, Nicola; Sattler, Christian; Szumiło, Karol 1 2022 On the formal theory of pseudomonads and pseudodistributive laws. Zbl 1457.18023Gambino, Nicola; Lobbia, Gabriele 1 2021 Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures. Zbl 1427.18012Fiore, M.; Gambino, N.; Hyland, M.; Winskel, G. 8 2018 The Frobenius condition, right properness, and uniform fibrations. Zbl 1378.18002Gambino, Nicola; Sattler, Christian 18 2017 On operads, bimodules and analytic functors. Zbl 1393.18007Gambino, Nicola; Joyal, André 8 2017 Homotopy-initial algebras in type theory. Zbl 1426.03016Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 4 2017 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 128 2013 Polynomial functors and polynomial monads. Zbl 1278.18013Gambino, Nicola; Kock, Joachim 40 2013 Inductive types in homotopy type theory. Zbl 1364.03014Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 8 2012 Double ad junctions and free monads. Zbl 1284.18013Fiore, Thomas M.; Gambino, Nicola; Kock, Joachim 3 2012 Monads in double categories. Zbl 1225.18003Fiore, Thomas M.; Gambino, Nicola; Kock, Joachim 9 2011 Weighted limits in simplicial homotopy theory. Zbl 1228.18013Gambino, Nicola 9 2010 Lawvere-Tierney sheaves in algebraic set theory. Zbl 1183.03068Awodey, S.; Gambino, N.; Lumsdaine, P. L.; Warren, M. A. 2 2009 The identity type weak factorisation system. Zbl 1157.68022Gambino, Nicola; Garner, Richard 33 2008 The Cartesian closed bicategory of generalised species of structures. Zbl 1137.18003Fiore, M.; Gambino, N.; Hyland, M.; Winskel, G. 25 2008 Homotopy limits for 2-categories. Zbl 1145.55019Gambino, Nicola 8 2008 The associated sheaf functor theorem in algebraic set theory. Zbl 1159.03046Gambino, Nicola 2 2008 Spatiality for formal topologies. Zbl 1139.03045Gambino, Nicola; Schuster, Peter 11 2007 Heyting-valued interpretations for constructive set theory. Zbl 1077.03038Gambino, Nicola 16 2006 The generalised type-theoretic interpretation of constructive set theory. Zbl 1100.03052Gambino, Nicola; Aczel, Peter 11 2006 Presheaf models for constructive set theories. Zbl 1098.03072Gambino, Nicola 4 2005 Wellfounded trees and dependent polynomial functors. Zbl 1100.03055Gambino, Nicola; Hyland, Martin 29 2004 Collection principles in dependent type theory. Zbl 1054.03036Aczel, Peter; Gambino, Nicola 4 2002 all cited Publications top 5 cited Publications all top 5 Cited by 194 Authors 15 Gambino, Nicola 11 Kock, Joachim 7 Awodey, Steve 7 Garner, Richard 7 Lumsdaine, Peter LeFanu 6 Bourke, John 6 Fiore, Marcelo P. 6 Hyland, J. Martin E. 6 Warren, Michael Alton 5 Batanin, Michael A. 5 Coquand, Thierry 5 Kapulkin, Krzysztof 5 Schuster, Peter Michael 5 Van den Berg, Benno 4 Curi, Giovanni 4 Harper, Robert 4 Mörtberg, Anders 4 Palmgren, Erik 4 Sambin, Giovanni 4 Sattler, Christian 3 Altenkirch, Thorsten 3 Angiuli, Carlo 3 Ghani, Neil 3 Haugseng, Rune 3 Huber, Simon 3 Licata, Daniel R. 3 Moerdijk, Ieke 3 Rinaldi, Davide 3 Spivak, David I. 3 Uemura, Taichi 3 Uustalu, Tarmo 3 Walker, Charles 2 Adams, Robin 2 Ahman, Danel 2 Ahrens, Benedikt 2 Avigad, Jeremy 2 Baez, John C. 2 Basold, Henning 2 Benini, Marco 2 Böhm, Gabriella 2 Ciraulo, Francesco 2 Curien, Pierre-Louis 2 Emmenegger, Jacopo 2 Henry, Simon 2 Hofstra, Pieter J. W. 2 Hyvernat, Pierre 2 Iemhoff, Rosalie 2 Joyal, André 2 Kraus, Nicolai 2 Lobbia, Gabriele 2 Luo, Zhaohui 2 McBride, Conor Thomas 2 North, Paige Randall 2 Pitts, Andrew M. 2 Rasekh, Nima 2 Rathjen, Michael 2 Riehl, Emily 2 Saville, Philip 2 Schenkel, Alexander 2 Shulman, Michael A. 2 Swan, Andrew W. 2 Szumiło, Karol 2 Tasson, Christine 2 Thanh, Cédric Ho 2 van der Weide, Niels 2 Verity, Dominic 2 Weber, Mark 2 Woike, Lukas 2 Ziegler, Albert 1 Ackerman, Nathanael Leedom 1 Aczel, Peter 1 Angelini-Knoll, Gabriel 1 Arndt, Peter F. 1 Behr, Nicolas 1 Belo, João Filipe 1 Berger, Clemens 1 Blumberg, Andrew J. 1 Bohrer, Rose 1 Borisov, Dennis V. 1 Boulier, Simon 1 Breuvart, Flavien 1 Brunerie, Guillaume 1 Buss, Samuel R. 1 Caldwell, James L. 1 Campbell, Alexander Peter 1 Capretta, Venanzio 1 Casacuberta, Carles 1 Cohen, Cyril 1 Coya, Brandon 1 Dagand, Pierre-Evariste 1 Danielsson, Nils Anders 1 De Leger, Florian 1 De Marchi, Federico 1 Dougherty, John J. III 1 Elmanto, Elden 1 Femić, Bojana 1 Fiore, Thomas M. 1 Foley, John David 1 Frumin, Dan 1 Fujii, Soichiro ...and 94 more Authors all top 5 Cited in 48 Serials 20 MSCS. Mathematical Structures in Computer Science 19 Journal of Pure and Applied Algebra 19 Annals of Pure and Applied Logic 16 Theory and Applications of Categories 9 Logical Methods in Computer Science 8 The Journal of Symbolic Logic 8 Theoretical Computer Science 7 Advances in Mathematics 6 Applied Categorical Structures 4 Journal of Functional Programming 3 Mathematical Logic Quarterly (MLQ) 2 Mathematical Proceedings of the Cambridge Philosophical Society 2 Journal of the London Mathematical Society. Second Series 2 Mathematische Zeitschrift 2 Proceedings of the American Mathematical Society 2 Synthese 2 Journal of Automated Reasoning 2 Selecta Mathematica. New Series 2 Algebraic & Geometric Topology 2 Journal of Homotopy and Related Structures 2 Higher Structures 1 Journal of Mathematical Physics 1 Compositio Mathematica 1 Journal of Algebra 1 Memoirs of the American Mathematical Society 1 Studia Logica 1 Transactions of the American Mathematical Society 1 Information and Computation 1 Forum Mathematicum 1 Sugaku Expositions 1 Bulletin of the American Mathematical Society. New Series 1 Archive for Mathematical Logic 1 Indagationes Mathematicae. New Series 1 Journal of Algebraic Combinatorics 1 Annals of Mathematics and Artificial Intelligence 1 Journal of the European Mathematical Society (JEMS) 1 Communications in Contemporary Mathematics 1 Central European Journal of Mathematics 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 Oberwolfach Reports 1 Journal of Noncommutative Geometry 1 Tbilisi Mathematical Journal 1 Confluentes Mathematici 1 Journal of Logic and Analysis 1 Science China. Mathematics 1 Forum of Mathematics, Sigma 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 25 Fields 123 Category theory; homological algebra (18-XX) 106 Mathematical logic and foundations (03-XX) 46 Algebraic topology (55-XX) 44 Computer science (68-XX) 11 General topology (54-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 6 Quantum theory (81-XX) 5 Associative rings and algebras (16-XX) 5 \(K\)-theory (19-XX) 4 Combinatorics (05-XX) 4 Commutative algebra (13-XX) 3 General and overarching topics; collections (00-XX) 3 Algebraic geometry (14-XX) 2 General algebraic systems (08-XX) 2 Group theory and generalizations (20-XX) 1 Nonassociative rings and algebras (17-XX) 1 Partial differential equations (35-XX) 1 Integral equations (45-XX) 1 Functional analysis (46-XX) 1 Differential geometry (53-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year