A probabilistic structure on sequential dynamical systems is introduced here, the new model will be called Probabilistic Sequential Network, PSN. The morphisms of Probabilistic Sequential Networks are defined using two algebraic conditions. It is proved here that two homomorphic Probabilistic Sequential Networks have the same equilibrium or steady state probabilities if the morphism is either a...

We define a strong relation in a category C to be a span which is “orthogonal” to the class of jointly epimorphic pairs of morphisms. Under the presence of finite limits, a strong relation is simply a strong monomorphism R → X × Y . We show that a category C with pullbacks and equalizers is a weakly Mal’tsev category if and only if every reflexive strong relation in C is an equivalence relation...

A multifiltration is a functor indexed by Nr that maps any morphism to a monomorphism. The goal of this paper is to describe in an explicit and combinatorial way the natural Nr-graded R[x1, . . . , xr]-module structure on the homology of a multifiltration of simplicial complexes. To do that we study multifiltrations of sets and vector spaces. We prove in particular that the Nr-graded R[x1, . . ...

LetX be a compact metric space and let Λ be a Z (k ≥ 1) action onX.We give a solution to a version of Voiculescu’s problem of AF-embedding: The crossed product C(X) ⋊Λ Z k can be embedded into a unital simple AF-algebra if and only if X admits a strictly positive Λ-invariant Borel probability measure. Let C be a unital AH-algebra, let G be a finitely generated abelian group and let Λ : G → Aut(...

We present a simple and easy to understand explanation of ML type inference and parametric polymorphism within the framework of type monomorphism, as in the rst order typed lambda calculus. We prove the equivalence of this system with the standard interpretation using type polymorphism, and extend the equivalence to include polymorphic xpoints. The monomorphic interpretation gives a purely comb...

we study topological von neumann regularity and principal von neumann regularity of banach algebras. our main objective is comparing these two types of banach algebras and some other known banach algebras with one another. in particular, we show that the class of topologically von neumann regular banach algebras contains all $c^*$-algebras, group algebras of compact abelian groups and cer...

We develop an explicit covering theory for complexes of groups, parallel to that developed for graphs of groups by Bass. Given a covering of developable complexes of groups, we construct the induced monomorphism of fundamental groups and isometry of universal covers. We characterize faithful complexes of groups and prove a conjugacy theorem for groups acting freely on polyhedral complexes. We a...

We extend the notion of ‘homomorphism-homogeneity’ to a wider class of kinds of maps than previously studied, and we investigate the relations between the resulting notions of homomorphism-homogeneity, giving several examples. We also give further details on related work reported in [Deborah Lockett and John K. Truss, Generic endomorphisms of homogeneous Structures,in ‘Groups and model theory’,...

The category k-BFAlg of all k-algebras with a bilinear form, whose objects are pairs (R,b) where R is k-algebra and b:R×R→k mapping, equivalent to the unital A for which canonical homomorphism (k,1)→(A,1A) splitting monomorphism in k-Mod. Call left inverses this “weak augmentations” algebra. There isomorphism between weak augmentation (A,bA) form bA compatible multiplication A, i.e., such that ...