Indexed Categories and Their Applications

by P.I. Johnstone, R. Pare, R.D. Rosebrugh, D. Schumacher, R.J. Wood, and G.C. Wraith