removes category theory because.
initial revision
adds processors
synchronization for work on desktop