複階層的圏または多重階層的圏とは、圏Cといくつかの部分圏 H1, ..., Hn の組で、 各Hi（i = 1, ..., n）はやせた広い圏である。 これだけ。事例は、集合の包含関係（束）と構造的な親子関係（ツリー）を持つ圏。兄弟関係も必要かもしれない。これらの部分圏…