home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / math / 17952 < prev    next >
Encoding:
Text File  |  1993-01-10  |  1.3 KB  |  31 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!enterpoop.mit.edu!mintaka.lcs.mit.edu!zurich.ai.mit.edu!ara
  3. From: ara@zurich.ai.mit.edu (Allan Adler)
  4. Subject: Re: Euclidean domains
  5. In-Reply-To: steele@isis.cgd.ucar.edu's message of 11 Jan 93 00:53:20 GMT
  6. Message-ID: <ARA.93Jan10233811@camelot.ai.mit.edu>
  7. Sender: news@mintaka.lcs.mit.edu
  8. Organization: M.I.T. Artificial Intelligence Lab.
  9. References: <1993Jan11.005320.18929@ncar.ucar.edu>
  10. Date: Mon, 11 Jan 1993 04:38:11 GMT
  11. Lines: 18
  12.  
  13.  
  14. Alfred Steele mentions that not everything in Hungerford's Algebra  is
  15. correct. This, of course, is true of many books. One thing that I didn't
  16. like about Hungerford's books was that he claims to give adequate
  17. foundations for category theory. But I don't believe that is accurate,
  18. since my recollection is that he never talks about the category of
  19. functors from one category to another and I am not convinced that
  20. the foundations he does give (basically, let the objects form a class in
  21. Godel-von Neumann-Bernays set theory) are adequate for constructing
  22. such categories of functors.
  23.  
  24. Developing category theory without functor categories and saying one is
  25. thereby giving foundations for category theory is like taking the doctor's
  26. advice when you tell him it hurts when you move your arm and he tells
  27. you, "So don't move your arm..."
  28.  
  29. Allan Adler
  30. ara@altdorf.ai.mit.edu
  31.