- directed colimit
- мат. направленный копредел
Большой англо-русский и русско-английский словарь. 2001.
directed colimit
Смотреть что такое "directed colimit" в других словарях:
Accessible category — The theory of accessible categories was introduced in 1989 by mathematicians Michael Makkai and Robert Paré in the setting of category theory. Their motivation was model theoretic, a branch of mathematical logic.J. Rosicky… … Wikipedia
Limit (category theory) — In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint… … Wikipedia
Diagram (category theory) — In category theory, a branch of mathematics, a diagram is the categorical analogue of an indexed family in set theory. The primary difference is that in the categorical setting one has morphisms. An indexed family of sets is a collection of sets … Wikipedia
Order theory — For a topical guide to this subject, see Outline of order theory. Order theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as… … Wikipedia
Direct limit — In mathematics, a direct limit (also called inductive limit) is a colimit of a directed family of objects . We will first give the definition for algebraic structures like groups and modules, and then the general definition which can be used in… … Wikipedia
Filtered category — In category theory, filtered categories generalize the notion of directed set.A category J is filtered when * it is not empty, * for every two objects j and j in J there exists an object k and two arrows f:j o k and f :j o k in J, * for every two … Wikipedia
Orbifold — This terminology should not be blamed on me. It was obtained by a democratic process in my course of 1976 77. An orbifold is something with many folds; unfortunately, the word “manifold” already has a different definition. I tried “foldamani”,… … Wikipedia
