Title: Visual Category Theory, Copart 1