I am talking about the polymorphic use of the verb "is" during the process of formalization.
"Red is a color" can be formalized as "Red is a type of color" or "Red is member of set Colors".
You can't formalize "Color is red" because it doesn't mean anything.
When I say "Parsing is validation" I am using the verb "is" to mean an isomorphism.
Re:Parse, Don't Validate (2019)
by thereare5lights on Sunday June 27, 2021 @06:33PM
(#27656103)
Judging by all the other disagreeing comments, your in some sort of idiosyncratic context that only you understand.
Good luck with that.
Are you talking about a bijective mapping or are you saying it's a synonym for identical?
Because the former doesn't make any sense here and the latter is not true.
Red is a color does not imply that all colors are red.