References
References
- Lawvere FW Schanuel SH 2001 Conceptual Mathematics: A First Introduction to Categories Cambridge Cambridge University Press
- Mac Lane S 1986 Mathematics: Form and Function New York Springer-Verlag
- Mac Lane , S . 1996 . The development and prospects for category theory . Applied Categorical Structures , 4 : 129 – 136 .
- Drossos , CA . 1987 . Cognition, mathematics and synthetic reasoning . General Seminar of Mathematics , 13 : 107 – 151 .
- Bell , JL . 1981 . Category theory and the foundations of mathematics . British Journal for the Philosophy of Science , 32 : 349 – 358 .
- Bell JL 1988 Toposes and Local Set Theories: An Introduction Oxford Clarendon Press
- Bell , JL . 1986 . From absolute to local mathematics . Synthese , 69 : 409 – 426 .
- Girard J-Y 1989 Towards a geometry of interaction J.W. Gray and A. Scedrov (Eds) Categories in Computer Science and Logic, Providence Rhode Island AMS 69 108
- Macnamara J 1994 Logic and cognition J. Macnamara and G.E. Reyes (Eds) The Logical Foundations of Cognition Oxford Oxford University Press 11 34
- Lawvere FW 1994 Tools for the advancement of objective logic: Closed categories and topics In: J. Macnamara and G.E. Reyes (Eds) The Logical Foundations of Cognition Oxford Oxford University Press 43 56
- Magnan F Reyes GE 1994 Category theory as a conceptual tool in the studies of cognition J. Macnamara and G.E. Reyes (Eds) The Logical Foundations of Cognition Oxford Oxford University Press 57 90
- Girard J-Y 1995 Linear logic: its syntax and semantics J.-Y. Girard, Y. Lafont and L. Regnier (Eds) Advances in Linear Logic Cambridge Cambridge University Press 1 42
- Lincoln P 1992 Linear logic. ACM SIGNAT Notices 23 2 29 37
- Wille , R . 1987 . Meeting on concept analysis and methodological problems of psychology . International Classification , 14 ( 1 ) : 10 – 20 .
- Drossos CA 1994 Categorical Foundations of Mathematics Patras Patras University Press
- Lawvere FW 1987 Algebraic Concepts in the Foundations of Physics and Engineering: A Course Taught at the University of Buffalo
- Baez J 1997 This week's finds in mathematical physics (Week 99) 15 March 1997, http://math.ucr.edu
- Muller , FA . 2001 . Sets, classes, and categories . British Journal of Philosophy of Science , 52 : 539 – 573 .