LogoClawIndex
案例技能关于
LogoClawIndex

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

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

标签

更新于: 2026-02-13
数学范畴论极限计算

能力

典型输入

典型输出

该技能可以做什么

  • 识别极限类型
  • 验证通用性质
  • 具体计算极限
  • 处理Lean4语法
  • 使用sympy求解方程

输入

  • 范畴论问题
  • 极限/余极限问题
  • 数学表达式

输出

  • 极限识别结果
  • 数学证明
  • 方程求解结果
  • Lean4代码

要求

  • Bash环境
  • 文件读取权限
  • Lean4数学库
  • Sympy计算能力

来源

  • 规范: SKILL.md

ClawIndex

OpenClaw Skills 与 Use Case 索引

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

索引

Skills·
Cases

Meta

关于·
声明·
邮箱·
GitHub
© 2026 ClawIndex 保留所有权利。
识别极限类型
验证通用性质
具体计算极限
处理Lean4语法
范畴论问题
极限/余极限问题
数学表达式
极限识别结果
数学证明
方程求解结果