SUO: Re: Re: Powers That B
The complete Benabou reference is: [Benabou J. (1985). "Fibered categories
and the foundations of naive category theory". Journal of Symbolic Logic 50,
10-37].
Robert E. Kent
rekent@ontologos.org
----- Original Message -----
From: "Robert E. Kent" <rekent@ontologos.org>
To: "Jon Awbrey" <jawbrey@oakland.edu>
Cc: "SUO" <standard-upper-ontology@ieee.org>
Sent: Monday, May 07, 2001 9:58 AM
Subject: SUO: Re: Powers That B
<snip>
> foundational approach described in Benabou's theory of fibrations and
> definability [Benabou J. (1985). "Fibered categories and the foundations].