Finn Lawler References (Rev #5)

References

  • Carboni, A., Kelly, G. M., Verity, D. and Wood, R. J. A 2-categorical approach to change of base and geometric morphisms II. TAC 4(5), 1998.
  • Jacobs, B. Categorical Logic and Type Theory, Elsevier 1999.
  • Johnstone, P. T. Sketches of an Elephant: A Topos Theory Compendium, OUP 2002.
  • Grandis, M. and Paré, R. Limits in double categories. Cahiers 40(3), 1999.
  • Grandis, M. and Paré, R. Adjoint [sic] for double categories. Cahiers 45(3), 2004.
  • Pavlovic, D. Maps II: Chasing diagrams in categorical proof theory. Logic Journal of the IGPL, 4(2), 1996.
  • Prawitz, D. Natural Deduction: A Proof-Theoretical Study. Almqvist & Wiksell, 1965.
  • Seely, R. A. G. Hyperdoctrines, natural deduction and the Beck condition. Zeitschr. f. math. Logik und Grundlagen der Math., 29:505–542, 1983. (PDF).
  • Shulman, M. Framed bicategories and monoidal fibrations. TAC 20(18), 2008.
  • Wood, R.J. Abstract proarrows I. Cahiers 23(3), 1982.

Abbreviations

Cahiers
Cahiers de topologie et géométrie différentielle catégoriques
TAC
Theory and Applications of Categories

Revision on May 13, 2011 at 12:09:47 by Finn Lawler?. See the history of this page for a list of all contributions to it.