Christian, thank you very much for your help in my early attempts to understand category theory. The study group I was participating in when I was asking you questions was conducted in which is a radically distributed computing system. Includes several category students as well as functional programmers. Categorical distributed computation should be right up their alley. Where do you want to go with such research? They might be able to help.