We show that there exists a natural non-degenerate pairing of the homomorphism space between two neighbor standard modules over a quasi-hereditary algebra with the first extension space between the corresponding costandard modules and vise versa. Investigation of this phenomenon leads to a family of pairings involving standard, costandard and tilting modules. In the graded case, under some ”Kos...

We study relational structures (especially graphs and posets) which satisfy the analogue of homogeneity but for homomorphisms rather than isomorphisms. The picture is rather different. Our main results are partial characterisations of countable graphs and posets with this property; an analogue of Fraı̈ssé’s Theorem; and representations of monoids as endomorphism monoids of such structures. ∗This...

This paper introduces accumulation into list homomorphisms for systematic development of both efficient and correct parallel programs. New parallelizable recursive pattern called H-homomorphism is given, and transformations from sequential patterns in the H-form and Hform into (H-)homomorphism are shown. We illustrate the power of our formalization by developing a novel and general parallel pro...

We discuss the construction of a long semi-exact Mayer–Vietoris sequence for homology any finite union open subspaces. This is used to obtain topological conditions representation integral meromorphic n-form on an n-dimensional complex manifold in terms Grothendieck residues. For such exist, it necessary that cycle integration separates set polar hypersurfaces form. The separation condition num...

ABSTRACT In this article an attempt has been made to study some new algebraic structures of intuitionistic multi-anti fuzzy normal subgroups under homomorphism are discussed. Keywords Intuitionistic multi-fuzzy set (IMFS), subgroup (IMAFSG), (IMAFNSG). Mathematics Subject Classification 20N25, 03E72, 08A72, 03F55, 06F35, 03G25, 08A05

The first-order theory of subtypes as inclusions developed in Part I is extended to a higher-order context This involves providing a higher-order equational logic for (inclusive) subtypes, a categorical semantics for such a logic that is complete and has initial models, and a proof that this higher-order logic is a conservative extension of its firstorder counterpart This higher-order categoric...