Smooth coalgebra: testing vector analysis
From MaRDI portal
Abstract: Processes are often viewed as coalgebras, with the structure maps specifying the state transitions. In the simplest case, the state spaces are discrete, and the structure map simply takes each state to the next states. But the coalgebraic view is also quite effective for studying processes over structured state spaces, e.g. measurable, or continuous. In the present paper we consider coalgebras over manifolds. This means that the captured processes evolve over state spaces that are not just continuous, but also locally homeomorphic to Banach spaces, and thus carry a differential structure. Both dynamical systems and differential forms arise as coalgebras over such state spaces, for two different endofunctors over manifolds. A duality induced by these two endofunctors provides a formal underpinning for the informal geometric intuitions linking differential forms and dynamical systems in the various practical applications, e.g. in physics. This joint functorial reconstruction of tangent bundles and cotangent bundles uncovers the universal properties and a high level view of these fundamental structures, which are implemented rather intricately in their standard form. The succinct coalgebraic presentation provides unexpected insights even about the situations as familiar as Newton's laws.
Recommendations
Cites work
- scientific article; zbMATH DE number 4057749 (Why is no real title available?)
- scientific article; zbMATH DE number 3739803 (Why is no real title available?)
- scientific article; zbMATH DE number 42735 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 193292 (Why is no real title available?)
- scientific article; zbMATH DE number 3489364 (Why is no real title available?)
- scientific article; zbMATH DE number 3567031 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- scientific article; zbMATH DE number 205892 (Why is no real title available?)
- scientific article; zbMATH DE number 2115104 (Why is no real title available?)
- scientific article; zbMATH DE number 3432917 (Why is no real title available?)
- scientific article; zbMATH DE number 3893388 (Why is no real title available?)
- scientific article; zbMATH DE number 3056109 (Why is no real title available?)
- *-autonomous categories, revisited
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Algebra and Coalgebra in Computer Science
- Algebraic semantics for coalgebraic logics
- Bialgebraic methods and modal logic in structural operational semantics
- Bimonads and Hopf monads on categories
- Bisimulation relations for dynamical, control, and hybrid systems
- Cartesian differential categories
- Chu. I: Cofree equivalences, dualities and *-autonomous categories
- Coalgebraic modal logic beyond sets
- Differential categories
- Differential structure, tangent structure, and SDG
- Evolving Specification Engineering
- Exemplaric Expressivity of Modal Logics
- Expressiveness of positive coalgebraic logic
- Formal derivation of concurrent garbage collectors
- Frobenius and separable functors for generalized module categories and nonlinear equations
- Galois functors and entwining structures
- Generic Trace Semantics via Coinduction
- Guarded transitions in evolving specifications
- Lectures on algebraic topology.
- Manifolds, tensor analysis, and applications.
- Monads on tensor categories
- Monoidal computer. I: Basic computability by string diagrams
- On Infinite-Dimensional Linear Spaces
- Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Sheaves in geometry and logic: a first introduction to topos theory
- Strongly complete logics for coalgebras
- Sur la forme des espaces topologiques et sur les points fixes des représentations
- Synthetic differential geometry
- Testing Semantics: Connecting Processes and Process Logics
- Testing equivalences for processes
- The Chu construction: history of an idea
- The Faà di Bruno construction
- Universal coalgebra: A theory of systems
Cited in
(2)
This page was built for publication: Smooth coalgebra: testing vector analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5361142)
