Conditions on double categories are identified making the category of monads monadic over endomorphisms and cocomplete or locally presentable, with dual results for comonads.
Towards a double operadic theory of systems
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
citation-role summary
background 1
method 1
citation-polarity summary
years
2026 4representative citing papers
A categorical framework using lenses and tangencies provides compositional assume-guarantee reasoning for Lyapunov stability in generalized Moore machines and parameterized ODEs.
A position paper sketches a category-theoretic comparative framework for AGI architectures inspired by Machines in a Category, without completed formal results.
citing papers explorer
-
On categories of monads and comonads in double categories
Conditions on double categories are identified making the category of monads monadic over endomorphisms and cocomplete or locally presentable, with dual results for comonads.
-
Compositionality of Lyapunov functions via assume-guarantee reasoning
A categorical framework using lenses and tangencies provides compositional assume-guarantee reasoning for Lyapunov stability in generalized Moore machines and parameterized ODEs.
-
Working Paper: Towards a Category-theoretic Comparative Framework for Artificial General Intelligence
A position paper sketches a category-theoretic comparative framework for AGI architectures inspired by Machines in a Category, without completed formal results.
- Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads