Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
Nicola Gambino (Itàlia)
Publicacions
A general construction of internal sheaves in Algebraic Set Theory, 2007
AWODEY, S.; GAMBINO, N.; LUMSDAINE, P.L. & WARREN, M.A. *A general construction of internal sheaves in Algebraic Set Theory*. Publicacions del CRM, núm. 774 (2007)
Double adjunctions, 2010
FIORE, T.M.; GAMBINO, N. & KOCK, J. *Double adjunctions*. Publicacions del CRM, núm. 1000 (2010)
Homotopy limits for 2-categories, 2007
GAMBINO, N. *Homotopy limits for 2-categories*. Publicacions del CRM, núm. 769 (2007)
Homotopy limits for 2-categories, 2008
GAMBINO, N. `Homotopy limits for 2-categories´. *Math. Proc. Cambridge Philos. Soc.*; 145 (2008), no. 1, 43–63
Monads in double categories, 2010
FIORE, T.M.; GAMBINO, N. & KOCK, J. *Monads in double categories*. Publicacions del CRM, núm. 951 (2010)
Polynomial functors and polynomial monads, 2009
GAMBINO, N. & KOCK, J. *Polynomial functors and polynomial monads*. Publicacions del CRM, núm. 867 (2009)
The associated sheaf functor theorem in algebraic set theory, 2008
GAMBINO, N. `The associated sheaf functor theorem in algebraic set theory´. *Ann. Pure Appl. Logic*; 156 (2008), no. 1, 68–77
The Cartesian closed bicategory of generalised species of structures, 2008
FIORE, M.; GAMBINO, N.; HYLAND, M. & WINSKEL, G. `The Cartesian closed bicategory of generalised species of structures´. *J. London Math. Soc. (2)*; 77 (2008), no. 1, 203–220
The identity type weak factorisation system, 2008
GAMBINO, N. & GARNER, R. `The identity type weak factorisation system´. *Theoret. Comput. Sci.*; 409 (2008), no. 1, 94–109
The identity type weak factorisation system, 2008
GAMBINO, N. & GARNER, R. *The identity type weak factorisation system*. Publicacions del CRM, núm. 802 (2008)
Weighted limits in simplicial homotopy theory, 2008
GAMBINO, N. *Weighted limits in simplicial homotopy theory*. Publicacions del CRM, núm. 790 (2008)