Johannes Gutenberg is the inventor of category theory. Every page of type is a functor between line number and a set of alphanumerical symbols. Post-Gutenberg culture is just working through the variations.