2026年范畴论试卷及详解.docxVIP

2026年范畴论试卷及详解

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

范畴论研究的核心对象是范畴。一个范畴由以下哪几部分构成？

A.对象和态射

B.集合和函数

C.群和同态

D.拓扑空间和连续映射

答案：A

解析：范畴论最基础的定义即为一个范畴包含两类数据：一类是对象，另一类是对象之间的态射（或箭头）。选项B、C、D分别描述了集合范畴、群范畴和拓扑空间范畴，它们是范畴的具体实例，而非范畴的普适定义，因此不正确。

在范畴C中，对于任意对象A，其上的恒等态射id_A必须满足什么性质？

A.对于任意态射f:A-B，有f°id_A=f

B.对于任意态射f:B-A，有id_A°f=f

C.以上两者都必须满足

D.以上两者都不是必须的

答案：C

解析：根据范畴的公理化定义，对于范畴中的每一个对象A，必须存在一个从A到A的恒等态射id_A，使得对于任意态射f:A-B和g:C-A，都满足f°id_A=f和id_A°g=g。因此，选项C包含了所有必要条件。选项A和B都只描述了恒等态射性质的一部分，不完整。

函子是范畴之间的“映射”。一个协变函子F:C-D，需要满足什么条件？

A.它将C中的对象映射到D中的对象，将C中的态射f:A-B映射为D中的态射F(f):F(A)-F(B)

B.它将C中的对象映射到D中的对