Topos based homology theory

M. V. Mielke

Commentationes Mathematicae Universitatis Carolinae (1993)

  • Volume: 34, Issue: 3, page 549-565
  • ISSN: 0010-2628

Abstract

top
In this paper we extend the Eilenberg-Steenrod axiomatic description of a homology theory from the category of topological spaces to an arbitrary category and, in particular, to a topos. Implicit in this extension is an extension of the notions of homotopy and excision. A general discussion of such homotopy and excision structures on a category is given along with several examples including the interval based homotopies and, for toposes, the excisions represented by “cutting out” subobjects. The existence of homology theories on toposes depends upon their internal logic. It is shown, for example, that all “reasonable” homology theories on a topos in which De Morgan’s law holds are trivial. To obtain examples on non-trivial homology theories we consider singular homology based on a cosimplicial object. For toposes singular homology satisfies all the axioms except, possibly, excision. We introduce a notion of “tightness” and show that singular homology based on a sufficiently tight cosimplicial object satisfies the excision axiom. Characterizations of various types of tight cosimplicial objects in the functor topos Sets C are given and, as a result, a general method for constructing non-trivial homology theories is obtained. We conclude with several explicit examples.

How to cite

top

Mielke, M. V.. "Topos based homology theory." Commentationes Mathematicae Universitatis Carolinae 34.3 (1993): 549-565. <http://eudml.org/doc/247518>.

@article{Mielke1993,
abstract = {In this paper we extend the Eilenberg-Steenrod axiomatic description of a homology theory from the category of topological spaces to an arbitrary category and, in particular, to a topos. Implicit in this extension is an extension of the notions of homotopy and excision. A general discussion of such homotopy and excision structures on a category is given along with several examples including the interval based homotopies and, for toposes, the excisions represented by “cutting out” subobjects. The existence of homology theories on toposes depends upon their internal logic. It is shown, for example, that all “reasonable” homology theories on a topos in which De Morgan’s law holds are trivial. To obtain examples on non-trivial homology theories we consider singular homology based on a cosimplicial object. For toposes singular homology satisfies all the axioms except, possibly, excision. We introduce a notion of “tightness” and show that singular homology based on a sufficiently tight cosimplicial object satisfies the excision axiom. Characterizations of various types of tight cosimplicial objects in the functor topos $\text\{\rm Sets\}^C$ are given and, as a result, a general method for constructing non-trivial homology theories is obtained. We conclude with several explicit examples.},
author = {Mielke, M. V.},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {singular homology; homotopy; excision; topos; interval; homology theory; topos; homotopy; excision; singular homology},
language = {eng},
number = {3},
pages = {549-565},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Topos based homology theory},
url = {http://eudml.org/doc/247518},
volume = {34},
year = {1993},
}

TY - JOUR
AU - Mielke, M. V.
TI - Topos based homology theory
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1993
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 34
IS - 3
SP - 549
EP - 565
AB - In this paper we extend the Eilenberg-Steenrod axiomatic description of a homology theory from the category of topological spaces to an arbitrary category and, in particular, to a topos. Implicit in this extension is an extension of the notions of homotopy and excision. A general discussion of such homotopy and excision structures on a category is given along with several examples including the interval based homotopies and, for toposes, the excisions represented by “cutting out” subobjects. The existence of homology theories on toposes depends upon their internal logic. It is shown, for example, that all “reasonable” homology theories on a topos in which De Morgan’s law holds are trivial. To obtain examples on non-trivial homology theories we consider singular homology based on a cosimplicial object. For toposes singular homology satisfies all the axioms except, possibly, excision. We introduce a notion of “tightness” and show that singular homology based on a sufficiently tight cosimplicial object satisfies the excision axiom. Characterizations of various types of tight cosimplicial objects in the functor topos $\text{\rm Sets}^C$ are given and, as a result, a general method for constructing non-trivial homology theories is obtained. We conclude with several explicit examples.
LA - eng
KW - singular homology; homotopy; excision; topos; interval; homology theory; topos; homotopy; excision; singular homology
UR - http://eudml.org/doc/247518
ER -

References

