|
|
|
|
|
by wires
1971 days ago
|
|
Not at all. We have been applying category theory for the past few years to software and systems design and this paper in particular came as a result of those implementations. Soon these methods will be usable by many people for all kinds of purposes. You can think of cryptographic contracts, business process execution, game theory, functional reactive programming, quantum protocols and digital or analogue electronics. The only difference is what category the diagrams live in, or put another way, which semantics are you assigning to thee boxes and wires. You can stay tuned on statebox.org and process.io |
|