feat: MinMax instance and strict/lax morphisms between instances - #4

feat: MinMax instance and strict/lax morphisms between instances#4

hyperpolymath merged 8 commits into

mainhyperpolymath/resource-algebra:mainfrom

claude/new-session-ywdrthhyperpolymath/resource-algebra:claude/new-session-ywdrthCopy head branch name to clipboard