Categories: Distributed Systems