limits-colimits - Limits Colimits Problem Solving in Category Theory
Problem-solving strategies for limits and colimits in category theory
Tags
Updated: 2026-02-12Capabilities
Typical Inputs
Typical Outputs
What this skill does
- identify limit types
- verify universal property
- compute limits concretely
- preserve limits via adjunctions
Inputs
- category theory problems
- Lean4 code
- mathematical equations
- diagrams
Outputs
- limit constructions
- universal property proofs
- computed solutions
- Lean4 proofs
Requirements
- Lean4 environment
- CategoryTheory.Limits module
- Bash access
- Read tool