23 Apr
2017
23 Apr
'17
8:52 a.m.
Peter's argument also shows that a topos E has copowers of 1 already if Fam(E) is cartesian closed. Thus, we have also examples of fibrations of ccc's over a topos whose total category is not even cc. Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]