Dagli insiemi alle categorie
Rosolini, Giuseppe
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana, Tome 7 (2014), p. 461-480 / Harvested from Biblioteca Digitale Italiana di Matematica
Publié le : 2014-12-01
@article{RIUMI_2014_1_7_3_461_0,
     author = {Giuseppe Rosolini},
     title = {Dagli insiemi alle categorie},
     journal = {La Matematica nella Societ\`a e nella Cultura. Rivista dell'Unione Matematica Italiana},
     volume = {7},
     year = {2014},
     pages = {461-480},
     zbl = {1391.18001},
     mrnumber = {3363743},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RIUMI_2014_1_7_3_461_0}
}
Rosolini, Giuseppe. Dagli insiemi alle categorie. La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana, Tome 7 (2014) pp. 461-480. http://gdmltest.u-ga.fr/item/RIUMI_2014_1_7_3_461_0/

[1] Barr, M., e Wells, C. (1984), Toposes triples and theories, Springer, Berlin. | MR 771116 | Zbl 0567.18001

[2] Bénabou, J. (1985), `Fibered categories and the foundations of naive category theory', Journal of Symbolic Logic, vol. 50, pp. 10-37. | MR 780520

[3] Borceux, F. (1995), Handbook of categorical algebra, 3 voll., Cambridge University Press, Cambridge. | MR 1291599

[4] Bourbaki, N. (1972), `Appendice: Univers', In Artin, M. et al., Théorie des topos et cohomologie etale des schémas, vol. 1, Springer, Berlin, pp. 185-217. | MR 354652

[5] Eilenberg, S., e Mac Lane, S. (1945), `General theory of natural equivalences', Transactions of the American Mathematical Society, vol. 58, pp. 231-294. | MR 13131 | Zbl 0061.09204

[6] Facchini, A., e Lolli, G. (2010), `Insiemi e classi', La matematica nella società e nella cultura - Rivista dell'Unione Matematica Italiana, vol. 2, pp. 415-424.

[7] Freyd, P., e Scedrov, A. (1991), Categories, allegories, North Holland, Amsterdam. | MR 1071176 | Zbl 0698.18002

[8] Grothendieck, A., e Verdier, J. (1972), `Théorie de topos', In Artin, M. et al., Théorie des topos et cohomologie etale des schémas, vol. 1, Springer, Berlin, pp. 299-518. | MR 354652

[9] Johnstone, P. T. (2002), Sketches of an elephant: A topos theory compendium, 2 voll., Clarendon Press, Oxford. | MR 2063092 | Zbl 1071.18001

[10] Kan, D. (1958), `Adjoint functors', Transactions of the American Mathematical Society, vol. 87, pp. 294-329. | MR 131451 | Zbl 0090.38906

[11] Lambek, J., e Scott, P. (1986), Introduction to higher order categorical logic. Cambridge University Press, Cambridge. | MR 856915 | Zbl 0596.03002

[12] Leinster, T. (2014), Basic Category Theory, Cambridge University Press, Cambridge. | MR 3307165 | Zbl 1295.18001

[13] Lolli, G. (1977), Categorie, universi e princìpi di riflessione, Boringhieri, Torino. | MR 486039 | Zbl 0369.18001

[14] Mac Lane, S. (1971), Categories for the working mathematician, Springer, New York. | MR 1712872 | Zbl 0232.18001

[15] Mac Lane, S. (1977), Categorie nella pratica matematica, Boringhieri, Torino.

[16] Mac Lane, S. (1998), Categories for the working mathematician, Second edition, Springer, New York. | MR 1712872 | Zbl 0906.18001

[17] Marquis, J.-P. (2009), From a geometrical point of view. A study of the history and philosophy of category theory, Springer, New York. | MR 2730089 | Zbl 1165.18002

[18] Mclarty, C. (1995), Elementary categories, elementary toposes, Clarendon Press, Oxford. | MR 1182992 | Zbl 0828.18001

[19] Williams, N. H. (1969), `On Grothendieck universes', Compositio Mathematica, vol. 21, pp. 1-3. | MR 244035 | Zbl 0175.00701