Spell: Category theory