WhatisCategoryTheory.pptVIP

* * Remark In any category, given any two objects in the diagram, say P and Q, any composite of arrows from P to Q yields the same result. We then say that the diagram commutes. Categories and Computer Science http://cis.k.hosei.ac.jp/~yukita/ * What is category theory? Algebra of functions Composition is the principal operation on functions Abstract structure Collection of objects Collection of arrows between them Invented by S. Eilenberg and S. Mac Lane in 1945 originated from algebraic topology influence on Algebraic geometry ? A. Grothendieck Logic ? F.W. Lawvere Computer science * How does category theory appear in Computer Science? Construction of functions out of a given set of simple functions using various operations on functions such as: composition and repeated composition An important aspect of CS Dynamical systems having states which vary over time Computing is concerned with machines An algebra of functions which really does not consist of functions Programs and languages are formal things that specify actual functions Syntactical side of CS * Topics we choose Grammars and Languages Data types Boolean algebra Circuit theory Flow charts Imperative programming Specification Lambda calculus * CategoriesThe Algebra of Functions * Note. The notion of category is axiomatically defined and formal. The objects of a category need not be actual sets and the arrows need not be actual functions. As is usual with axiomatic definitions this allows great flexibility. CS note. An object of a category does not necessarily have methods such as union, intersection, Cartesian producs, etc. * A B f 1A 1B * Ex 1. Sets: The category of sets Note. If you are unfamiliar with the notions of sets and functions, you should consult with some elementary textbooks on set theory. Can you clearly tell the differences between surjection, injection, and bijection? * Small examples We should check if all the axioms are satisfied in these examples. * Ex.5. Two objects and three