For the course in Philosophy of Cognition (Lecture) by Dr. Sbardolini that I followed during my 5th Semester for my M.Sc. Logic (UvA), I wrote this essay: Overleaf: Ontic Structuralism of Concepts. It has a very tightly connected with Structuralism & Categories (Research Project). I also consider submitting the paper to FOIS.
The proof of the only non trivial proposition, Completeness Results 1.3, can be found at StackExchange.