User:TakuyaMurata/Thesis note


 * makes the Laplacian surjective.
 * is a good friend of category theory.