The following pages link to On the category of props (Q2516574):
Displayed 7 items.
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- The homotopy theory of simplicial props (Q2627997) (← links)
- A Normal Form for Stateful Connectors (Q2945707) (← links)
- (Q3384925) (← links)
- Completeness of Nominal PROPs (Q5883754) (← links)
- Labelled cospan categories and properads (Q6051108) (← links)
- Free gs-monoidal categories and free Markov categories (Q6102159) (← links)