In which I describe some very early research thoughts about so-called "meta-cryptography": the analysis of cryptographic models and their interconnections. Guest starring "Category Theory".