>>215
圏論と齟齬をきたした。