/Sandbox

Homology theory needs attention. (homologuous?)

Yoneda Lemma too, probably.