Author: Joslyn, Heylighen, Turchin,
Date: AUG 1992
(has): modeling system, modeled system
(refer-to): Rosen, Pattee, Cariani
Synopsis: Homomorphism between a modeled system and the modeling system. Let W be the modeled system (an aspect of the world), let R be a representation function, and let M be the modeling system so that
M: W->R, Fa: R->R, and a:W->W, then (R, W, M, a, Fa) is a model if M, a and Fa commute.