Dear Steve and Jean On 23 Jul 2014, at 12:55 am, Steve Vickers <s.j.vickers@cs.bham.ac.uk> wrote:

In Cat every 0-fibration is normal,

This statement in SLNM420 is false (since in that paper 0-fibration means existence of a pseudo-L-algebra structure). I must have temporarily believed it when I wrote it. I was using ``normal’’ to mean strict unit condition. Grothendieck fibrations with chosen cleavage are the normal pseudo-L-algebras. I apologize profusely for confusion caused. Ross [For admin and other information see: http://www.mta.ca/~cat-dist/ ]