Geodesic
Dagli insiemi alle categorie
La Matematica nella società e nella cultura, Série 1, Tome 7 (2014) no. 3, pp. 461-480.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{RIUMI_2014_1_7_3_a7,
     author = {Rosolini, Giuseppe},
     title = {Dagli insiemi alle categorie},
     journal = {La Matematica nella societ\`a e nella cultura},
     pages = {461--480},
     publisher = {mathdoc},
     volume = {Ser. 1, 7},
     number = {3},
     year = {2014},
     zbl = {1391.18001},
     mrnumber = {3363743},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RIUMI_2014_1_7_3_a7/}
}
TY  - JOUR
AU  - Rosolini, Giuseppe
TI  - Dagli insiemi alle categorie
JO  - La Matematica nella società e nella cultura
PY  - 2014
SP  - 461
EP  - 480
VL  - 7
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RIUMI_2014_1_7_3_a7/
LA  - it
ID  - RIUMI_2014_1_7_3_a7
ER  - 
%0 Journal Article
%A Rosolini, Giuseppe
%T Dagli insiemi alle categorie
%J La Matematica nella società e nella cultura
%D 2014
%P 461-480
%V 7
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RIUMI_2014_1_7_3_a7/
%G it
%F RIUMI_2014_1_7_3_a7
Rosolini, Giuseppe. Dagli insiemi alle categorie. La Matematica nella società e nella cultura, Série 1, Tome 7 (2014) no. 3, pp. 461-480. http://geodesic.mathdoc.fr/item/RIUMI_2014_1_7_3_a7/

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

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

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

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

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

[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. | fulltext bdim | fulltext EuDML

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

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

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

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

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

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

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

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

[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 | Zbl

[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 | Zbl

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

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