Category Theory and the Mathematical Foundation of the Technologies We Use with Eric Daimler of Conexus