Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Compositional Models for Complex Systems



Spencer J. Breiner, Ram D. Sriram, Eswaran Subrahmanian


In this chapter we argue for the use of representations from category theory to support better models for complex systems, and provide an example of such an application might look like. Our approach rests on the well known observation that complex system design is a fundamentally recursive discipline, which are formalized in computer science using structures called algebras, coalgebras and operads, mathematical structures which are intimately linked to labeled tree representations. We then develop two small examples to demonstrate the utility of this approach. The first defines a logical semantics of contracts to organize requirements at different scales in hierarchical systems. The second concerns the integration of artificial intelligence models into a pre-existing human-driven process.
Artificial Intelligence for the Internet of Everything
Publisher Info
Elsevier, Atlanta, GA


Applied Category Theory, Complex Systems, Joint Cognition


Breiner, S. , Sriram, R. and Subrahmanian, E. (2019), Compositional Models for Complex Systems, Elsevier, Atlanta, GA, [online], (Accessed April 23, 2024)
Created January 19, 2019, Updated May 4, 2021