The orientation morphism $Or(\cdot)(P)\colon \gamma\mapsto\dot{P}$ associates differential-polynomial flows $\dot{P}=Q(P)$ on spaces of bi-vectors $P$ finite-dimensional affine manifolds $N^d$ with (sums of) finite unoriented graphs $\gamma$ ordered sets edges and without multiple one-cycles. It is known that $d$-cocycles $\boldsymbol{\gamma}\in\ker d$ respect to the vertex-expanding differenti...

This paper examines the concept of simulation from a modelling viewpoint. How can one Mealy machine simulate the other one? We create formalism for simulation of Mealy machines. The injective s–morphism of the machine semigroups induces the simulation of machines [1]. We present the example of s–morphism such that it is not a homomorphism of semigroups. The story for the surjective s–morphisms ...

A word is cubefree if it contains no non-empty subword of the form xxx. A morphism h : Σ * → Σ * is k-uniform if h(a) has length k for all a ∈ Σ. A morphism is cubefree if it maps cubefree words to cubefree words. We show that for all k ≥ 0 there exists a k-uniform cubefree binary morphism.

Proposition 1.1. (a) Any open immersion is étale. (b) The composite of two étale morphisms is étale. (c) Any base change of an étale morphism is étale. (d) If φ ◦ ψ and φ are étale, then so is ψ. Proposition 1.2. Let f : X → Y be an étale morphism. (a) For all x ∈ X, OX,x and OY,f(x) have the same Krull dimension. (b) The morphism f is quasi-finite. (c) The morphism f is open. (d) If Y is reduc...

In this paper C denotes a category and o1, o2, o3 denote objects of C. Let C be a non empty category structure with units and let o be an object of C. Observe that 〈o, o〉 is non empty. The following propositions are true: (1) Let v be a morphism from o1 to o2, u be a morphism from o1 to o3, and f be a morphism from o2 to o3. If u = f · v and f −1 · f = id(o2) and 〈o1, o2〉 6= ∅ and 〈o2, o3〉 6= ∅...

Abstract. We introduce the concept of a morphism between coloured nets. Our definition generalizes Petris definition for ordinary nets. A morphism of coloured nets maps the topological space of the underlying undirected net as well as the kernel and cokernel of the incidence map. The kernel are flows along the transitionbordered fibres of the morphism, the cokernel are classes of markings of th...