圏論やってる on Coq