Categorical Structure Builder

A universal template for implementing any categorical structure as a command or skill in a meta-prompting framework.

Purpose

This skill provides a generalized template that can instantiate:

• Functors (F: C → D)
• Monads (M: C → C with unit, bind, join)
• Comonads (W: C → C with extract, duplicate, extend)
• Natural Transformations (α: F ⇒ G)
• Adjunctions (F ⊣ G)
• Hom-Equivalences (Hom(F(A), B) ≅ Hom(A, G(B)))
• Limits and Colimits
• Enriched Categories ([0,1], Ab, Cat)

Universal Structure Template