categorical-meta-prompting

Full categorical framework for meta-prompting with verified laws. Use when implementing functor-base