The generalized fuzzy valued $theta$-Choquet integrals will beestablished for the given $mu$-integrable fuzzy valued functionson a general fuzzy measure space, and the convergence theorems ofthis kind of fuzzy valued integral are being discussed.Furthermore, the whole of integrals is regarded as a fuzzy valuedset function on measurable space, the double-null asymptoticadditivity and pseudo-doub...

Let W → C be degeneration of smooth varieties so that the special fiber has normal crossing singularity. In this paper, we first constructed the stack of expanded degenerations of W . We then constructed the moduli space of stable morphisms to this stack, which provides a degeneration of the moduli spaces of stable morphisms associated to W/C. Using similar technique, for a pair of smooth varie...

A logic of orthogonality characterizes all “orthogonality consequences” of a given class Σ of morphisms, i.e. those morphisms s such that every object orthogonal to Σ is also orthogonal to s. A simple four-rule deduction system is formulated which is sound in every cocomplete category. In locally presentable categories we prove that the deduction system is also complete (a) for all classes Σ of...

Software design implies searching for and establishing an adequate morphism between the real world and the desired software. Morphisms establish correspondences between different domains while some properties are preserved, at the same time. It allows seeing different things as the same, taking the substitute image for the real one. The more adjusted to reality the morphism is, the better the s...

Institutions were introduced by Goguen and Burstall [GB84, GB85, GB86, GB92] to formally capture the notion of logical system. Interpreting institutions as functors, and morphisms and representations of institutions as natural transformations, we give elegant proofs for the completeness of the categories of institutions with morphisms and representations, respectively, show that the duality bet...

In this paper we investigate the structure of most general kind substitution shifts, including non-minimal ones and allowing erasing morphisms. We prove decidability all properties these morphisms with respect to shift space generated by iteration, such as aperiodicity, recognizability, irreducibility or minimality.