BM Category Theory II 8: F-Algebra, Lambek’s Lemma , Catamorphism, Coalgebra, Anamorphism

Math Online Tom Circle

[Continued from previous BM Category Theory …]

$latex boxed {
text {type Algebra f a = f a} to text {a}

Intuition: [Artificial Intelligence] You teach the computer, like a Primary 6 kid, that Algebra is atype of expression (f) which, after evaluation, returns a value.

If a = i (initial)[or u (terminal)],
$latex boxed {
text {(f i} to text {i )} implies
text {f = Fix-point}

Intuition: Fix-point because, the Initial “i” after the evaluating the expression f, returns itself “i”.

Lambek’s Lemma
$latex boxed {
text {Endo-functor = Isomormphism}

Note: Endo-functor is a functor (equivalent tofunction in Set Theory) within the same Category (Endo = Self = 自)

Video 8.1F-Algebras & Lambek’s Lemma

Video 8.2Catamorphism & Anamorphism

foldr ~ catamorphism (浅层变质) of a Fix-point endo-functor on a List.

Examples: Fibinacci, Sum_List

View original post 147 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 )

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