Algebra and geometry
Something I’ve picked up at The n-Category Café. Algebra and geometry are analogous to syntax and semantic with syntax corresponding to algebra and semantics to geometry. This broad statement have precise meaning, which could be expressed as duality between Boolean algebras and specific topological spaces, which used in the study of formal semantics of computer languages.
Sorry, the comment form is closed at this time.