Finn Lawler References (Rev #7)

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.
  • Le Creurer, I. J., Marmolejo, F. and Vitale, E. M. Beck’s theorem for pseudomonads. JPAA 173(3):293–313, 2002.
  • 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 March 1, 2012 at 07:19:22 by Finn Lawler?. See the history of this page for a list of all contributions to it.