The definition of a logical relation

Published: Aug. 19, 2020, 4 a.m.

b'

Logical relations are the relational generalization of the algebraic concept of a homomorphism -- but they go further in extending the notion of structure-preservation to higher-order structures.\\xa0 We discuss the basic definition in this episode.

'