论文标题
一般comodule-contramodule对应
General Comodule-Contramodule Correspondence
论文作者
论文摘要
本文是对对称封闭单体类别中共核的共同模块和禁用模型的基本研究。我们研究它们的代数和同位方面。从代数上讲，我们将综合和偏置类别的类别与原始类别相比，在它们之间构建丰富的函子，并在函数之间构建丰富的辅助因素。在同型上，对于简单的集合和拓扑空间，我们研究了共同模块和禁用模型的类别及其之间的关系。
This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. Algebraically, we enrich the comodule and contramodule categories over the original category, construct enriched functors between them and enriched adjunctions between the functors. Homotopically, for simplicial sets and topological spaces, we investigate the categories of comodules and contramodules and the relations between them.
