Navigator
Fortune cookie
“The membership relation for sets can often be replaced by the composition operation for functions. This leads to an alternative foundation for Mathematics upon categories specifically, on the category of all functions. Now much of Mathematics is dynamic, in that it deals with morphisms of an object into another object of the same kind. Such morphisms (like functions) form categories, and so the approach via categories fits well with the objective of organizing and understanding Mathematics. That, in truth, should be the goal of a proper philosophy of Mathematics.”
Saunders Mac Lane.
Administration
Members of the special inter-departmental committee
Department of Mathematics
School of Applied Mathematical and Physical Sciences
Department of Informatics and Telecommunications
Department of Methodology, History and Theory of Science
School of Electrical and Computer Engineering
Department of Computer Engineering and Informatics
Secretaries
Web standards:
XHTML1.0, CSS3.