MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In the book "Topos Theory" of Peter Johnstone (Topos Theory, LMS Monographs no. 10. Academic, 1977) can read at 0page 41 in Chapter 2:

"For a detaled account of internal categories from a 2-Categorical point of view, the reader is Referred to the monumental work of JW Gray [168]"

The work of J.W. Gray has to be very important and significant (in those years was one of the great masters of the theory of categories) as well known and whose output is only the first part in Formal Category Theory: Adjointness for 2-Categories. Series: Lecture Notes in Mathematics, Vol 391.

Does anyone have news of such notes of J.W. Gray? Of course I would like read these.

share|cite|improve this question
For everyone else: reference [168] from Johnstone is "Formal category theory II, To appear". @Buschi My advice is to look at work by Street, Kelly and Lack. I don't have proper references at the moment, I'm afraid. 'Tis late and I've got to get up early for prezzies :) At least look at Fibrations in bicategories by Street: – David Roberts Dec 24 '10 at 11:20
Why don't you write Gray? His information is at – Todd Trimble Dec 24 '10 at 11:59

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.