Real-Time Categories