Category theory is logic, and we can visualize logic in colors, strings, ****and beads.
Category Theory is known as a unifying language of mathematics [Law05]. In recent years, Applied Category Theory has begun to explore it as a language for all kinds of science [FS2015]. Color Logic proposes that category theory is logic, as in the language of thinking.
The basic concepts of category theory:
type and process, relation and transformation; identity and composition, adjunction and representation
are systematized in the language of a bifibrant double category, a concept presently known as “proarrow equipment” or “framed bicategory” [Shu07]. Such a language can be understood simply as a logic, i.e. a system of thoughts of a world:
A world is a category of types of things, and processes between types.
A thought of the world is a relation of types, and a process of thinking is a transformation of relations.