Topos Unified: Claude Code Skill for Category Theory