L. Horsten, “Structures in Arbitrary Object Theory”, JPM, vol. 2, pp. 35–44, Dec. 2025.