References Free Lattices (Whitman, 1941) Free Bicompletion of Enriched Categories (Joyal, 1995) Finite Sum-Product Logic (Cockett, Seely, 2001) Categorical Logic (Shulman, 2016)