Metatype
Type unifying theorem
With no loss of generality, everything is information. For the sake of meta-unification, I embrace that metatype is information. Smallest amount of information is unit. Everything that exists, concerns not null amount of information. Everything is comparable, by amount of information it concerns.
Metatype in the most common type object in the sense of the triple
(f x y)<MT> = (input-information, transformation, output-information)(•)Transformation is computation. Every computation, just as its' specification(code for example) holds type closure, over the metatype.
(•)Denotes auto-reference to this triple specificationLast modified 11mo ago