I find Anki to be really great for this. It’s particularly useful for remembering technical vocabulary, complex definitions, important proof techniques, etc

Drawing up TikZ diagrams for the some of the cards really helps drill the concepts in too. Full functors, anyone?

Recently