Re: Three questions about fibrations

On Thu, 15 Jun 2000, Michael Abbott wrote:

I am wondering if anyone can give references for three remarks Wesley Phoa makes in the chapter on fibrations of his paper "An introduction to fibrations, topos theory, the effective topos and modest sets".

At this point, I think your best bet is to get a copy of Bart Jacobs excellent book "Categorical Logic and Type Theory" - which (in spite of its title?) is all about fibrations (and logic and type theory - actually I think it is well-titled, though you might not have guessed it was what you needed from the title). (There is a review of this book on my web page, link below.) -= rags =- ================== R.A.G. Seely <rags@math.mcgill.ca> <http://www.math.mcgill.ca/rags>