Different views of objects 对象 by：
1. Category 范畴 (morphism* between Objects, Functors ‘F‘ between Cats);
2. Set 集合 (a “smaller Cat”, only objects);
3. Type 类型 (deal only with same kind of objects: Int, String, Boulean…).
Note : Category can be a Set (SET) , Group, Ring, Vector Space (Vect) , “Topo” (Topology) … any algebraic structure with Associative Morphism (Map or ‘Arrow’ ) between them.
Note (*) : A morphism 态 in layman’s term is best illustrated by geometry:
2 triangle objects are similar 相似 = homomorphism 同态
2 triangle objects are congruent 全等 = isomorphism 同构
Note: Analogy –
Category : School
Type : Boy Class, Girl Class
Set : Students mixed of Boys, Girls
Dart and Kotlin emerge in 2019 thanks to Google’s support them as First-Class Language, Dart with Flutter uses in next Fuchsia OS , Kotlin replaces Java in Android OS.
Technotification: 5 Crucial Tips For Becoming a Full Stack Developer.
5 Full Stack Skills :
- Front-end : browser, mobile languages (Java, Python, etc)
- Back-end : Database (Sql, Mongo)
- Code Managemebt : GitHub
- User Interface
- Design Framework / Libraries
Cambridge Prof Peter Smith:
You can download the book at the bottom link from the below web site.
Philosophy using Math – that is cool!
Set Theory is Philosophy, see this “Set Proofing Technique” taught in French Baccalaureate high school but Cambridge GCE A level ignores :
Prove : A = B
You need to prove 2 ways:
A ⊂ B
B ⊂ A
=> A = B
In the Bible 《John 14:11》
Jesus said to his disciples:
“Believe me when I say that I am in the Father and the Father is in me”.
Proof: Father (God) = Jesus
“Father in Me” :
Father ⊂ Jesus
“I am in the Father” :
Jesus ⊂ Father
Jesus = Father (God)
Merry Xmas! 圣诞快乐！