From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1546 Path: news.gmane.org!not-for-mail From: "Robert A.G. Seely" Newsgroups: gmane.science.mathematics.categories Subject: Re: Three questions about fibrations Date: Fri, 16 Jun 2000 00:43:33 -0400 (EDT) Message-ID: References: <217F6DFA440ED111ACDA00A0C906B00601AAE1F6@arsenic.rcp.co.uk> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241017914 31735 80.91.229.2 (29 Apr 2009 15:11:54 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:11:54 +0000 (UTC) To: "categories@mta.ca" Original-X-From: rrosebru@mta.ca Fri Jun 16 10:09:25 2000 -0300 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id KAA07378 for categories-list; Fri, 16 Jun 2000 10:08:07 -0300 (ADT) X-Authentication-Warning: triples.math.mcgill.ca: rags owned process doing -bs In-Reply-To: <217F6DFA440ED111ACDA00A0C906B00601AAE1F6@arsenic.rcp.co.uk> Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 21 Xref: news.gmane.org gmane.science.mathematics.categories:1546 Archived-At: 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