Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones

ABCDEFGHIJKLMNOPQRSTUVWXYZ  

 

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)