home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / math / 14698 < prev    next >
Encoding:
Text File  |  1992-11-09  |  1.2 KB  |  27 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!pratt
  3. From: pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt)
  4. Subject: Re: What is a knot?
  5. Message-ID: <1992Nov10.055104.25395@CSD-NewsHost.Stanford.EDU>
  6. Sender: news@CSD-NewsHost.Stanford.EDU
  7. Organization: Computer Science Department,  Stanford University.
  8. References: <1992Nov7.212557.24399@galois.mit.edu> <COLUMBUS.92Nov9100248@strident.think.com> <1992Nov10.033122.10598@galois.mit.edu>
  9. Date: Tue, 10 Nov 1992 05:51:04 GMT
  10. Lines: 15
  11.  
  12. In article <1992Nov10.033122.10598@galois.mit.edu> jbaez@riesz.mit.edu (John C. Baez) writes:
  13. >Perhaps they weren't very well educated.  Actually this is the sort of
  14. >thing I hoped Pratt would bounce back with when I teased him about folks
  15. >who can't tie their shoelaces until it is explained in
  16. >category-theoretic terms.
  17.  
  18. I couldn't tie my shoe-laces until the back-and-forth argument was
  19. explained to me.  :-)
  20.  
  21. Two trivia concerning this post: (i) A-->B *is* a concrete category
  22. (one from which there exists a faithful functor to Set); (ii) (rather
  23. more work) it is the only category with that many or fewer arrows
  24. containing such a noniso.  (The one-object case is the hard part.)
  25. -- 
  26. Vaughan Pratt
  27.