Abstract
We present an algebraic theory of structured objects based on and generalizing Aczel's theory of form systems. Notions of identity of structured objects and of transformations of systems of such objects are discussed. A generalization of Aczel's representation theorem is proven.
Citation
Chrysafis Hartonas. "An Algebraic Theory of Structured Objects." Notre Dame J. Formal Logic 38 (1) 65 - 80, Winter 1997. https://doi.org/10.1305/ndjfl/1039700697
Information