圏 (数学) - 他の言語