Construction of an homology and a cohomology theory associated to a first order formula

René Guitart

Displaying similar documents to “Construction of an homology and a cohomology theory associated to a first order formula”

Coherent prohomotopical algebra

Timothy Porter (1977)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

Multilinearity of sketches.

Benson, David B. (1997)

Theory and Applications of Categories [electronic only]

Similarity:

Monoidal categories for Morita theory

Enrico M. Vitale (1992)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

Endomorphism rings through equivalences

J. L. García, M. Saorín (1988)

Extracta Mathematicae

Similarity:

In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?

Bui Huy Hien, I. Sain (1983)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

A Morita type theorem for a sort of quotient categories

Simion Breaz (2005)

Czechoslovak Mathematical Journal

Similarity:

We consider the quotient categories of two categories of modules relative to the Serre classes of modules which are bounded as abelian groups and we prove a Morita type theorem for some equivalences between these quotient categories.

A 2-categorical approach to change of base and geometric morphisms. II.

Carboni, A., Kelly, G.M., Verity, D., Wood, R.J. (1998)

Theory and Applications of Categories [electronic only]

Similarity:

Entity-relationship-attribute designs and sketches.

Johnson, Michael, Rosebrugh, Robert, Wood, R.J. (2002)

Theory and Applications of Categories [electronic only]

Similarity:

Properties of G-atoms and full Galois covering reduction to stabilizers

Piotr Dowbor (2000)

Colloquium Mathematicae

Similarity:

Given a group G of k-linear automorphisms of a locally bounded k-category R it is proved that the endomorphism algebra $E n d_{R} (B)$ of a G-atom B is a local semiprimary ring (Theorem 2.9); consequently, the injective $E n d_{R} (B)$ -module ${(E n d_{R} (B))}^{*}$ is indecomposable (Corollary 3.1) and the socle of the tensor product functor $- \otimes_{R} B^{*}$ is simple (Theorem 4.4). The problem when the Galois covering reduction to stabilizers with respect to a set U of periodic G-atoms (defined by the functors $Φ^{U} : ∐_{B \in U} m o d k G_{B} \to m o d (R / G)$ and $Ψ^{U} : m o d (R / G) \to \prod_{B \in U} m o d k G_{B}$ )is full (resp. strictly full)...