Title: Co mputing with categories