Models of enhanced limit 2-sketches are equivalent to algebras over enhanced 2-monads, including lax morphisms, and inherit w-rigged limits.
arXiv:2412.07475
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
A categorical framework using lenses and tangencies provides compositional assume-guarantee reasoning for Lyapunov stability in generalized Moore machines and parameterized ODEs.
citing papers explorer
-
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
Models of enhanced limit 2-sketches are equivalent to algebras over enhanced 2-monads, including lax morphisms, and inherit w-rigged limits.
-
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.