- Section (category theory)
In category theory, a branch of mathematics, a section (or coretraction) is a right inverse of a morphism. Dually, a retraction (or retract) is a left inverse. In other words, if and are morphisms whose composition is the identity morphism on Y, then g is a section of f, and f is a retraction of g.
If section of a morphism exists, it is called sectionable. Dually, if retraction of a morphism exists, it is called retractable.
The categorical concept of a section is important in homological algebra, and is also closely related to the notion of a section of a fiber bundle in topology: in the latter case, a section of a fiber bundle is a section of the bundle projection map of the fiber bundle.
Wikimedia Foundation. 2010.
Look at other dictionaries:
Cone (category theory) — In category theory, a branch of mathematics, the cone of a functor is an abstract notion used to define the limit of that functor. Cones make other appearances in category theory as well. Contents 1 Definition 2 Equivalent formulations 3 Category … Wikipedia
Section — may refer to:* Section (bookbinding), papers folded during bookbinding * Section (botany) * Section (category theory), also in homological algebra, and including: ** Section (fiber bundle), in topology ** Part of a sheaf (mathematics) * Section… … Wikipedia
Section (theorie des categories) — Section (théorie des catégories) Dans le domaine mathématique de la théorie des catégories, en se prenant un couple , tel que (l identité sur Y), on appelle g une section de f, et f une retraction de g. En d autres termes, une section est l… … Wikipédia en Français
Section (mathematics) — In mathematics, section can refer to: * Section (category theory), also in homological algebra, and including: ** Section (fiber bundle), in topology * Section (group theory), a subquotient of a group * Cross section (geometry), the intersection… … Wikipedia
Section (théorie des catégories) — Pour les articles homonymes, voir Section. Dans le domaine mathématique de la théorie des catégories, en se prenant un couple , tel que (l identité sur Y), on appelle g une section de f, et f une rétraction … Wikipédia en Français
Category (mathematics) — In mathematics, a category is an algebraic structure that comprises objects that are linked by arrows . A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A … Wikipedia
Category of being — In metaphysics (in particular, ontology), the different kinds or ways of being are called categories of being or simply categories. To investigate the categories of being is to determine the most fundamental and the broadest classes of entities.… … 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
Von Neumann–Bernays–Gödel set theory — In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of the canonical axiomatic set theory ZFC. A statement in the language of ZFC is provable in NBG if and only … Wikipedia
Number theory — A Lehmer sieve an analog computer once used for finding primes and solving simple diophantine equations. Number theory is a branch of pure mathematics devoted primarily to the study of the integers. Number theorists study prime numbers (the… … Wikipedia