Conversation

Me: a SQL inner join is a pullback from category theory, an outer join is a pushforward.
Colleague: SQL really is this lone survivor from a bygone era of computer science, where correctness still mattered.
Me: I didn't know, I for one, am still waiting on the commutative algebra DLC, where both joins behave the same way.