単子降下

数学、特に圏論において、モナド降下とは、モナドを用いて降下データを符号化するという考え方のことである。

ベナブー・ルーボーの定理によれば、(おおよそ) pに対するベック・シュヴァレー条件を満たす双ファイブレーションが与えられたとき、降下データの圏は、によって誘導されるモナドの代数の圏と正準的に同値である。${\displaystyle p_{!},p^{*}}$。

• ベックの単項定理

• ベナブー、ジャン。ジャック・ルーボー (1970)。「モナドとデサント」。CRアカデミー。科学。パリセール。 Ａ．​ 270 : 96–98 . Zbl 0287.18007。 
• ブルーノ、カーン（2025）。「ベナブー・ルボーの定理について」(PDF)。カイエのトポロジーと幾何学的な分類。LXVI (2 ) : 3–12.arXiv : 2404.00868 。
• Janelidze, George; Tholen, Walter (1994). "Facets of descent, I" . Applied Categorical Structures . 2 (3): 245– 281. doi : 10.1007/BF00878100 .
• Janelidze, G.; Tholen, W. (1997). "Facets of Descent, II" . Applied Categorical Structures . 5 (3): 229– 248. doi : 10.1023/A:1008697013769 .
• Nunes, Fernando Lucatelli (2018). "擬似Kan拡張と降下理論". Theory and Applications of Categories . 33 : 390– 444. doi : 10.70930/tac/ncck98gb .

• 「単項降下」。ncatlab.org 。
• 「ベナブー・ルボーの定理」。ncatlab.org。
• 「ベナブー・ルーボーの定理に関する英語の参考文献」-Bénabou&Roubaud(1970)の英語翻訳。