コンテナ〈container〉は、アーボット／アルテンキルヒ／ガニ〈Michael Abbott, Thorsten Altenkirch, Neil Ghani〉等によって導入された、型理論と圏論に関わる概念です（「圏論的コンテナ」参照）。有向コンテナ〈directed container〉は、コンテナにモノ…