I study the ways personal and interpersonal systems can be made functional to improve cognitive simplicity, including borrowing ideas from Category Theory and other metamathematical ideas.