Structured theories and institutions
✍
Francisco Durán; José Meseguer
📂
Article
📅
2003
🏛
Elsevier Science
🌐
English
⚖ 598 KB
Category theory provides an excellent foundation for studying structured speciÿcations and their composition. For example, theories can be structured together in a diagram, and their composition can be obtained as a colimit. There is, however, a growing awareness, both in theory and in practice, tha