Mathematical Methods Used: Category Theory

Applied Category Theory

An introduction to Applied Category Theory is:

• Seven Sketches in Compositionality: An Invitation to Applied Category Theory

• Seven Sketches in Compositionality

• David I. Spivak

The Authors of the introductory book work at:

• See: Topos.institute

Some references on Wikipedia:

• Category Theory

Robert Rosen's Modeling Relation is being explored in the following areas:

• An example of the use of formal category theory concepts in the support of a GST

• The importance of models and their congruence relationship to a thing, object or entity. This may be in the form of traceability or mapping.

• The formal model is also shown to be a formal system model when shown to be isomorphic to a General System Model and appropriate foundations.

See the PDF Robert Rosen's Modelling Relation and Category Theory. This paper has been one of the guides for using the Modeling Relation..

See the Concepts: Things and Models

The diagram below is a Model of "Category" used in Category Theory based upon my understanding of 7 Sketches Book. The "CT Element" Stereotype indicates that the element is concept used in Category Theory.

Building on Rosen's Modeling Relation a General System Model can form the basis of a Formal System Model that is congruent to the system-of-interest..

The next diagram is a less formal representation of the model above.