This document is a summary of various results related to a compositional/categorical approach to rigorous Statistical Mechanics. In particular, we present a categorical formulation of specifications that we call A-specifications and their Gibbs measures. We give a characterization of extreme Gibbs measures of A-specifications and an entropy functional for A-specifications, along with an associated variational principle and message passing algorithm to 'solve' the variational principle.