# Category Theory (Steven Roman) – (Part II)

[Continued from (Part I)…]

Category Theory (范畴学) is the “lingua franca” (通用语) of mathematicians, used commonly by the 2 different major Math branches : Algebra & Analysis.

In essence: A Category consists of
1. Objects
2. Relationship among objects (Morphism)
3. Structure: preserved by Morphism
4. An identity (Self)

Examples:
1. SET Category:
◇ Objects (Sets),
◇ Structure (Cardinality),
◇ Morphism (Set Functions: which preserve Set Structure)
◇ Identity (Set itself)

2. GROUP Category
◇ Objects (groups)
◇ Structure (Set, 1 closed binary operation)
◇ Morphism (group mapping)
◇ Identity (neutral element ‘e’)

3. SINGAPOREAN Category
◇ Objects (Singapore citizens)
◇ Structure (multi-racial)
◇ Morphism (kiasu-ism)
◇ Identity (I = ME = 令伯 ‘lim-Peh-ism’)

Lecture 2:
◇ Functor: morphism between Categories
◇ Diagrams: arrows
◇ Commute
Special Types of Functors:

View original post 92 more words

## Author: tomcircle

Math amateur

This site uses Akismet to reduce spam. Learn how your comment data is processed.