top
  1. Artin E., Braun H., Introduction to algebraic topology, Merrill Publ., Columbus, Ohio, 1969. Zbl0181.51201MR0247624
  2. Bing R.H., A connected, countable, Hausdorff space, Proceedings of A.M.S., Vol. 4, No. 3, 1953, p. 474. Zbl0051.13902MR0060806
  3. Dold A., Lectures on algebraic topology, Band 200, Springer Verlag, 1980. Zbl0872.55001MR0606196
  4. Dugundji J., Topology, Allyn and Bacon, Inc., Boston, 1966. Zbl0397.54003MR0193606
  5. Duskin J., Simplicial methods and the interpretation of ``triple'' cohomology, Memoirs of the A.M.S., Vol. 3, Issue 2, No. 163, 1975. Zbl0376.18011MR0393196
  6. Eilenberg S., Steenrod N., Foundations of algebraic topology, Princeton University Press, Princeton, N.J., 1952. Zbl0047.41402MR0050886
  7. Gabriel P., Zisman M., Calculus of fractions and homotopy theory, Springer-Verlag, New York, 1967. Zbl0231.55001MR0210125
  8. Greenberg M.J., Harper J.R., Algebraic topology, Benjamin/Cummings Publ. Co., Reading, Mass., 1981. Zbl0498.55001MR0643101
  9. Grothendieck A., Eléments de géométrie algébrique, I.H.E.S. Publications mathématiques, No. 4, 1960. Zbl0203.23301
  10. Herrlich H., Topological functors, General Topology and Appl. 4 (1974), 125-142. (1974) Zbl0288.54003MR0343226
  11. Hu S.T., Homology theory, Holden-Day, Inc., San Francisco, 1966. MR0217786
  12. Johnstone P.T., Topos theory, L.M.S. Math Monograph, No. 10, Academic Press, 1977. Zbl1071.18002MR0470019
  13. Johnstone P.T., Conditions related to De Morgan's law, in: Applications of Sheaves, Springer Lecture Notes, No. 753, 1979, pp. 47l9-491. Zbl0445.03041MR0555556
  14. Johnstone P.T., Another condition equivalent to De Morgan's law, Communications in Algebra 7 (1979), 1309-1312. (1979) Zbl0417.18002MR0538331
  15. Johnstone P.T., On a topological topos, Proc. London Math. Soc. 38 (1979), 237-271. (1979) Zbl0402.18006MR0531162
  16. Lamotke K., Semisimpliziale algebraische Topologie, (Die Grundlehren der mathematischen Wissenschaften) Vol. 147, Springer-Verlag, Berlin and New York, 1968. Zbl0188.28301MR0245005
  17. MacLane S., Homology, Academic Press, New York, and Springer-Verlag, Berlin and New York, 1963. Zbl0149.26203MR0156879
  18. MacLane S., Categories for working mathematician, Springer-Verlag, New York, Heidelberg, Berlin, 1971. MR0354798
  19. May J.P., Simplicial objects in algebraic topology, Van Nostrand Math. Studies, No. 11, Van Nostrand, New York, 1967. Zbl0769.55001MR0222892
  20. Mielke M.V., The interval in algebraic topology, Ill. J. Math. 25 (1981), 1-62. (1981) Zbl0425.55010MR0602895
  21. Mielke M.V., Exact intervals, Ill. J. Math. 25 (1981), 593-597. (1981) Zbl0444.55017MR0630836
  22. Mielke M.V., Convenient categories for internal singular algebraic topology, Ill. J. Math. 27 (1983), 519-534. (1983) Zbl0496.55006MR0698313
  23. Mielke M.V., Homotopically trivial toposes, Pacific J. of Math. 110 (1984), 171-182. (1984) Zbl0488.55015MR0722748
  24. Pare R., Schumacher D., Abstract families and the adjoint functor theorems, Springer Lecture Notes in Math. 661, 1978. Zbl0389.18002MR0514193
  25. Spanier E.H., Algebraic topology, McGraw-Hill, New York, 1966. Zbl0810.55001MR0210112
  26. Switzer R.M., Algebraic topology - homotopy and homology, Band 212, Springer-Verlag, Berlin and New York, 1975. Zbl0629.55001MR0385836
  27. Vick J.W., Homology theory, Academic Press, New York, 1973. Zbl0789.55004MR0375279
  28. Wallace A.H., Algebraic topology, Pergamon Press, Oxford, 1961. Zbl1121.55002
  29. Wyler O., Are there topoi in topology, Springer Lecture Notes in Math. 540 (1975), 700-719. Zbl0354.54001MR0458346

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.