12 posts tagged with Software Architecture
Flexibility vs. governance. Performance vs. cost. Consistency vs. availability. These aren't problems to solve—they're adjunctions to navigate. Part 11 of applying category theory to Solutions Architecture.
Products, pullbacks, and terminal objects are all limits. Coproducts, pushouts, and initial objects are all colimits. Part 10 of applying category theory to Solutions Architecture—the unified theory.
When two services need to agree on something, you need a pullback. When two sources need to merge, you need a pushout. Part 9 of applying category theory to Solutions Architecture.
API Gateways are products. Event routers are coproducts. Part 8 of applying category theory to Solutions Architecture—the universal patterns for combining and decomposing services.
When you change from one architecture to another, changes must be consistent everywhere. Part 6 of applying category theory to Solutions Architecture—the mathematics of coherent transformation.
Every migration is a functor — a structure - preserving transformation between systems. Part 5 of applying category theory to Solutions Architecture, where we learn when migrations succeed and why they fail.
When services don't work together, it's not random—it's one of four predictable failure modes. A practical guide to diagnosing and fixing integration problems using insights from category theory.
When services don't compose, it's not a bug—it's a mathematical impossibility. Part 4 of applying category theory to Solutions Architecture, where we develop a diagnostic framework for integration failures.
A system is completely characterized by how other systems interact with it. Part 3 of applying category theory to Solutions Architecture—the deepest insight in category theory, made practical.
A monolith and microservices can be mathematically equivalent. Part 7 of applying category theory to Solutions Architecture—understanding when radically different implementations are categorically identical.
Stop designing services. Start designing contracts. Part 2 of applying category theory to Solutions Architecture—where we learn that the arrows, not the boxes, are the architecture.
Category theory isn't abstract nonsense—it's the formal language for the problems Solutions Architects already face. Part 1 of a series on applying mathematical foundations to real architectural challenges.
Designing Data-Intensive Applications
Martin Kleppmann
Anna Kariênina
Liev Tolstói
Structure and Interpretation of Computer Programs
Harold Abelson, Gerald Jay Sussman and, Julie Sussman
Fundamentals of Software Architecture
Mark Richards and Neal Ford
Conceptual Mathematics: A First Introduction to Categories
F. W. Lawvere and Stephen H. Schanuel
Links are Amazon affiliate links.
