Rosolini: Dagli insiemi alle categorie

Rosolini, Giuseppe:
Dagli insiemi alle categorie
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana Serie 1 7 (2014), fasc. n.3 —Matematica e filosofia. Contributi al dialogo interdisciplinare, p. 461-480, (Italian)
pdf (831 Kb), djvu (244 Kb). | MR 3363743 | Zbl 1391.18001

Referenze Bibliografiche

[1] BARR, M., e WELLS, C. (1984), Toposes triples and theories, Springer, Berlin. | fulltext (doi) | 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. | fulltext (doi) | 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 M. Artin 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. | fulltext (doi) | 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. | fulltext bdim | fulltext EuDML

[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 M. Artin 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. | fulltext (doi) | 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. | fulltext (doi) | 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. | fulltext EuDML | MR 244035 | Zbl 0175.00701

bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Referenza completa

Referenze Bibliografiche