J.-P. Marquis, “Abstract logical structuralism”, ZFN, no. 69, pp. 67–110, Dec. 2020.