Horsten, L. Structures in Arbitrary Object Theory. JPM 2025, 2, 35-44.