EuDML | Browse

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Displaying 21 – 40 of 158

Łukasiewicz tribes are absolutely sequentially closed bold algebras

Roman Frič (2002)

Czechoslovak Mathematical Journal

We show that each sequentially continuous (with respect to the pointwise convergence) normed measure on a bold algebra of fuzzy sets (Archimedean $M V$ -algebra) can be uniquely extended to a sequentially continuous measure on the generated Łukasiewicz tribe and, in a natural way, the extension is maximal. We prove that for normed measures on Łukasiewicz tribes monotone (sequential) continuity implies sequential continuity, hence the assumption of sequential continuity is not restrictive. This yields...

(Strongly) Gorenstein injective modules over upper triangular matrix Artin algebras

Chao Wang, Xiao Yan Yang (2017)

Czechoslovak Mathematical Journal

Let $Λ = (\begin{matrix} A & M \\ 0 & B \end{matrix})$ be an Artin algebra. In view of the characterization of finitely generated Gorenstein injective $Λ$ -modules under the condition that $M$ is a cocompatible $(A, B)$ -bimodule, we establish a recollement of the stable category $\bar{Ginj (Λ)}$ . We also determine all strongly complete injective resolutions and all strongly Gorenstein injective modules over $Λ$ .

...-Structure en K-théorie algébrique.

CH. Kratzer (1980)

Commentarii mathematici Helvetici

(t2 - t)-Reciprocities on the Affine Line and Matsumoto's Theorem.

Frans Keune (1975)

Inventiones mathematicae

$ϰ$ -Lindelöf locales and their spatial parts

P. B. Johnson (1991)

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

$μ$ -bicomplete categories and parity games

Luigi Santocanale (2002)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

For an arbitrary category, we consider the least class of functors containing the projections and closed under finite products, finite coproducts, parameterized initial algebras and parameterized final coalgebras, i.e. the class of functors that are definable by $μ$ -terms. We call the category $μ$ -bicomplete if every $μ$ -term defines a functor. We provide concrete examples of such categories and explicitly characterize this class of functors for the category of sets and functions. This goal is achieved...

μ-Bicomplete Categories and Parity Games

Luigi Santocanale (2010)

RAIRO - Theoretical Informatics and Applications

For an arbitrary category, we consider the least class of functors containing the projections and closed under finite products, finite coproducts, parameterized initial algebras and parameterized final coalgebras, i.e. the class of functors that are definable by μ-terms. We call the category μ-bicomplete if every μ-term defines a functor. We provide concrete examples of such categories and explicitly characterize this class of functors for the category of sets and functions. This goal is achieved...