Wednesday, 29 November 2006

ct.category theory - internal version of a flat functor?

I'm working out of Sheaves in geometry and logic, for reference.



There is a characterisation of flat functors A:CtoSet as those such that the Grothendieck construction intCA is a filtering category. There are more general versions of this result, in which Set is replaced by a more general topos. One should also be able to characterise those discrete opfibrations that arise from flat functors (up to iso/equiv?). How about if we replace C by an internal category, in a topos E say? Then functors out of C are replaced by discrete opfibrations over C in E.



My question is this:




What sort of thing should be considered as the analogue of a flat functor in the internal setting?


No comments:

Post a Comment