Pros./cons. of the abstraction?
Performance? Details management?
Math at school ...? Programming at work ...?
1. =
2. function
x = 5;
x = x + 1;
a = obj.func_one(1);
b = obj.func_one(1);
a = func_one(1);
b = func_one(1);
範疇論(英語:Category theory)是數學的一門學科,以抽象的方法處理數學概念,將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化為範疇。使用範疇論可以令這些領域中許多難理解、難捉摸的數學結論更容易敘述證明。
研究範疇就是試圖以「公理化」的方法抓住在各種相關連的「數學結構」中的共同特性,並以結構間的「結構保持函數」將這些結構相關起來。因此,對範疇論系統化的研究將允許任何一個此類數學結構的普遍結論由範疇的公理中證出。
By howtomakeaturn