Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  give an axiomatic category theoretic account of bisimulation in process algebras based on the idea of functional bisimulations as open maps.  work with 2-monads, T, on Cat. Operations on processes, such as nondeterministic sum, prexing and parallel composition are modelled using functors in the Kleisli category for the 2-monad T.  may define the notion of open map for any such 2-monad; in examples of interest, that agrees exactly with the usual notion of functional bisimulation. Under a condition on T, namely that it be a dense KZ-monad, which  define, it follows that functors in Kl(T) preserve open maps, i.e., they respect functional bisimulation.  further investigate structures on Kl(T) that exist for axiomatic reasons, primarily because T is a dense KZ-monad, and  study how those structures help to model operations on processes.  outline how this analysis gives ideas for modelling higher order processes.  conclude by making comparison with the use of presheaves and profunctors to model process calculi.
['Gian Luca Cattani', 'John Power', 'Glynn Winskel']
I am writing a research paper on a idea A Categorical Axiomatics for Bisimulation
[{"from": "human", "value": "I am writing a research paper on a idea A Categorical Axiomatics for Bisimulation"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  give an axiomatic category theoretic account of bisimulation in process algebras based on the idea of functional bisimulations as open maps.  work with 2-monads, T, on Cat. Operations on processes, such as nondeterministic sum, prexing and parallel composition are modelled using functors in the Kleisli category for the 2-monad T.  may define the notion of open map for any such 2-monad; in examples of interest, that agrees exactly with the usual notion of functional bisimulation. Under a condition on T, namely that it be a dense KZ-monad, which  define, it follows that functors in Kl(T) preserve open maps, i.e., they respect functional bisimulation.  further investigate structures on Kl(T) that exist for axiomatic reasons, primarily because T is a dense KZ-monad, and  study how those structures help to model operations on processes.  outline how this analysis gives ideas for modelling higher order processes.  conclude by making comparison with the use of presheaves and profunctors to model process calculi."}]