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