Related papers: Projective clone homomorphisms
We study clones modulo minor homomorphisms, which are mappings from one clone to another preserving arities of operations and respecting permutation and identification of variables. Minor-equivalent clones satisfy the same sets of…
We classify complex compact parallelizable manifolds which admit flat torsion free holomorphic affine connections. We exhibit complex compact manifolds admitting holomorphic affine connections, but no flat torsion free holomorphic affine…
Recently, several authors have adopted new alternative approaches in the study of some classical notions of modules. Among them, we find the notion of subprojectivity which was introduced to measure in a way the degree of projectivity of…
We introduce the notion of clone algebra, intended to found a one-sorted, purely algebraic theory of clones. Clone algebras are defined by true identities and thus form a variety in the sense of universal algebra. The most natural clone…
Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…
We show that C if is a proper model category, then the pro-category pro-C has a strict model structure in which the weak equivalences are the levelwise weak equivalences. The strict model structure is the starting point for many homotopy…
A clonoid is a set of finitary functions from a set $A$ to a set $B$ that is closed under taking minors. Hence clonoids are generalizations of clones. By a classical result of Post, there are only countably many clones on a 2-element set.…
In this paper we consider certain proejctions in the corona algebra of $C(X)\otimes B$ associated to $(p_0, p_1, \dots, p_n)$ where $p_i: X_i \to \mt_s$ a continuous projection valued section to the multiplier algebra of a stable…
A homomorphism from a graph G to a graph H is a function from the vertices of G to the vertices of H that preserves edges. A homomorphism is surjective if it uses all of the vertices of H and it is a compaction if it uses all of the…
Let G be a finite group, and let Omega:={t\in G\mid t^2=1}. Then Omega is a G-set under conjugation. Let k be an algebraically closed field of characteristic 2. It is shown that each projective indecomposable summand of the G-permutation…
Let $\mathcal A$ and $\mathcal B$ be two (complex) algebras. A linear map $\phi:{\mathcal A}\to{\mathcal B}$ is called $n$-homomorphism if $\phi(a_{1}... a_{n})=\phi(a_{1})...\phi(a_{n})$ for each $a_{1},...,a_{n}\in{\mathcal A}.$ In this…
Classically, the projective duality between joins of varieties and the intersections of varieties only holds in good cases. In this paper, we show that categorically, the duality between joins and intersections holds in the framework of…
If the inverse of a nonsingular polynomial matrix $L$ has a polynomial part then one can associate with $L$ a module over the ring of proper rational functions, which is related to the structure of $L$ at infinity. In this paper we…
Projective structures on curves appear naturally in many areas of mathematics, from extrinsic conformal geometry to analysis, where the main problem is to find qualitative information about the solutions of Hill equations. In this paper, we…
We discuss the relationship between (co)homology groups and categorical diagonalization. We consider the category of chain complexes in the category of finitely generated free modules on a commutative ring. For a fixed chain complex with…
Let G be a countable group. We proof that there is a model companion for the approximate theory of a Hilbert space with a group G of automorphisms. We show that G is amenable if and only if the structure induced by countable copies of the…
We prove some nice properties of anti-homomorphisms, some of which are analogic to that of homomorphisms. Meanwhile, we develop a new kind of composition called $*$-composition such that the $*$-composition of two anti-homomorphisms is…
Patterns on numerical semigroups are multivariate linear polynomials, and they are said to be admissible if there exists a numerical semigroup such that evaluated at any nonincreasing sequence of elements of the semigroup gives integers…
Every transformation monoid comes equipped with a canonical topology-the topology of pointwise convergence. For some structures, the topology of the endomorphism monoid can be reconstructed from its underlying abstract monoid. This…
Combinatorial categories satisfy a stronger form of Yoneda Lemma, namely, the isomorphism type of an object can be recovered by counting the number of homomorphisms from all other objects into it. In this work, we show that this property…