This research aimed at evaluating the types and frequency of category shifts in the Persian translations of English poems based on Catford’s model of shifts. To this end, three English romantic poems of A Histo- ry of English Literature, namely, Blake’s ‘The Chimney Sweeper’, Coleridge’s ‘Kubla Khan’, and Keats’ ‘To Autumn’ along with their Persian t...

We present sufficient conditions under which effective descent morphisms in a quasivariety of universal algebras are the same as regular epimorphisms and examples for which they are the same as regular epimorphisms satisfying projectivity. 1. Preliminaries A variety is a full subcategory of the category of structures for a first order (one sorted) language, closed under substructures, products ...

Abstract We provide a constructive version of the notion sheaf models univalent type theory. start by relativizing existing theory to presheaves over base category. Any Grothendieck topology category then gives rise family left-exact modalities, and we recover model localizing presheaf with respect this modalities. some examples.

in this article, we have shown, for the add-point monad t, thepartial morphism category set*is isomorphic to the kleisli category sett. alsowe have proved that the category, sett, of t-algebras is isomorphic to thecategory set of pointed sets. finally we have established commutative squaresinvolving these categories.

For a cochain complex one can have the cohomology functor. In this paper we introduce the notion of precohomology for a cochain that is not a complex, i, e" dq+l 0 d q may not be zero, Such a cochain, with obJects and morphisms of an abelian category A, is called a cochain precomplex whose category is denoted by Pco (A). If a cochain precomplex is actually a cochain complex, then the notion of ...

Suppose given a Frobenius category E , i.e. an exact category with a big enough subcategory B of bijectives. Let E := E/B denote its classical stable category. For example, we may take E to be the category of complexes C(A) with entries in an additive category A, in which case E is the homotopy category of complexes K(A). Suppose given a finite poset D that satisfies the combinatorial condition...

We develop an Auslander-Reiten theory for triangulated categories which is based on Brown’s representability theorem. In a fundamental article [3], Auslander and Reiten introduced almost split sequences for the category of finitely generated modules over an artin algebra. These are short exact sequences which look almost like split exact sequences, but many authors prefer to call them Auslander...

Suppose given a Frobenius category E , i.e. an exact category with a big enough subcategory B of bijectives. Let E := E/B denote its classical homotopy category. For example, we may take E to be the category of complexes C(A) with entries in an additive category A, in which case E is the homotopy category of complexes K(A). Suppose given a finite poset D that satisfies the combinatorial conditi...

In the setting of enriched category theory, we describe dual adjunctions of the form L R : Spa −→ Alg between the dual of the category Spa of “spaces” and the category Alg of “algebras” that arise from a schizophrenic object , which is both an “algebra” and a “space”. We call such adjunctions logical connections. We prove that the exact nature of is that of a module that allows to lift optimall...

In nature, one observes that a K-theory of an object is defined in two steps. First a “structured” category is associated to the object. Second, a K-theory machine is applied to the latter category that produces an infinite loop space. We develop a general framework that deals with the first step of this process. The K-theory of an object is defined via a category of “locally trivial” objects w...