Personal information

Type theory, category theory.
United Kingdom

Activities

Employment (1)

The University of Manchester: Manchester, Manchester, GB

2022-09-01 to present | Reader in Pure Mathematics (Department of Mathematics)
Employment
Source: Self-asserted source
Nicola Gambino

Education and qualifications (1)

University of Manchester: Manchester, GB

2000-01-01 to 2002-12-31 | PhD
Education
Source: Self-asserted source
Nicola Gambino

Professional activities (1)

London Mathematical Society: London, GB

2017-06-01 to present
Membership
Source: Self-asserted source
Nicola Gambino

Works (44)

Preface: Advances in Homotopy Type Theory

Mathematical Structures in Computer Science
2024-10 | Journal article
Contributors: Thorsten Altenkirch; Benno van den Berg; Nicola Gambino; Maria Emilia Maietti
Source: check_circle
Crossref

Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences

Documenta Mathematica
2024-05-08 | Journal article
Contributors: Nicola Gambino; Richard Garner; Christina Vasilakopoulou
Source: check_circle
Crossref

MONOIDAL KLEISLI BICATEGORIES AND THE ARITHMETIC PRODUCT OF COLOURED SYMMETRIC SEQUENCES

ArXiv
2022 | Journal article
Contributors: Gambino, Nicola; Garner, Richard; Vasilakopoulou, Christina
Source: check_circle
Web of Science Researcher Profile Sync

The effective model structure and -groupoid objects

Forum of Mathematics, Sigma
2022 | Journal article
Contributors: Nicola Gambino; Simon Henry; Christian Sattler; Karol Szumiło
Source: check_circle
Crossref
grade
Preferred source (of 3)‎

The effective model structure and -groupoid objects

ArXiv
2021 | Journal article
Contributors: Gambino, Nicola; Henry, Simon; Sattler, Christian; Szumilo, Karol
Source: check_circle
Web of Science Researcher Profile Sync

On the formal theory of pseudomonads and pseudodistributive laws

Theory and Applications of Categories
2021-01-20 | Journal article
SOURCE-WORK-ID:

549719

Part of ISSN: 1201-561X
Contributors: Nicola Gambino; Gabriele Lobbia
Source: check_circle
Symplectic Elements at University of Leeds

The Constructive Kan–Quillen Model Structure: Two New Proofs

ArXiv
2019 | Journal article
Contributors: Gambino, Nicola; Sattler, Christian; Szumilo, Karol
Source: check_circle
Web of Science Researcher Profile Sync

Towards a constructive simplicial model of Univalent Foundations

ArXiv
2019 | Journal article
Contributors: GAMBINO, NICOLA; HENRY, SIMON
Source: check_circle
Web of Science Researcher Profile Sync

The constructive Kan-Quillen model structure: two new proofs

Quarterly Journal of Mathematics
2019-07-11 | Other
SOURCE-WORK-ID:

505272

Part of ISSN: 0033-5606
WOSUID:

WOS:000784809300001

Contributors: Nicola Gambino; Christian Sattler; Karol Szumilo
Source: check_circle
Symplectic Elements at University of Leeds
grade
Preferred source (of 2)‎

Type-theoretic algebraic weak factorisation systems

2019-06-04 | Other
SOURCE-WORK-ID:

505271

Contributors: Nicola Gambino; Marco Federico Larrea
Source: check_circle
Symplectic Elements at University of Leeds

Towards a constructive simplicial model of Univalent Foundations

Journal of London Mathematical Society
2019-05-15 | Other
SOURCE-WORK-ID:

505270

Part of ISSN: 0024-6107
WOSUID:

WOS:000758527200001

Contributors: Nicola Gambino; Simon Henry
Source: check_circle
Symplectic Elements at University of Leeds
grade
Preferred source (of 2)‎

Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures

Selecta Mathematica
2018-07 | Journal article
SOURCE-WORK-ID:

439588

Part of ISSN: 1022-1824
WOSUID:

WOS:000435788700022

