• With this in mind, what is the correct category for paredit, and what are the adjunctions?
• Suppose we wish to build a theory of Sexps. Then let's consider the category of rooted trees, where the root is the currently selected sexp, where the morphisms are inclusion maps of trees.