Searching protocol for "universal-properties"
Category theory rigor for proofs.
Prove category theory theorems.
Solve category theory limits & colimits
Category theory limits & colimits solver
Schema migration via Kan extensions.
Automate universal constructions via adjunctions.
Verify universal truths with property-based tests.