talkRepresentable Behaviour in Double Categorical Systems Theory

Category theory has a long history of being applied to the study of general systems. Double Categorical Systems Theory (DCST) condenses many lessons learned along the way regarding compositional structures for the representation of systems, their behaviour and the interaction of these two aspects. In this talk I'll revisit old and new wisdom regarding functorial behaviour of systems represented by a category of timepieces, and prove old and new compositionality theorems for them.