Software and Tutorials
A collection of visualAbstractions is like the set of counting numbers. The visualAbstractions are NOT real objects. They are abstractions.
We define a "real object" as something that has a location and a boundary condition. The counting numbers do not have location or boundary conditions. VisualAbstractions do not have location or boundary conditions.
VisualAbstraction is the "0 for KM".
With the 0 for KM, categoricalAbstraction is formative within a few seconds. Visual navigation corresponds with human perception and thought within a Knowledge Operating System. Like the 0 for accounting, the collection of visualAbstractions allow for knowledge arithmetic.
In this case, the arithmetic is a stratified category theory with formal homoeomorphism within both topology and elementary number theory.