Scientific Modelling with Coalgebra-Algebra Homomorphisms

Many recursive functions can be defined elegantly as the unique homomorphisms, between two algebras, two coalgebras, or one each, that are induced by some universal property of a distinguished structure. Besides the well-known applications in recursive functional programming, several basic modes of reasoning about scientific models have been demonstrated to admit such an exact meta-theory. Here we explore the potential of coalgebra--algebra homomorphism that are not a priori unique, for capturing more loosely specifying patterns of scientific modelling. We investigate a pair of dual techniques that leverage (co)monadic structure to obtain reasonable genericity even when no universal properties are given. We show the general applicability of the approach by discussing a surprisingly broad collection of instances from real-world modelling practice.

[1]  Venanzio Capretta,et al.  Corecursive Algebras: A Study of General Structured Corecursion , 2009, SBMF.

[2]  Michael Hauhs,et al.  Distributive-Law Semantics for Cellular Automata and Agent-Based Models , 2011, CALCO.

[3]  Michael Hauhs,et al.  Algebraic-coalgebraic recursion theory of history-dependent dynamical system models , 2014, Theor. Comput. Sci..

[4]  E. Rowland.  Theory of Games and Economic Behavior , 1946, Nature.

[5]  Alexandra Silva,et al.  Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure , 2014, Theor. Comput. Sci..

[6]  R. Rosen.  Life Itself: A Comprehensive Inquiry Into the Nature, Origin, and Fabrication of Life , 1991 .

[7]  Bart Jacobs,et al.  Convexity, Duality and Effects , 2010, IFIP TCS.

[8]  Jirí Adámek,et al.  Iterative algebras at work , 2006, Mathematical Structures in Computer Science.

[9]  Aristid Lindenmayer,et al.  Mathematical Models for Cellular Interactions in Development , 1968 .

[10]  M. Barr.  Coequalizers and free triples , 1970 .

[11]  Venanzio Capretta,et al.  Recursive Coalgebras from Comonads , 2004, CMCS.

[12]  Jan J. M. M. Rutten,et al.  Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[13]  George Kampis,et al.  Life itself. A comprehensive inquiry into the nature, origin, and fabrication of life: By Robert Rosen. (Complexity in Ecological Systems series), T.F.H. Allen and D.W. Roberts (Eds.), Columbia University Press, New York, Vol. 1, 285 pp., US$45.00 , 1995 .

[14]  Philip D. Plowright,et al.  Convexity , 2019, Optimization for Chemical and Biochemical Engineering.

[15]  Przemyslaw Prusinkiewicz,et al.  The Algorithmic Beauty of Plants , 1990, The Virtual Laboratory.

[16]  Baltasar Trancón y Widemann.  V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions , 2004, IFL.

[17]  Bart Jacobs,et al.  Coalgebraic Representation Theory of Fractals , 2010, MFPS.

[18]  Grzegorz Rozenberg,et al.  The mathematical theory of L systems , 1980 .

[19]  Gerhard Osius,et al.  Categorical set theory: A characterization of the category of sets , 1974 .

[20]  Michael Hauhs,et al.  Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map , 2010, CMCS@ETAPS.

[21]  Tarmo Uustalu,et al.  The Recursion Scheme from the Cofree Recursive Comonad , 2011, Electron. Notes Theor. Comput. Sci..

[22]  Joost Winter,et al.  Lindenmayer Systems, Coalgebraically , 2012 .

[23]  Ronald A. Howard,et al.  Dynamic Probabilistic Systems , 1971 .

[24]  Samson Abramsky,et al.  Coalgebraic Analysis of Subgame-perfect Equilibria in Infinite Games without Discounting , 2017, Math. Struct. Comput. Sci..