



















A formal specification of a mathematical structure or a data type described in terms of a graph and diagrams (and cones (and cocones)) on it. It can be implemented by means of “models”, which are functors which are graph homomorphisms from the formal specification to categories such that the diagrams become commutative, the cones become limiting (i.e., products), the cocones become colimiting (i.e., sums).
Mặc dù phức tạp, kiến trúc sư phần mềm đã sử dụng một bản phác thảo toán học để định nghĩa một cách chính thức các cấu trúc dữ liệu và mối quan hệ giữa chúng trước khi các lập trình viên bắt đầu viết mã.






