Introduction to Category Theory 范畴论

[Source: ] All lectures & exercises here:
http://ureddit.com/class/36451

image

Introduction to Category Theory 1:

Course Overview:

Category Theory = Abstract Algebra of Functions

Lambda Calculus = Calculus of Functions

Lambda Calculus = Category

History:

image

image

\cap \bigotimes

Introduction to Category Theory (2) Monoids 么群


Introduction to Category Theory (3)
Real lecture begins from here: Categories, Functors, Natural Transformation:

1. Category Definition:

image

1a) Examples of Categories:
image

Excellent example on “Natural Transformation“:

image

Ref: Classic Textbook

image

范畴论 Category Theory :
image

Advertisements

One thought on “Introduction to Category Theory 范畴论

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s