Sunto
Le strutture ottenibili per incollamento di «spazi elementari», come le varietà, i fibrati, le varietà fogliettate, possono essere definite da «atlanti di incollamento» e, formalmente, come categorie arricchite su opportune categorie ordinate.
Article PDF
References
R. Betti -A. Carboni,Cauchy completion and the associated sheaf, Cahiers Topologie Géom. Différentielle,23 (1982), pp. 243–256.
R.Betti,Bicategorie di base, Ist. Mat. Univ. Milano, 2/S (1981).
G. J.Bird,Morita theory for enriched categories, Thesis, Univ. of Sydney (1981).
R. A. Di Paola -A. Heller,Dominical categories: recursion theory without elements, J. Symb. Log.,52 (1987), pp. 594–635.
R. A.Di Paola,Creativity and effective inseparability in dominical categories, in «Atti degli incontri di Logica Matematica»,2 (1983–84), Dip. Mat. Univ. Siena, pp. 477–478.
N. Dunford -J. T. Schwartz,Linear operators, Part III, Wiley, Interscience, New York (1971).
C. Ehresmann,Gattungen von Lokalen Strukturen, Jahres d. Deutschen Math.,60 (1957), pp. 49–77;Espèces de structures locales, Cahiers Topologie Géom. Différentielle,3 (1961), pp. 1–24.
C. Ehresmann,Elargissement complet d'un foncteur local, Cahiers Topologie Géom. Différentielle,11 (1969), pp. 405–419.
M. Grandis,Canonical preorder and congruence in orthodox semigroups and categories (Orthodox categories, 1), Boll. Un. Mat. Ital.,13-B (1976), pp. 634–650.
M. Grandis,Regular and orthodox involution categories (Orthodox categories, 2), Boll. Un. Mat. Ital.,14-A (1977)., pp. 38–48.
M. Grandis,Concrete representations for inverse and distributive exact categories, Rend. Accad. Naz. Sci. XL, Mem. Mat.,8 (1984), pp. 99–120.
M. Grandis,Manifolds as enriched categories, inCategorical Topology, Prague 1988, World Scientific, Singapore (1989), pp. 358–368.
M.Grandis,Cohesive categories and measurable operators, Dip. Mat. Univ. Genova, Preprint,81 (1989).
A.Heller,Dominical categories and recursion theory, in «Atti degli incontri di Logica Matematica»,2 (1983–84), Dip. Mat. Univ. Siena, pp. 339–344.
J. Kastl,Inverse categories, in «Algebraische Modelle, Kategorien und Gruppoide», Akademie Verlag, Berlin (1979), pp. 51–60.
S.Kasangian - R. F. C.Walters,An abstract notion of glueing, unpublished manuscript (1982) (13).
F. W. Lawvere,Metric spaces, generalized logic and closed categories, Rend. Sem. Mat. Fis. Univ. Milano,43 (1974), pp. 135–166.
G. Rosolini,Continuity and effectiveness in topoi, Dept. of Computer Science, Carnegie-Mellon Univ., Pittsburgh, Pennsylvania (1986).
R. F. C. Walters,Sheaves and Cauchy-complete categories, Cahiers Topologie Géom. Différentielle,22 (1981), pp. 282–286.
Author information
Authors and Affiliations
Additional information
Work partially supported by M.P.I. Research Projects.
Rights and permissions
About this article
Cite this article
Grandis, M. Cohesive categories and manifolds. Annali di Matematica pura ed applicata 157, 199–244 (1990). https://doi.org/10.1007/BF01765319
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01765319