Baez, J.C. and Dolan, J. Higher dimensional algebra and topological quantum field theory. Journal of Mathematical Physics 36(1995), no. 11, 6073-6105.Google Scholar

Baez, J.C. and Dolan, J. n-Categories - Sketch of a Definition. Letter to Ross Street, Nov. 29, 1995; corrected version as of Dec. 3, 1995.

Barr, M. Respresentations of categories. J. Pure and Applied Algebra 41 (1986), 113-137.Google Scholar

Barwise, J. Back and forth thru infinitary logic. In: Studies in Model Theory, ed. Morley, M.D. MAA Studies in Mathematics, Vol. 8. The Mathematical Association of America, 1973; pp. 5-34.

[Be] Benabou, J. Introduction to bicategories. In: Lecture Notes in Math., no. 47, Springer Verlag, 1967; pp. 1-77.

[Benl] Benaceraff, P. What numbers could not be. Philosophical Review 74 (1965), 47-73.Google Scholar

[Ben2] Benaceraff, P. Mathematical truth. The Journal of Philosophy LXX, no. 19, 1973, 661-675.Google Scholar

[B1] Blanc, G. Equivalence naturelle et formules logiques en theorie des categories. Archiv. math. Logik 19 (1978), 131-137.Google Scholar

[C] Cartmell, J. Generalised algebraic theories and contextual categories. Annals of Pure and Applied Logic 32 (1986), 209-243.Google Scholar

[CK] Chang, C.C. and Keisler, H.J. Model Theory. Third edition, North-Holland, 1990.

[Co] Coste, M. Localisation, spectra and sheaf representation. In: Applications of sheaves, Lecture Notes in Math., no. 753, Springer Verlag, 1979; pp. 212-238.

[D] Diaconescu, R. Axiom of choice and complementation. Proc. Amer. Math. Soc. 51 (1975), 176-178.Google Scholar

[F] Freyd, P. Properties invariant within equivalence types of categories. In: Algebra, Topology and Category Theories, ed. Heller, A. and Tierney, M. Academic Press, New York, 1976; pp. 55-61.

[FS] Freyd, P.J. and Scedrov, A. Categories, Allegories. North-Holland, 1990.

GPS] Gordon, R. Power, A.J. and Street, R. Coherence for tricategories. Memoirs Amer. Math. Soc. 117(1995), no. 558.Google Scholar

[Gr] Grothendieck, A. Expose VI, Revetements Etales et Groupe Fondamental ; SGA1. Lecture Notes in Mathematics 224, Springer-Verlag, 1971; pp. 145-194.

[H] Hallett, M. Cantorian Set Theory and Limitation of Size. Oxford University Press, 1984.

[J] Johnstone, P.T. Topos Theory. Academic Press, 1977.

[K1] Kelly, G.M. Complete functors in homology I. Chain maps and endomor-phisms. Proc. Cambridge Phil. Soc. 60 (1964), 721-735.Google Scholar

[K2] Kelly, G.M. Basic Concepts of Enriched Category Theory. London Math. Soc. Lecture Notes Series 64, Cambridge University Press, 1982.

[LS] Lambek, J. and Scott, P. Introduction to Higher Order Categorical Logic. Cambridge University Press, 1986.

[ML] Mac Lane, S. Categories for the Working Mathematician. Springer-Verlag, 1971.

[MM] Mac Lane, S. and Moerdijk, I. Sheaves in Geometry and Logic. A First Introduction to Topos Theory. 2nd corrected printing. Springer-Verlag, 1994.

[M1] Makkai, M. Generalized sketches as a framework for completeness theorems. To appear in three parts in J. Pure and Applied Algebra.

[M2] Makkai, M. Avoiding the axiom of choice in general category theory. J. Pure and Applied Algebra 108(1996), 109-173.Google Scholar

[M3] Makkai, M. First-Order Logic With Dependent Sorts with Applications to Category Theory. Research monograph, to appear in the series Lecture Notes in Logic of Springer-Verlag.

[M4] Makkai, M. On the Baez/Dolan concept of n-category. In preparation.

[M5] Makkai, M. What are abstract objects? In preparation.

[M6] Makkai, M. An Algebraic Look at Propositional Logic. AILA Preprint no. 18 -iuglio/dicembre 1994. Associazione Italiana de Logica e sue Applicazioni.

[M7] Makkai, M. The fibrational formulation of intuitionistic predicate logic I: Completeness according to Godel, Kripke and Lauchli. Notre Dame Journal of Formal Logic 34 (1993), 334-377 (Part 1) and 471-498 (Part 2).Google Scholar

[MR1] Makkai, M. and Reyes, G.E. First Order Categorical Logic. Lecture Notes in Mathematics, no 611, Springer-Verlag, 1977.

[MR2] Makkai, M. and Reyes, G.E. Completeness theorems for intuitionistic and modal logic in a categorical setting. Annals of Pure and Applied Logic 72 (1995), 25-101.Google Scholar

[MP] Makkai, M. and Pare, Robert Accessible Categories. Contemporary Mathematics, V. 104 American Mathematical Society, 1989.Google Scholar

[M-L] Martin-Löf, P. An Intuitionistic Theory of Types. In: Proc. Bristol Logic Colloquium, North-Holland, 1973.

[MPW] Milner, R. Parrow, J. and Walker, D. A calculus of mobile process II. Information and Computation 100 (1) 41-77.

[S] Street, R. Fibrations in bicategories. Cah. de Top. et Geom. Diff. 21(1980), 111-160.Google Scholar