Skip to main content
SpringerLink
Log in

Categorie variabili

  • Conferenze
  • Published:
Rendiconti del Seminario Matematico e Fisico di Milano Aims and scope Submit manuscript

Every notion of constancy is relative, beeing derived perceptually or conceptually as a limiting case of variation and the undisputed value of such notions in clarifying variation is always limited by that origin. (F. W. Lawvere [26])

Sunto

Dopo aver passato in rassegna le principali nozioni di categoria localmente interna rispetto ad un toposE, si mostra che questa nozione può essere utilmente descritta, e la sua teoria studiata, in termini di categorie arricchite sulla bicategoria SpanE.

Summary

After recalling the main notions of a category which is locally internal with respect to a given toposE, we show that such a notion can usefully be described, and its theory developed, in terms of categories enriched in the bicategory SpanE.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliografia

  1. Benabou J.,Fibrations petites et localement petites. C. R. Acad. Sci. Paris, 281 (1975), A897–900.

    MathSciNet  Google Scholar 

  2. Benabou J.,Fibered categories and the foundations of naive category theory. J. Symbolic logic, 50 (1985), 1–37.

    Article  MathSciNet  Google Scholar 

  3. Betti R.,Base bicategories and an application to tree automata. Manoscritto, 1979.

  4. Betti R.,Bicategorie di base. Quad. 2/5, Ist. Mat. Univ. Milano, 1981.

  5. Betti R., Carboni A.,Cauchy-completion and the associated sheaf. Cahiers top. géom. diff., 23 (1982), 243–256.

    MathSciNet  Google Scholar 

  6. Betti R., Carboni A., Street R. H., Walters R. F. C.,Variation through enrichment. J. Pure App. Alg., 29 (1983), 109–127.

    Article  MATH  MathSciNet  Google Scholar 

  7. Betti R., Kasangian S.,Tree automata and enriched category theory. Rend. Ist. Mat. Univ. Trieste, 17 (1985), 71–78.

    MATH  MathSciNet  Google Scholar 

  8. Betti R., Walters R. F. C.,The symmetry of the Cauchy-completion of a category. Proc. Gummersbach Conf. 1981, Lect. Notes 962, Springer (1983), 8–12.

  9. Betti R., Walters R. F. C.,Closed bicategories and variable category theory. Quad. 5, Dip. Mat. Univ. Milano, 1985.

  10. Betti R., Walters, R. F. C.,On completeness of locally-internal categories. J. Pure App. Alg., 47 (1987), 105–117.

    Article  MATH  MathSciNet  Google Scholar 

  11. Betti R., Walters, R. F. C.,The calculus of ends over a base topos. J. Pure App. Alg., 56 (1989), 211–220.

    Article  MATH  MathSciNet  Google Scholar 

  12. Bianchi R.,La formula di Kan per le categorie variabili. Tesi di laurea, Milano, 1987.

  13. Borceux F., Kelly G. M.,A notion of limit for enriched categories. Bull. Austr. Math. Soc., 12 (1975), 48–72.

    MathSciNet  Google Scholar 

  14. Carboni A., Manoscritto, 1982.

  15. Carboni A., Kasangian S., Street R.,Bicategories of spans and relations. J. Pure App. Alg., 33 (1984), 259–267.

    Article  MATH  MathSciNet  Google Scholar 

  16. Carboni A., Kasangian S., Walters R. F. C.,An axiomatics for bicategories of modules. J. Pure App. Alg., 45 (1987), 127–141.

    Article  MATH  MathSciNet  Google Scholar 

  17. Carboni A., Walters R. F. C.,Cartesian bicategories I. J. Pure App. Alg., 49 (1987), 11–32.

    Article  MATH  MathSciNet  Google Scholar 

  18. Giraud J.,Cohomologie non abélienne. Springer, 1971.

  19. Higgs D.,A category approach to boolean-valued set theory. Lect. Notes Univ. Waterloo, 1973.

  20. Johnstone P. T.,Topos theory. Academic Press, 1977.

  21. Kasangian S., Walters R. F. C.,An abstract notion of glueing. Manoscritto, 1981.

  22. Kelly G. M.,Basic concepts of enriched category theory. Cambridge University Press, 1982.

  23. Lawvere F. W.,Category theory over a base topos. Lect. Notes Univ. Perugia, 1972–73.

  24. Lawvere F. W.,Introduzione a «Toposes, algebraic geometry and logic». Lect. Notes 274, Springer 1972, 1–12.

  25. Lawvere F. W.,Metric spaces, generalized logic, and closed categories. Rend. Sem. Mat. Fis. Milano, 43 (1973), 135–166.

    Article  MathSciNet  Google Scholar 

  26. Lawvere F. W.,Continuously variable sets; algebraic geometry=geometric logic. Proc. ASL Logic Colloquium, Bristol 1973, (ed. H. E. Rose and J. C. Shepherdson), North Holland 1975, 135–156.

  27. Lawvere F. W.,Variable quantities and variable structures in topoi. In «Algebra, Topology and Category Theory: a collection of papers in honor of S. Eilenberg», (ed. A. Heller and M. Tierney), Academic Press 1976, 101–131.

  28. Paré R., Schumacher D.,Abstract families and the adjoint functor theorem. Lect. Notes 661, Springer 1978, 1–125.

  29. Penon J.,Categories localement internes. C. R. Acad. Sci. Paris, 278 (1974), A1577–1580.

    MathSciNet  Google Scholar 

  30. Street R. H.,Conspectus of variable categories. J. Pure App. Alg., 21 (1981), 307–338.

    Article  MATH  MathSciNet  Google Scholar 

  31. Street R. H.,Enriched categories and cohomology. Quaest. Mat., 6 (1983), 265–283.

    MATH  MathSciNet  Google Scholar 

  32. Street R. H.,Absolute colimits in enriched categories. Cahiers top. geom. diff., 24 (1983), 377–379.

    MathSciNet  Google Scholar 

  33. Street R. H.,Cauchy characterization of enriched categories. Rend. Sem. Mat. Fis. Univ. Milano, 51 (1983), 217–233.

    Article  MathSciNet  Google Scholar 

  34. Walters R. F. C.,Sheaves and Cauchy-complete categories. Cahiers top. geom. diff., 22 (1981), 283–286.

    MathSciNet  Google Scholar 

  35. Walters R. F. C.,Sheaves on sites as Cauchy-complete categories. J. Pure App. Alg., 24 (1982), 95–102.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Università di Torino, Torino, Italia

    Renato Betti

Authors
  1. Renato Betti
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

(Conferenza tenuta il 26 ottobre 1987)

Rights and permissions

Reprints and permissions

About this article

Cite this article

Betti, R. Categorie variabili. Seminario Mat. e. Fis. di Milano 57, 483–518 (1987). https://doi.org/10.1007/BF02925067

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02925067

Search

Navigation