Topology and logic as a source of algebra

Mac Lane, Saunders

doi:10.1090/S0002-9904-1976-13928-6

Topology and logic as a source of algebra
HTML articles powered by AMS MathViewer

by Saunders Mac Lane PDF

Bull. Amer. Math. Soc. 82 (1976), 1-40

References

Richard Arens, The adjoint of a bilinear operation, Proc. Amer. Math. Soc. 2 (1951), 839–848. MR 45941, DOI 10.1090/S0002-9939-1951-0045941-1
Richard Arens, Operations induced in function classes, Monatsh. Math. 55 (1951), 1–19. MR 44109, DOI 10.1007/BF01300644
Reinhold Baer, Erweiterung von Gruppen und ihren Isomorphismen, Math. Z. 38 (1934), no. 1, 375–416 (German). MR 1545456, DOI 10.1007/BF01170643
Michael Barr, Cohomology and obstructions: Commutative algebras, Sem. on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), Springer, Berlin, 1969, pp. 357–375. MR 0271192
Hyman Bass, Algebraic $K$-theory, W. A. Benjamin, Inc., New York-Amsterdam, 1968. MR 0249491
N. Bourbaki, Éléments de mathématique. XI. Première partie: Les structures fondamentales de l’analyse. Livre II: Algèbre. Chapitre IV: Polynomes et fractions rationnelles. Chapitre V: Corps commutatifs, Actualités Scientifiques et Industrielles [Current Scientific and Industrial Topics], No. 1102, Hermann & Cie, Paris, 1950 (French). MR 0035759
Henri Cartan and Samuel Eilenberg, Homological algebra, Princeton University Press, Princeton, N. J., 1956. MR 0077480
J. Duskin, $K(\pi ,\,n)$-torsors and the interpretation of “triple” cohomology, Proc. Nat. Acad. Sci. U.S.A. 71 (1974), 2554–2557. MR 340384, DOI 10.1073/pnas.71.6.2554
J. Duskin, Simplicial methods and the interpretation of “triple” cohomology, Mem. Amer. Math. Soc. 3 (1975), no. issue 2, 163, v+135. MR 393196, DOI 10.1090/memo/0163
Eldon Dyer and R. K. Lashof, Homology of iterated loop spaces, Amer. J. Math. 84 (1962), 35–88. MR 141112, DOI 10.2307/2372804
Beno Eckmann, Der Cohomologie-Ring einer beliebigen Gruppe, Comment. Math. Helv. 18 (1946), 232–282 (German). MR 17536, DOI 10.1007/BF02568113
Samuel Eilenberg, Singular homology theory, Ann. of Math. (2) 45 (1944), 407–447. MR 10970, DOI 10.2307/1969185
Samuel Eilenberg, Automata, languages, and machines. Vol. A, Pure and Applied Mathematics, Vol. 58, Academic Press [Harcourt Brace Jovanovich, Publishers], New York, 1974. MR 0530382
Samuel Eilenberg and G. M. Kelly, A generalization of the functorial calculus, J. Algebra 3 (1966), 366–375. MR 190204, DOI 10.1016/0021-8693(66)90006-8
Samuel Eilenberg and Saunders MacLane, Natural isomorphisms in group theory, Proc. Nat. Acad. Sci. U.S.A. 28 (1942), 537–543. MR 7421, DOI 10.1073/pnas.28.12.537
Samuel Eilenberg and Saunders MacLane, Relations between homology and homotopy groups, Proc. Nat. Acad. Sci. U.S.A. 29 (1943), 155–158. MR 7982, DOI 10.1073/pnas.29.5.155
Samuel Eilenberg and Saunders MacLane, General theory of natural equivalences, Trans. Amer. Math. Soc. 58 (1945), 231–294. MR 13131, DOI 10.1090/S0002-9947-1945-0013131-6
Samuel Eilenberg and Saunders MacLane, Relations between homology and homotopy groups of spaces, Ann. of Math. (2) 46 (1945), 480–509. MR 13312, DOI 10.2307/1969165
Samuel Eilenberg and Saunders MacLane, Relations between homology and homotopy groups of spaces. II, Ann. of Math. (2) 51 (1950), 514–533. MR 35435, DOI 10.2307/1969365
Samuel Eilenberg and Saunders Mac Lane, On the groups $H(\Pi ,n)$. I, Ann. of Math. (2) 58 (1953), 55–106. MR 56295, DOI 10.2307/1969820
Samuel Eilenberg and Saunders Mac Lane, On the groups $H(\Pi ,n)$. II. Methods of computation, Ann. of Math. (2) 60 (1954), 49–139. MR 65162, DOI 10.2307/1969702
Samuel Eilenberg and Saunders Mac Lane, On the groups $H(\Pi ,n)$. II. Methods of computation, Ann. of Math. (2) 60 (1954), 49–139. MR 65162, DOI 10.2307/1969702
Samuel Eilenberg and J. A. Zilber, Semi-simplicial complexes and singular homology, Ann. of Math. (2) 51 (1950), 499–513. MR 35434, DOI 10.2307/1969364
Calvin C. Elgot, Monadic computation and iterative algebraic theories, Logic Colloquium ’73 (Bristol, 1973) Studies in Logic and the Foundations of Mathematics, Vol. 80, North-Holland, Amsterdam, 1975, pp. 175–230. MR 0413584
D. B. A. Epstein, Functors between tensored categories, Invent. Math. 1 (1966), 221–228. MR 213412, DOI 10.1007/BF01452242
Hans Freudenthal, Der Einfluss der Fundamentalgruppe auf die Bettischen Gruppen, Ann. of Math. (2) 47 (1946), 274–316 (German). MR 17535, DOI 10.2307/1969247
Peter Freyd, Abelian categories. An introduction to the theory of functors, Harper’s Series in Modern Mathematics, Harper & Row, Publishers, New York, 1964. MR 0166240
Peter Freyd, Aspect of topoi, Bull. Austral. Math. Soc. 7 (1972), 1–76. MR 396714, DOI 10.1017/S0004972700044828
P. Gabriel and M. Zisman, Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35, Springer-Verlag New York, Inc., New York, 1967. MR 0210125, DOI 10.1007/978-3-642-85844-4
Murray Gerstenhaber, On the deformation of rings and algebras. II, Ann. of Math. 84 (1966), 1–19. MR 0207793, DOI 10.2307/1970528
S. I. Goldberg, Extensions of Lie algebras and the third cohomology group, Canad. J. Math. 5 (1953), 470–476. MR 57853, DOI 10.4153/cjm-1953-054-8
Monique Hakim, Topos annelés et schémas relatifs, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 64, Springer-Verlag, Berlin-New York, 1972 (French). MR 0364245, DOI 10.1007/978-3-662-59155-0
G. Hochschild, Cohomology classes of finite type and finite dimensional kernels for Lie algebras, Amer. J. Math. 76 (1954), 763–778. MR 65547, DOI 10.2307/2372650
G. Hochschild, Lie algebra kernels and cohomology, Amer. J. Math. 76 (1954), 698–716. MR 63362, DOI 10.2307/2372712
Heinz Hopf, Fundamentalgruppe und zweite Bettische Gruppe, Comment. Math. Helv. 14 (1942), 257–309 (German). MR 6510, DOI 10.1007/BF02565622
Heinz Hopf, Relations between the fundamental group and the second Betti group, Lectures in Topology, University of Michigan Press, Ann Arbor, Mich., 1941, pp. 315–316. MR 0005315
Heinz Hopf, Nachtrag zu der Arbeit Fundamentalgruppe und zweite Bettische Gruppe, Comment. Math. Helv. 15 (1943), 27–32 (German). MR 7646, DOI 10.1007/BF02565629
Heinz Hopf, Über die Bettischen Gruppen, die zu einer beliebigen Gruppe gehören, Comment. Math. Helv. 17 (1945), 39–79 (German). MR 12229, DOI 10.1007/BF02566234
Daniel M. Kan, Adjoint functors, Trans. Amer. Math. Soc. 87 (1958), 294–329. MR 131451, DOI 10.1090/S0002-9947-1958-0131451-0
Daniel M. Kan, A combinatorial definition of homotopy groups, Ann. of Math. (2) 67 (1958), 282–312. MR 111032, DOI 10.2307/1970006
G. M. Kelly, On MacLane’s conditions for coherence of natural associativities, commutativities, etc, J. Algebra 1 (1964), 397–402. MR 182649, DOI 10.1016/0021-8693(64)90018-3
G. M. Kelly and S. Mac Lane, Coherence in closed categories, J. Pure Appl. Algebra 1 (1971), no. 1, 97–140. MR 283045, DOI 10.1016/0022-4049(71)90013-2
G. M. Kelly and Saunders MacLane, Closed coherence for a natural transformation, Coherence in categories, Lecture Notes in Math., Vol. 281, Springer, Berlin, 1972, pp. 1–28. MR 0374237
A. Kock and G. C. Wraith, Elementary toposes, Lecture Notes Series, No. 30, Aarhus Universitet, Matematisk Institut, Aarhus, 1971. MR 0342578
Joachim Lambek, Deductive systems and categories. I. Syntactic calculus and residuated categories, Math. Systems Theory 2 (1968), 287–318. MR 235979, DOI 10.1007/BF01703261
Joachim Lambek, Deductive systems and categories. II. Standard constructions and closed categories, Category Theory, Homology Theory and their Applications, I (Battelle Institute Conference, Seattle, Wash., 1968, Vol. One), Springer, Berlin, 1969, pp. 76–122. MR 0242637
Klaus Lamotke, Semisimpliziale algebraische Topologie, Die Grundlehren der mathematischen Wissenschaften, Band 147, Springer-Verlag, Berlin-New York, 1968 (German). MR 0245005, DOI 10.1007/978-3-662-12988-3
F. William Lawvere, Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 869–872. MR 158921, DOI 10.1073/pnas.50.5.869
F. William Lawvere, An elementary theory of the category of sets, Proc. Nat. Acad. Sci. U.S.A. 52 (1964), 1506–1511. MR 172807, DOI 10.1073/pnas.52.6.1506
F. William Lawvere, Introduction, Toposes, algebraic geometry and logic (Conf., Dalhousie Univ., Halifax, N.S., 1971) Lecture Notes in Math., Vol. 274, Springer, Berlin, 1972, pp. 1–12. MR 0376798
Saunders MacLane, Some Interpretations of Abstract Linear Dependence in Terms of Projective Geometry, Amer. J. Math. 58 (1936), no. 1, 236–240. MR 1507146, DOI 10.2307/2371070
Saunders Mac Lane, A lattice formulation for transcendence degrees and $p$-bases, Duke Math. J. 4 (1938), no. 3, 455–468. MR 1546067, DOI 10.1215/S0012-7094-38-00438-7
Saunders Mac Lane, The uniqueness of the power series representation of certain fields with valuations, Ann. of Math. (2) 39 (1938), no. 2, 370–382. MR 1503414, DOI 10.2307/1968793
Saunders Mac Lane, Modular fields. I. Separating transcendence bases, Duke Math. J. 5 (1939), no. 2, 372–393. MR 1546131, DOI 10.1215/S0012-7094-39-00532-6
Saunders MacLane, Steinitz field towers for modular fields, Trans. Amer. Math. Soc. 46 (1939), 23–45. MR 17, DOI 10.1090/S0002-9947-1939-0000017-3
Saunders Mac Lane, Subfields and automorphism groups of $p$-adic fields, Ann. of Math. (2) 40 (1939), no. 2, 423–442. MR 1503470, DOI 10.2307/1968931
Saunders MacLane, Note on the relative structure of $p$-adic fields, Ann. of Math. (2) 41 (1940), 751–753. MR 2860, DOI 10.2307/1968854
Saunders MacLane, Modular fields, Amer. Math. Monthly 47 (1940), 259–274. MR 1969, DOI 10.2307/2302685
Saunders MacLane, The homology products in $K(\Pi ,n)$, Proc. Amer. Math. Soc. 5 (1954), 642–651. MR 63674, DOI 10.1090/S0002-9939-1954-0063674-5
Saunders Mac Lane, Extensions and obstructions for rings, Illinois J. Math. 2 (1958), 316–345. MR 98773
S. Mac Lane, Locally small categories and the foundations of set theory, Infinitistic Methods (Proc. Sympos. Foundations of Math., Warsaw, 1959), Pergamon, Oxford; Państwowe Wydawnictwo Naukowe, Warsaw, 1961, pp. 25–43. MR 0191941
Saunders Mac Lane, Homology, Die Grundlehren der mathematischen Wissenschaften, Band 114, Academic Press, Inc., Publishers, New York; Springer-Verlag, Berlin-Göttingen-Heidelberg, 1963. MR 0156879, DOI 10.1007/978-3-642-62029-4
Studies in modern algebra, Studies in Mathematics, Vol. 2, Mathematical Association of America; distributed by Prentice-Hall, Inc., Englewood Cliffs, N.J., 1963. MR 0146228
Saunders Mac Lane, Natural associativity and commutativity, Rice Univ. Stud. 49 (1963), no. 4, 28–46. MR 170925
Reports of the Midwest Category Seminar. IV, Lecture Notes in Mathematics, Vol. 137, Springer-Verlag, Berlin-New York, 1970. Edited by S. MacLane. MR 0263888
Saunders Mac Lane, The Milgram bar construction as a tensor product of functors, The Steenrod Algebra and its Applications (Proc. Conf. to Celebrate N. E. Steenrod’s Sixtieth Birthday, Battelle Memorial Inst., Columbus, Ohio, 1970) Lecture Notes in Mathematics, Vol. 168, Springer, Berlin, 1970, pp. 135–152. MR 0273618
Saunders MacLane, Categories for the working mathematician, Graduate Texts in Mathematics, Vol. 5, Springer-Verlag, New York-Berlin, 1971. MR 0354798
Saunders MacLane, Sets, topoi, and internal logic in categories, Logic Colloquium ’73 (Bristol, 1973) Studies in Logic and the Foundations of Mathematics, Vol. 80, North-Holland, Amsterdam, 1975, pp. 119–134. MR 0384545
Saunders MacLane and O. F. G. Schilling, Normal algebraic number fields, Trans. Amer. Math. Soc. 50 (1941), 295–384. MR 5108, DOI 10.1090/S0002-9947-1941-0005108-8
F. K. Schmidt and Saunders MacLane, The generation of inseparable fields, Proc. Nat. Acad. Sci. U.S.A. 27 (1941), 583–587. MR 6153, DOI 10.1073/pnas.27.12.583
Ernest G. Manes, Algebraic theories, Graduate Texts in Mathematics, No. 26, Springer-Verlag, New York-Heidelberg, 1976. MR 0419557, DOI 10.1007/978-1-4612-9860-1
J. Peter May, Simplicial objects in algebraic topology, Van Nostrand Mathematical Studies, No. 11, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, 1967. MR 0222892
R. James Milgram, The bar construction and abelian $H$-spaces, Illinois J. Math. 11 (1967), 242–250. MR 208595
Mitsuya Mori, On the three-dimensional cohomology group of Lie algebras, J. Math. Soc. Japan 5 (1953), 171–183. MR 57854, DOI 10.2969/jmsj/00520171
Daniel G. Quillen, Homotopical algebra, Lecture Notes in Mathematics, No. 43, Springer-Verlag, Berlin-New York, 1967. MR 0223432, DOI 10.1007/BFb0097438
Daniel Quillen, On the cohomology and $K$-theory of the general linear groups over a finite field, Ann. of Math. (2) 96 (1972), 552–586. MR 315016, DOI 10.2307/1970825
Neantro Saavedra Rivano, Catégories Tannakiennes, Lecture Notes in Mathematics, Vol. 265, Springer-Verlag, Berlin-New York, 1972 (French). MR 0338002
M. Rothenberg and N. E. Steenrod, The cohomology of classifying spaces of $H$-spaces, Bull. Amer. Math. Soc. 71 (1965), 872–875. MR 208596, DOI 10.1090/S0002-9904-1965-11420-3
Jean-Pierre Serre, Cohomologie galoisienne, Lecture Notes in Mathematics, vol. 5, Springer-Verlag, Berlin-Heidelberg-New York, 1962/1963 (French). Cours au Collège de France, 1962-1963; Seconde édition; With a contribution by Jean-Louis Verdier. MR 0180551
Umeshachandra Shukla, Cohomologie des algèbres associatives, Ann. Sci. École Norm. Sup. (3) 78 (1961), 163–209 (French). MR 0132769, DOI 10.24033/asens.1100
James Dillon Stasheff, Homotopy associativity of $H$-spaces. I, II, Trans. Amer. Math. Soc. 108 (1963), 275-292; ibid. 108 (1963), 293–312. MR 0158400, DOI 10.1090/S0002-9947-1963-0158400-5
N. E. Steenrod, Milgram’s classifying space of a topological group, Topology 7 (1968), 349–368. MR 233353, DOI 10.1016/0040-9383(68)90012-8
John Tate, The higher dimensional cohomology groups of class field theory, Ann. of Math. (2) 56 (1952), 294–297. MR 49950, DOI 10.2307/1969801
Rodiani Voreadou, A coherence theorem for biclosed categories, Eleutheria (1978), 103–150. MR 622637
André Weil, Foundations of Algebraic Geometry, American Mathematical Society Colloquium Publications, Vol. 29, American Mathematical Society, New York, 1946. MR 0023093, DOI 10.1090/coll/029
J. H. C. Whitehead, A certain exact sequence, Ann. of Math. (2) 52 (1950), 51–110. MR 35997, DOI 10.2307/1969511
Hassler Whitney, On the Abstract Properties of Linear Dependence, Amer. J. Math. 57 (1935), no. 3, 509–533. MR 1507091, DOI 10.2307/2371182
Hassler Whitney, The maps of an $n$-complex into an $n$-sphere, Duke Math. J. 3 (1937), no. 1, 51–55. MR 1545972, DOI 10.1215/S0012-7094-37-00306-5
Hassler Whitney, Tensor products of Abelian groups, Duke Math. J. 4 (1938), no. 3, 495–528. MR 1546071, DOI 10.1215/S0012-7094-38-00442-9