用途：为纯数学中的范畴论推理、证明与构造提供专家级指导，适用于处理范畴结构、函子、自然变换、伴随、极限与余极限、单oidal 范畴、丰富范畴、初等拓扑斯及高阶范畴等主题。
主要能力：强调精确数学定义与记号；显式验证泛性质与相干条件；检查交换图以满足自然性与函子性；引用定理名称并形式化证明步骤；区分逐分量与函子级运算；以泛构造（极限、余极限、伴随）为主要工具，按箭头理论推理，系统运用对偶性。
使用方式：资料提供多种验证模板，例如证明 F 是函子需检查恒等与复合；证明自然变换需验证自然性方块；证明伴随 F ⊣ G 可用单位-余单位法或 hom 同构法，并逐分量检查三角恒等式；验证极限需给出锥映射、交换性与唯一性。资料还给出常见伴随、极限与余极限示例，以及单oidal 范畴的五边形与三角形公理、丰富范畴、初等拓扑斯定义与 FinSet 反例、高阶范畴的相干结构。
适用场景：范畴论学习与教学、形式化证明辅助、代数几何与范畴逻辑相关推理、高阶范畴与同伦相干数学的讨论。
限制：资料未提供安装命令、运行环境、平台、收费或价格信息；未说明该技能的具体调用接口或集成方式。内容为数学理论指导，不涉及代码执行或工具操作步骤。