Assiomi elementari per morfismi piccoli, un approccio fibrazionale
Pagnan, Ruggero
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana, Tome 2 (2009), p. 267-270 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)
Publié le : 2009-08-01
@article{RIUMI_2009_1_2_2_267_0,
     author = {Ruggero Pagnan},
     title = {Assiomi elementari per morfismi piccoli, un approccio fibrazionale},
     journal = {La Matematica nella Societ\`a e nella Cultura. Rivista dell'Unione Matematica Italiana},
     volume = {2},
     year = {2009},
     pages = {267-270},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RIUMI_2009_1_2_2_267_0}
}

Pagnan, Ruggero. Assiomi elementari per morfismi piccoli, un approccio fibrazionale. La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana, Tome 2 (2009) pp. 267-270. http://gdmltest.u-ga.fr/item/RIUMI_2009_1_2_2_267_0/

[1] Bénabou, J., Fibered categories and the foundations of naive category theory, The Journal of Symbolic Logic, Vol. 50, Number 1 (1985), 10-37. | MR 780520

[2] Ehrhard, T., Dictoses, Lecture Notes in Computer Science, Vol. 389 (1989), 213-223. | MR 1031565

[3] Grothendieck, A., Catégories Fibrées et Descent (Exposé VI), Lecture Notes in Mathematics, Vol. 224 (1970), 145-194.

[4] Jacobs, B., Categorical Logic and Type Theory, Studies in Logic, Elsevier, Vol. 141 (2001), 1-760. | MR 1674451 | Zbl 0911.03001

[5] Joyal, A. e Moerdijk, I., Algebraic Set Theory, Lecture Notes Series, London Mathematical Society, Cambridge University Press, Vol. 220 (1995), 1-123. | MR 1368403 | Zbl 0847.03025