This week we take on the subject of compositionality, an ultra-abstract concept that might just underlie all the programming things we do.

Does this idea really inform our work? Do we need category theory to talk about and understand it? Are we required to care?

Here are some references:

• The Composable Codex | Voltron Data
• On the Criteria To Be Used in Decomposing Systems into Modules (1972)
• Composing Software: The Book - by Eric Elliott
• "Category: The Essence of Composition" from Bartosz Milewski's Programming Cafe
• Seven Sketches in Compositionality: An Invitation to Applied Category Theory
• Erik's `compose` implementation in Python.

Send us a text