2015-06-08 Identity natural transformation による functorial equality 圏論 命題 命題 Natural transformation: について 証明