Marquis, J.-P. Abstract Logical Structuralism. ZFN 2020, 67-110.