Algebras, diagrams, and decisions in language, logic, and computation