- terminal morphism
- мат. терминальный морфизм
Большой англо-русский и русско-английский словарь. 2001.
terminal morphism
Смотреть что такое "terminal morphism" в других словарях:
-morphism — |mȯ(r)ˌfizəm noun combining form ( s) Etymology: Late Latin morphus morphous (from Greek morphos) + English ism more at morphous 1 … Useful english dictionary
Initial and terminal objects — Terminal element redirects here. For the project management concept, see work breakdown structure. In category theory, an abstract branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C,… … Wikipedia
Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… … Wikipedia
Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… … 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
Fibred category — Fibred categories are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the various situations in geometry and algebra in which inverse images (or pull backs) of objects such as vector bundles … Wikipedia
Glossary of category theory — This is a glossary of properties and concepts in category theory in mathematics.CategoriesA category A is said to be: * small provided that the class of all morphisms is a set (i.e., not a proper class); otherwise large. * locally small provided… … Wikipedia
Product (category theory) — In category theory, the product of two (or more) objects in a category is a notion designed to capture the essence behind constructions in other areas of mathematics such as the cartesian product of sets, the direct product of groups, the direct… … Wikipedia
Comma category — In mathematics, a comma category (a special case being a slice category) is a construction in category theory. It provides another way of looking at morphisms: instead of simply relating objects of a category to one another, morphisms become… … Wikipedia
Cartesian closed category — In category theory, a category is cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors. These categories are particularly important in… … Wikipedia
Universal property — In various branches of mathematics, certain constructions are frequently defined or characterised by an abstract property which requires the existence of a unique morphism under certain conditions. These properties are called universal properties … Wikipedia