Contributors: M Fiore; Nicola Gambino; M Hyland; G Winskel
Source: check_circle
Symplectic Elements at University of Leeds
grade
Preferred source (of 2)‎

Homotopy-initial algebras in type theory

Journal of the ACM
2017 | Journal article
EID:

2-s2.0-85011356016

Contributors: Awodey, S.; Gambino, N.; Sojakova, K.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures

ArXiv
2017 | Journal article
Contributors: Fiore, Marcelo; Gambino, Nicola; Hyland, Martin; Winskel, Glynn
Source: check_circle
Web of Science Researcher Profile Sync

The Frobenius Condition, Right Properness, and Uniform Fibrations

ArXiv
2017 | Journal article
Contributors: Gambino, Nicola; Sattler, Christian
Source: check_circle
Web of Science Researcher Profile Sync

The Frobenius condition, right properness, and uniform fibrations

Journal of Pure and Applied Algebra
2017-12 | Journal article
SOURCE-WORK-ID:

374315

Part of ISSN: 0022-4049
WOSUID:

WOS:000405763900005

Contributors: Nicola Gambino; C Sattler
Source: check_circle
Symplectic Elements at University of Leeds
grade
Preferred source (of 2)‎

On operads, bimodules and analytic functors

Memoirs of the American Mathematical Society
2017-09 | Journal article
SOURCE-WORK-ID:

324964

Part of ISSN: 0065-9266
WOSUID:

WOS:000412226400001

Contributors: Nicola Gambino; A Joyal
Source: check_circle
Symplectic Elements at University of Leeds
grade
Preferred source (of 2)‎

Homotopy-initial algebras in type theory

ArXiv
2015 | Journal article
Contributors: Awodey, Steve; Gambino, Nicola; Sojakova, Kristina
Source: check_circle
Web of Science Researcher Profile Sync

Introduction-from type theory and homotopy theory to univalent foundations

Mathematical Structures in Computer Science
2015 | Journal article
EID:

2-s2.0-84928706658

Contributors: Awodey, S.; Gambino, N.; Palmgren, E.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

On operads, bimodules and analytic functors

ArXiv
2015 | Journal article
Contributors: Gambino, Nicola; Joyal, André
Source: check_circle
Web of Science Researcher Profile Sync

Polynomial functors and polynomial monads

Mathematical Proceedings of the Cambridge Philosophical Society
2013 | Journal article
EID:

2-s2.0-84870938065

Contributors: Gambino, N.; Kock, J.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

Double adjunctions and free monads

Cahiers de Topologie et Geometrie Differentielle Categoriques
2012 | Journal article
SOURCE-WORK-ID:

377360

Part of ISSN: 1245-530X
Contributors: Nicola Gambino; T M Fiore; J Kock
Source: check_circle
Symplectic Elements at University of Leeds

Inductive types in homotopy type theory

ArXiv
2012 | Journal article
Contributors: Awodey, Steve; Gambino, Nicola; Sojakova, Kristina
Source: check_circle
Web of Science Researcher Profile Sync

Inductive types in homotopy type theory

Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012
2012 | Conference paper
EID:

2-s2.0-84867179352

Contributors: Awodey, S.; Gambino, N.; Sojakova, K.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

Monads in double categories

Journal of Pure and Applied Algebra
2011 | Journal article
EID:

2-s2.0-79451471306

Contributors: Fiore, T.M.; Gambino, N.; Kock, J.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

Polynomial functors and polynomial monads

ArXiv
2010 | Journal article
Contributors: Gambino, Nicola; Kock, Joachim
Source: check_circle
Web of Science Researcher Profile Sync

Weighted limits in simplicial homotopy theory

Journal of Pure and Applied Algebra
2010 | Journal article
EID:

2-s2.0-74849133004

Contributors: Gambino, N.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

Lawvere-Tierney sheaves in Algebraic Set Theory

Journal of Symbolic Logic
2009 | Journal article
EID:

2-s2.0-70349467437

