Modality in open Institutions with Concrete Syntax
We propose a new framework for the study of continuous time dynamical systems on networks. We view such dynamical systems as collections of interacting control systems. We show that a class of maps between graphs called graph fibrations give rise to maps between dynamical systems on networks. This allows us to produce conjugacy between dynamical systems out of combinatorial data. In particular we show that surjective graph fibrations lead to synchrony subspaces in networks. The injective graph fibrations,...
We introduce the connected sum for modular operads. This gives us a graded commutative associative product, and together with the BV bracket and the BV Laplacian obtained from the operadic composition and self-composition, we construct the full Batalin-Vilkovisky algebra. The BV Laplacian is then used as a perturbation of the special deformation retract of formal functions to construct a minimal model and compute an effective action.
For every module we have a natural monomorphism and we focus our attention on the case when is also an epimorphism. Some other colimits are also considered.
For every module M we have a natural monomorphism and we focus attention on the case when Φ is also an epimorphism. The corresponding modules M depend on thickness of the cardinal number card(I). Some other limits are also considered.