设计模式的数学定义是什么?

18-11-24 banq
         

类别理论category theory是专门为回答这个问题而创建的。非正式地,模式是一堆在它们之间具有连接的东西。嗯,这就是一个类别。事物被称为对象、 连接或态射。

识别模式意味着什么?这意味着在更大的系统中嵌入更简单的模式。这种嵌入称为functor。functor是对象的映射,它们保留了它们之间的连接。