|
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. |