Talk:Chu space
From Wikipedia, the free encyclopedia
[deleted copy of the original article that I placed here inadvertently] --Vaughan Pratt 22:45, 17 July 2007 (UTC)
[edit] Oops
- JA: Sorry, didn't know you were still working on it, will hold off formatting till tomorrow or Monday. Jon Awbrey 05:32, 12 March 2006 (UTC)
[edit] On 2
- JA: It might help to bold the "2" when it's used as the name of a domain. Jon Awbrey 17:34, 12 March 2006 (UTC)
It's only used as the name of a set here, namely 2 = {0,1}. Is bold the appropriate way to indicate a set? (I'm fine with bold for categories, e.g. Set.) --Vaughan Pratt 22:50, 17 July 2007 (UTC)
[edit] Universality
Out of curiosity, does the proof that every small concrete category is realized in Chu(Set, K) for some set K generalize to showing that every (possibly large) concrete category is realized in Chu(Set, Set)? (I hope what I'm asking makes sense...) -Chinju (talk) 20:21, 20 January 2008 (UTC)
