降下理論 (圏論)
降下理論(こうかりろん)は、数学の一分野である圏論の定理であり、集合のすべての前層が標準的な方法で表現可能な前層の極限であると主張している。