Categories for the Working Mathematician
Citations
7,310 citations
5,390 citations
4,032 citations
[...]
2,203 citations
Cites background or methods from "Categories for the Working Mathemat..."
...We note that the correspondence X → π0(X) can actually be viewed as a functor (see [44]) from the category of topological spaces to the category of sets, in the sense that a continuous map f : X → Y induces a map of sets π0(f) : π0(X)→ π0(Y ), satisfying certain obvious conditions on composite maps and identity maps....
[...]
...We refer the reader to [44] for a treatment of categories and functors....
[...]
...Again, refer to [44] for material on categories, functors, and natural transformations....
[...]
1,897 citations
Cites background from "Categories for the Working Mathemat..."
...For a proof of this result, and its generalization to TorR n (A, B) for arbitrary rings R, see Mac Lane, Homology, pp. 150–159 and Mac Lane, “Slide and torsion products for modules,” Rendiconti del Sem. Mat. 15 (1955), 281–309....
[...]
...For a more complete discussion, see Mac Lane, Categories for the Working Mathematician, pp. 21–24, Douady– Douady, Algèbre et Théories Galoisiennes, pp. 24–25, and Herrlich–Strecker, Category Theory, Chapter II and the Appendix....
[...]
...123 Joseph J. Rotman Department of Mathematics University of Illinois at Urbana-Champaign Urbana IL 61801 USA rotman@math.uiuc.edu Editorial board: Sheldon Axler, San Francisco State University Vincenzo Capasso, Università degli Studi di Milano Carles Casacuberta, Universitat de Barcelona Angus MacIntyre, Queen Mary, University of London Kenneth Ribet, University of California, Berkeley Claude Sabbah, CNRS, École Polytechnique Endre Süli, University of Oxford Wojbor Woyczynski, Case Western Reserve University ISBN: 978-0-387-24527-0 e-ISBN: 978-0-387-68324-9 DOI 10.1007/978-0-387-68324-9 Library of Congress Control Number: 2008936123 Mathematics Subject Classification (2000): 18-01 c© Springer Science+Business Media, LLC 2009 All rights reserved....
[...]
...The Adjoint Functor Theorem says that a functor G on an arbitrary category has a left adjoint [that is, there exists a functor F so that (F, G) is an adjoint pair] if and only if G preserves inverse limits and G satisfies a “solution set condition” [Mac Lane, Categories for the Working Mathematician, pp. 116–127 and 230]. One consequence is a proof of the existence of free objects when a forgetful functor has a left adjoint; see M. Barr, “The existence of free groups,” Amer. Math. Monthly, 79 (1972), 364–367....
[...]
...9The term functor was coined by the philosopher R. Carnap, and S. Mac Lane thought it was the appropriate term in this context....
[...]