Leitgeb, H., Ladyman, J. (2007), Criteria of Identity and Structuralist Ontology

Here is the PDF of the paper:Leitgeb Ladyman, Structuralism & Identity.pdf. I show my reasonings on the paper and an attempt to formalise it in Overleaf: Structuralism & Identity.