Generative Effects: Orders and Galois Connections
Introduction
From An Invitation to Applied Category Theory - Seven Sketches in Compositionality – Fong/Spivak
A wide variety of situations exhibit something called compositionality – wherein systems or relationships can be combined to form new systems or relationships. Category-theoretic constructs can be used to describe the compositionality in such situations. A structural approach to modeling with Category Theory : introduction.