来源信息
- 仓库
- NeuralBlitz/Mito
- 最近来源活动
- 2026年3月22日 13:29
- 检测到的 SKILL.md 语言
- 英语
- 星标
- 0
- 分支
- 0
安装方式
默认使用会先检查来源的 Prompt；你也可以切换为直接命令，或下载本地副本。
检查来源文件
决定是否安装前，请先阅读 SKILL.md，以及 SkillsMP 当前展示的配套文件。
正在显示 SKILL.md
SKILL.md
来源说明 · 只读预览- name
- category-theory
- description
- Category theory, functors, natural transformations, and universal properties
- license
- MIT
- compatibility
- opencode
- metadata
- {"audience":"students","category":"mathematics"}
## What I do
- Work with categories, objects, and morphisms
- Understand functors and natural transformations
- Apply universal properties and limits
- Connect different mathematical structures
## When to use me
When working on abstract algebra, topology, or theoretical computer science.
## Key Concepts
- Categories and morphisms
- Functors
- Natural transformations
- Universal properties
- Limits and colimits
- Adjoint functors
- Monoidal categories
在 GitHub 查看