関手圏 - 他の言語