Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation. - Jonas Bayer; Alexey Gonus; Christoph Benzmüller; Dana S. Scott (CICM, 2023)