Infinity Categories: Claude Code Skill for Higher Algebra