Home | Issues | Profile | History | Submission | Review
Vol: 51(65) No: 4 / December 2006 

How to Read Mathematics
Sebastian Glita
Department of Computers, “Politehnica” University of Timisoara, Faculty of Automation and Computers, V.Parvan 2, 300223 Timisoara, Romania, phone: (40) 256-403281, e-mail: gseba@cs.upt.ro, web: http://www.cs.upt.ro/~gseba


Keywords: sets, functions, categories, functors.

Abstract
It seems that many mathematics and computer science papers abound in using some implicit notations that are not clarified or given an explicit denotation. This paper tries to clarify about four aspects concerning these notations by going on-the-fly through category theory.

References
[1] S. Mac Lane, \"Categories for the Working Mathematician\", 2nd ed., S. Axler and F. W. Gehring and K. A. Ribet, Eds. Springer, 1971.
[2] A. Martini, “Elements of Basic Category Theory”, Technische Universität Berlin, Tech. Rep. 96 5, 1996.
[3] J. van Oosten, \"Basic Category Theory\", BRICS, Tech. Rep. LS 95 1, 1995.
[4] R. L. Crole, \"Categorical Logic and Type Theory\", Proceed. of the BRICS Internat. Summer School on Logical Foundations, 2001.