Smooth coalgebra: testing vector analysis
From MaRDI portal
Publication:5361142
DOI10.1017/S0960129515000511zbMath1387.18007arXiv1402.4414OpenAlexW1581790436MaRDI QIDQ5361142
Dusko Pavlovic, Bertfried Fauser
Publication date: 27 September 2017
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1402.4414
dynamical systemscoalgebradifferential formscotangent bundletangent bundlestate spaceNewton lawstesting correlation
Applications of differential geometry to physics (53Z05) Categories of machines, automata (18B20) Synthetic differential geometry (51K10) Natural bundles (58A32)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Monoidal computer. I: Basic computability by string diagrams
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Frobenius and separable functors for generalized module categories and nonlinear equations
- Galois functors and entwining structures
- Bialgebraic methods and modal logic in structural operational semantics
- Manifolds, tensor analysis, and applications.
- Sheaves in geometry and logic: a first introduction to topos theory
- Lectures on algebraic topology.
- Testing equivalences for processes
- Universal coalgebra: A theory of systems
- *-autonomous categories, revisited
- Differential structure, tangent structure, and SDG
- 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
- Bisimulation relations for dynamical, control, and hybrid systems
- Sur la forme des espaces topologiques et sur les points fixes des représentations
- Chu I: cofree equivalences, dualities and *-autonomous categories
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
- Strongly Complete Logics for Coalgebras
- Guarded Transitions in Evolving Specifications
- Bimonads and Hopf monads on categories
- Exemplaric Expressivity of Modal Logics
- Differential categories
- Formal Derivation of Concurrent Garbage Collectors
- Testing Semantics: Connecting Processes and Process Logics
- Coalgebraic Modal Logic Beyond Sets
- Generic Trace Semantics via Coinduction
- Algebra and Coalgebra in Computer Science
- Evolving Specification Engineering
- On Infinite-Dimensional Linear Spaces
- Monads on tensor categories
This page was built for publication: Smooth coalgebra: testing vector analysis
