Just thinking out loud, this seems like it would have some pretty interesting applications in mathematical/computational evolution. I've been thinking a little bit about this topic recently, and hope to find some time to work more on it.

I had a question, is an operad a sort of generalization of the idea of a simplicial complex? I picked up the book *Elementary Applied Topology* by Robert Ghrist, and there is a chapter on simplicial complexes as a way of building up structures. The final chapter is on 'Categorization', so I wondered how/if these might be related.