范畴论题库及详解.docxVIP

范畴论题库及详解

一、单项选择题（共10题，每题1分，共10分）

以下选项中，不属于一个合法范畴必须包含的基础组成部分的是

A.一组作为研究对象的元素

B.连接任意两个对象的一组态射

C.所有态射都能对应到集合上的函数

D.满足结合律要求的态射复合运算

答案：C

解析：范畴的公理完全不要求态射必须是集合间的函数，很多抽象范畴中的态射可以是关系、操作、路径等非函数结构。A、B、D三个选项的内容都是范畴定义中明确要求的基础组成部分，只有C是错误的额外限定。

单对象范畴且所有态射可复合、存在单位元，该结构等价于以下哪种代数结构

A.群

B.幺半群

C.交换环

D.偏序集

答案：B

解析：单对象范畴中所有态射都定义域和陪域都是同一个唯一对象，其复合运算满足结合律且存在唯一单位态射，完全符合幺半群的定义。A选项的群额外要求每个元素存在逆元，只有当该单对象范畴中所有态射都是同构时才等价于群，不符合一般性描述。C、D的代数结构和单对象范畴不存在等价对应关系。

协变函子需要保持的核心运算性质是

A.仅保持态射的定义域和陪域对应关系

B.保持态射复合运算和单位态射结构

C.自动将单态射映射为同构态射

D.自动将终对象映射为初始对象

答案：B

解析：协变函子的核心定义要求是，对于任意可复合的态射f和g，满足F(f°g)=F(f)°F(g)，且任意对象A的单位态射id_A经过函子