Contributors: Awodey, S.; Gambino, N.; Lumsdaine, P.L.; Warren, M.A.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

Homotopy limits for 2-categories

Mathematical Proceedings of the Cambridge Philosophical Society
2008 | Journal article
EID:

2-s2.0-45849109912

Contributors: Gambino, N.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

Lawvere-Tierney sheaves in algebraic set theory

ArXiv
2008 | Journal article
Contributors: Awodey, Steve; Gambino, Nicola; L. Lumsdaine, Peter; A. Warren, Michael
Source: check_circle
Web of Science Researcher Profile Sync

The associated sheaf functor theorem in algebraic set theory

Annals of Pure and Applied Logic
2008 | Journal article
EID:

2-s2.0-55149101099

Contributors: Gambino, N.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

The cartesian closed bicategory of generalised species of structures

Journal of the London Mathematical Society
2008 | Journal article
EID:

2-s2.0-44649151163

Contributors: Fiore, M.; Gambino, N.; Hyland, M.; Winskel, G.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

The identity type weak factorisation system

ArXiv
2008 | Journal article
Contributors: Gambino, Nicola; Garner, Richard
Source: check_circle
Web of Science Researcher Profile Sync

The identity type weak factorisation system

Theoretical Computer Science
2008 | Journal article
EID:

2-s2.0-55349144465

Contributors: Gambino, N.; Garner, R.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

Spatiality for formal topologies

Mathematical Structures in Computer Science
2007 | Journal article
EID:

2-s2.0-33847692830

Contributors: Gambino, N.; Schuster, P.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

Heyting-valued interpretations for Constructive Set Theory

Annals of Pure and Applied Logic
2006 | Journal article
EID:

2-s2.0-27744476175

Contributors: Gambino, N.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

The generalised type-theoretic interpretation of constructive set theory

Journal of Symbolic Logic
2006 | Journal article
EID:

2-s2.0-33645332107

Contributors: Gambino, N.; Aczel, P.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

Presheaf Models for Constructive Set Theories

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
2005 | Book
EID:

2-s2.0-84920753686

Contributors: Gambino, N.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier
grade
Preferred source (of 3)‎

Wellfounded Trees and Dependent Polynomial Functors

Lecture Notes in Computer Science
2004 | Conference paper
SOURCE-WORK-ID:

377349

Part of ISSN: 0302-9743
WOSUID:

WOS:000222571900014

Contributors: Nicola Gambino; M Hyland
Source: check_circle
Symplectic Elements at University of Leeds
grade
Preferred source (of 2)‎

Wellfounded Trees and Dependent Polynomial Functors

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004 | Book
EID:

2-s2.0-33947308831

Contributors: Gambino, N.; Hyland, M.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier

Collection principles in dependent type theory

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2002 | Book
EID:

2-s2.0-84874867056

Contributors: Aczel, P.; Gambino, N.
Source: Self-asserted source
Nicola Gambino via Scopus - Elsevier

Collection Principles in Dependent Type Theory

Lecture Notes in Computer Science
2002-02-14 | Conference paper
SOURCE-WORK-ID:

377347

Part of ISSN: 0302-9743
Contributors: P Azcel; Nicola Gambino
Source: check_circle
Symplectic Elements at University of Leeds

Models of Martin-Löf Type Theory from Algebraic Weak Factorisation Systems

The Journal of Symbolic Logic
Journal article
SOURCE-WORK-ID:

556665

Part of ISSN: 0022-4812
Contributors: Nicola Gambino; Marco Federico Larrea
Source: check_circle
Symplectic Elements at University of Leeds
grade
Preferred source (of 2)‎

On the formal theory of pseudomonads and pseudodistributive laws

Theory and Applications of Categories
Other
SOURCE-WORK-ID:

533575

Part of ISSN: 1201-561X
WOSUID:

WOS:000674967700002

Contributors: Nicola Gambino; Gabriele Lobbia
Source: check_circle
Symplectic Elements at University of Leeds
grade
Preferred source (of 2)‎