Categories for Certified True Copy