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

类别理论category theory是专门为回答这个问题而创建的。非正式地，模式是一堆在它们之间具有连接的东西。嗯，这就是一个类别。事物被称为对象、 连接或态射。
识别模式意味着什么？这意味着在更大的系统中嵌入更简单的模式。这种嵌入称为functor。functor是对象的映射，它们保留了它们之间的连接。