147 citations · 398 across the 15 of their papers we have counts for
16 papers
Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences
Nicola Gambino, Richard Garner, Christina Vasilakopoulou
We extend the arithmetic product of species of structures and symmetric sequences studied by Maia and Mendez and by Dwyer and Hess to coloured symmetric sequences and show that it…
The effective model structure and -groupoid objects
Nicola Gambino, Simon Henry, Christian Sattler +1
For a category with finite limits and well-behaved countable coproducts, we construct a model structure, called the effective model structure, on the category of simpl…
The constructive Kan-Quillen model structure: two new proofs
Nicola Gambino, Christian Sattler, Karol Szumiło
We present two new proofs of Simon Henry's result that the category of simplicial sets admits a constructive counterpart of the classical Kan-Quillen model structure. Our proofs ar…
Models of Martin-Löf type theory from algebraic weak factorisation systems
Nicola Gambino, Marco Federico Larrea
We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-Löf type theory. This is done by showing that th…
Towards a constructive simplicial model of Univalent Foundations
Nicola Gambino, Simon Henry
We provide a partial solution to the problem of defining a constructive version of Voevodsky's simplicial model of univalent foundations. For this, we prove constructive counterpar…
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Marcelo Fiore, Nicola Gambino, Martin Hyland +1
We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then pr…