My solutions for the Category Theory course of Southern Federal University's School of Mathematics - View it on GitHub