Math Is CATegorical ®