# External Search Notes — EML-ONTO-CORE-02

A fresh external literature search was run immediately before drafting this paper.

Only primary research papers / author manuscripts on arXiv were used for the technical comparison layer.

## 1. Fong — Decorated Cospans

- Brendan Fong, `Decorated Cospans`, arXiv:1502.00872.
- Relevance: formal composition of open systems through interfaces / cospan structure.
- Use: supports the methodological claim that interconnection needs explicit interface and composition structure.
- Not used to claim EveMissLab Connection is mathematically identical to decorated cospans.

## 2. Vagner, Spivak, Lerman — Wiring Diagrams

- `Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams`, arXiv:1408.1598.
- Relevance: separates syntax of interconnection from dynamical semantics.
- Use: supports the distinction between graph/wiring connection and actual state coupling.

## 3. Schultz, Spivak, Vasilakopoulou — Dynamical Systems and Sheaves

- `Dynamical Systems and Sheaves`, arXiv:1609.08086.
- Relevance: compositional framework for systems with inputs/outputs and translations among system types.
- Use: supports explicit typing and interconnection rules.

## 4. Baez & Courser — Structured Cospans

- `Structured Cospans`, arXiv:1911.04630.
- Relevance: networks with inputs and outputs as structured cospans.
- Use: connection/interface comparison.

## 5. Baez, Courser, Vasilakopoulou — Structured versus Decorated Cospans

- arXiv:2101.09363.
- Relevance: compares two categorical open-system constructions and gives conditions under which constructions align.
- Use: reinforces that apparently similar system-composition formalisms need explicit conditions for equivalence.

## 6. Sadek et al. — Approximate Bisimulation

- `Compositional Approximately Bisimilar Abstractions of Interconnected Systems`, arXiv:2211.08655.
- Relevance: preservation of dynamics under abstraction / composition requires explicit relations and conditions.
- Use: methodological precedent for cross-layer preservation and approximate commutation/defect ideas.

## 7. Ganguly, Petrov, Koeppl — Markov Aggregation

- `Markov chain aggregation and its applications to combinatorial reaction networks`, arXiv:1303.4532.
- Relevance: aggregated dynamics is valid only under lumpability-type conditions; recoverability can depend on initial distribution.
- Use: warns against assuming coarse-graining preserves dynamics automatically.

## 8. Baez — Double Categories of Open Systems: the Cospan Approach

- arXiv:2509.22584.
- Relevance: recent overview emphasizing the variable-sharing paradigm for open systems.
- Use: current comparison point for later SSDC work.

## Boundary rule

These papers provide mathematical precedents for compositionality, abstraction, interfaces, and dynamical preservation. They do not prove that the EveMissLab triadic ontology is complete, minimal, or universal.