home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / math / 17934 < prev    next >
Encoding:
Internet Message Format  |  1993-01-10  |  743 b 
  1. Xref: sparky sci.math:17934 sci.logic:2562
  2. Path: sparky!uunet!mcsun!sunic!lunic!eru.mt.luth.se!enterpoop.mit.edu!mintaka.lcs.mit.edu!zurich.ai.mit.edu!ara
  3. From: ara@zurich.ai.mit.edu (Allan Adler)
  4. Newsgroups: sci.math,sci.logic
  5. Subject: Product of sites
  6. Message-ID: <ARA.93Jan10125554@camelot.ai.mit.edu>
  7. Date: 10 Jan 93 17:55:54 GMT
  8. Sender: news@mintaka.lcs.mit.edu
  9. Distribution: sci
  10. Organization: M.I.T. Artificial Intelligence Lab.
  11. Lines: 9
  12.  
  13.  
  14. Does the category of sites have products and if so how does one construct them?
  15.  
  16. It follows from material I found in Johnstone's book Topos Theory
  17. that the category of Grothendieck toposes has products but I don't know
  18. if the same is true for sites in general.
  19.  
  20. Allan Adler
  21. ara@altdorf.ai.mit.edu
  22.