category-theory
Category theory, functors, natural transformations, and universal properties
Informações da origem
- Repositório
- NeuralBlitz/Mito
- Última atividade na origem
- 22 de março de 2026 às 13:29
- Idioma detectado do SKILL.md
- inglês
- Estrelas
- 0
- Forks
- 0
Opções de instalação
Por padrão, está selecionado o prompt que primeiro revisa a origem. Você pode mudar para um comando direto ou baixar uma cópia local.
Revise os arquivos de origem
Leia o SKILL.md e os arquivos complementares exibidos pelo SkillsMP antes de decidir se vai instalar.
Exibindo SKILL.md
SKILL.md
Instruções da origem · Visualização somente leitura- 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
Ver no GitHub