Category Concurrency & Real-Time Systems