16 Apr
2017
16 Apr
'17
10:31 a.m.
As follows from Ross Street's argument a fibration between ccc's may be cartesian closed even if it is not a fibration of cartesian closed categories (instantiating K by Set). Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]