圏論頑張る with Coq