Finn Lawler References (Rev #6)

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.
  • Kelly, G. M. Basic Concepts of Enriched Category Theory. TAC Reprints, 2005.
  • 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
TAC Reprints
Reprints in Theory and Applications of Categories

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