設計模式的數學定義是什麼?

banq發表於2018-11-24

類別理論category theory是專門為回答這個問題而建立的。非正式地,模式是一堆在它們之間具有連線的東西。嗯,這就是一個類別。事物被稱為物件、 連線或態射。
識別模式意味著什麼?這意味著在更大的系統中嵌入更簡單的模式。這種嵌入稱為functor。functor是物件的對映,它們保留了它們之間的連線。

相關文章