Why anything except universal algebra? I mean, granted, I myself dove right into topos theory...