14 Feb
2008
14 Feb
'08
8:06 p.m.
Is there a cartesian closed concrete category which is small enough to write out explicitly? It would be helpful in learning about map objects, exponentiation, distributivity and etc. Can such a category be made with binary numbers for instance? Thanks, ... Peter E. http://carnot.yi.org/