BM Category Theory 3.x Monoid, Kleisli Category (Monad)… Free Monoid 

Math Online Tom Circle

[Continued from 1.1 to 2.2]

3.1 MonoidM (m, m)

Same meaning in Category as in Set: Only 1 object, Associative, Identity

Thin / Thick Category:

  • “Thin” with only 1 arrow between 2 objects;
  • “Thick” with many arrows between 2 objects.

Arrow : relation between 2 objects. We don’t care what an arrow actually is (may be total / partial order relations like = or $latex leq $, or any relation), just treat arrow abstractly.

Note: Category Theory’s “Abstract Nonsense” is like Buddhism “空即色, 色即空” (Form = Emptiness).

Example ofMonoid: String Concatenation: identity = Null string.

Strong Typing: function f calls function g, both types must match.

Weak Typing: no need to match type. eg. Monoid.

Category induces a Hom-Set: (Set of “Arrows”, aka Homomorphism同态, which preserves structure after the “Arrow”)

  • C (a, b) : a -> b
  • C (a,a) for Monoid…

View original post 76 more words

About tomcircle

Math amateur
This entry was posted in math. Bookmark the permalink.

Leave a Reply

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

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

Google photo

You are commenting using your Google 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 )

Connecting to %s

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