23 Oct
2018
23 Oct
'18
8:56 a.m.
Dear Richard, thanks for your answer. Offline I have received a reply by Jonas Frey which answers my question satisfactorily. Let U be a Groth. universe then Lex(U,Set) consists of filtered/directed colimits of representables. Accordingly, Lex(U,U) is equivalent to the full subcat of Set^U on U-small directed colimits of representables. But that sounds related to what Blass says, isn't it. Best, Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]