Re: Triquotient assignments for geometric morphisms

Hi Christopher & Steve, thanks for your replies. The version I need is the generalisation of open & proper morphisms (i.e. some kind of map f_*\Omega_F -> \Omega_E) rather than the generalisation of locally connected & tidy morphisms (some kind of functor F -> E). As Steve says, I think the results I want follow from the stability of the hyperconnected-localic factorisation, but I was hoping someone had written out the details in the style of sections C3.1 & C3.2 of the Elephant. Looks like I'll have to do it myself. Barney. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]