AI 中文总结
研究内部范畴作用的单子方法，构造相关单子并刻画为广义作用单子，还证明其能产生良好的广义下降概念。
AI 中文摘要
我们开发了一种关于内部范畴作用的单子方法。给定一个内部范畴，我们在一个切片上构造一个单子，其代数是该内部范畴的作用。然后，我们对以这种方式产生的单子给出了完整的刻画，称之为广义作用单子。最后，我们证明这些单子产生了一个表现良好的广义下降概念。
英文摘要
We develop a monadic approach to actions of internal categories. Given an internal category, we construct a monad on a slice whose algebras are the actions of that internal category. Then, we give a complete characterization of the monads that arise in this way; we call them generalized action monads. Finally, we prove that these monads yield a well-behaved notion of generalized descent.
CommentsWe added a reference and a few remarks
