Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Soient: I un ensemble préordonné filtrant à droite pour une relation d'ordre notée (≤); (E_α)_{α∈I} une famille d'ensembles, ayant I pour ensemble d'indices. Pour tout couple (α,β) d'éléments de I tels que α≤β, soit Γ_βα=(G_βα, E_α, E_β) une correspondance de source E_α et de but E_β. On suppose que la famille (Γ_βα) satisfait aux axiomes: (L1) Γ_γβ ∘ Γ_βα = Γ_γα pour α≤β≤γ et L1)2 Γ_αα =1_E_α, où 1_E_α =(Δ_E_α, E_α, E_α) est la correspondance identique de E_α. Soit G = ∪_{α∈I} x_{i∈I_α} l'ensemble somme de la famille (E_α). La relation R{x,y} entre éléments de G, définie par «∃ y, …
