What is the meaning of Direct_limit?

A set of equivalence classes which partition the disjoint union of the members of a direct system; each equivalence class being a sort of “drainage basin” of the mappings (of the morphisms) of the direct system, if these are analogically considered as “rivers”. (If ik, jk in the indexing poset, then there exist fik:AiAk and fjk:AjAk. If aiAi, ajAj such that fik(ai)=fjk(aj) then aiaj. If k = j then fjj(aj)=aj, fij(ai)=aj.)

a colimit

Source: wiktionary.org

Search

Search words containing

© 2026 5LetterWords.org · All rights reserved.