- Work out corepresentable behaviour in generality
- Trajectories
- Fixpoints
- Improve construction of irrelevant behavioural theory, by replacing Span with Rel
- Discuss emergence and prove Myers' theorem on emergence of corepresentable behaviours in Moore machines
- Structures cospans/port-plugging doctrine