We present exact combinatorial versions of bosonization identities, which
equate the product of two Ising correlators with a free field (bosonic)
correlator. The role of the discrete free field is played by the height
function of an associated bipartite dimer model. Some applications to the
asymptotic analysis of Ising correlators are discussed.Comment: 35 page