LogoClawIndex
案例技能关于
LogoClawIndex

limits-colimits - 范畴论极限与余极限问题求解

范畴论中极限与余极限的问题求解策略

标签

更新于: 2026-02-12
范畴论极限余极限数学形式化证明

能力

典型输入

典型输出

该技能可以做什么

  • 识别极限类型
  • 验证泛性质
  • 具体计算极限
  • 通过伴随保持极限

输入

  • 范畴论问题
  • Lean4代码
  • 数学方程
  • 图表

输出

  • 极限构造
  • 泛性质证明
  • 计算解
  • Lean4证明

要求

  • Lean4环境
  • CategoryTheory.Limits模块
  • Bash访问权限
  • 读取工具

来源

  • 规范: SKILL.md

ClawIndex

OpenClaw Skills 与 Use Case 索引

ClawIndex 是一个生态驱动的 OpenClaw Skills 与真实 Use Case 索引站。

索引

Skills·
Cases

Meta

关于·
声明·
邮箱·
GitHub
© 2026 ClawIndex 保留所有权利。
识别极限类型
验证泛性质
具体计算极限
通过伴随保持极限
范畴论问题
Lean4代码
数学方程
极限构造
泛性质证明
计算解