Well-pointed category

Well-pointed category

In category theory, a cartesian closed category is well-pointed if for every pair of arrows f,g:A o B such that f eq g, there is an arrow p:1 o A such that fcirc p eq gcirc p.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Category of topological spaces — In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again… …   Wikipedia

  • well-booked — adj. Having access to a substantial number or a wide variety of books. Example Citations: Bill McCoy, the general manager of Adobe s e publishing business, says: Some of us have thousands of books at home, can walk to wonderful big box bookstores …   New words

  • Homotopy category — In mathematics, a homotopy category is a category whose objects are topological spaces and whose morphisms are homotopy classes of continuous functions. The homotopy category of all topological spaces is often denoted hTop or Toph.Homotopy… …   Wikipedia

  • Enriched category — In category theory and its applications to mathematics, an enriched category is a category whose hom sets are replaced by objects from some other category, in a well behaved manner.DefinitionWe define here what it means for C to be an enriched… …   Wikipedia

  • Element (category theory) — In category theory, the concept of an element, or a point, generalizes the more usual set theoretic concept of an element of a set to an object of any category. This idea often allows to restate definitions or properties of morphisms (such as… …   Wikipedia

  • List of mathematics articles (W) — NOTOC Wad Wadge hierarchy Wagstaff prime Wald test Wald Wolfowitz runs test Wald s equation Waldhausen category Wall Sun Sun prime Wallenius noncentral hypergeometric distribution Wallis product Wallman compactification Wallpaper group Walrasian… …   Wikipedia

  • Algebraic torus — In mathematics, an algebraic torus is a type of commutative affine algebraic group. These groups were named by analogy with the theory of tori in Lie group theory (see maximal torus). The theory of tori is in some sense opposite to that of… …   Wikipedia

  • literature — /lit euhr euh cheuhr, choor , li treuh /, n. 1. writings in which expression and form, in connection with ideas of permanent and universal interest, are characteristic or essential features, as poetry, novels, history, biography, and essays. 2.… …   Universalium

  • Business and Industry Review — ▪ 1999 Introduction Overview        Annual Average Rates of Growth of Manufacturing Output, 1980 97, Table Pattern of Output, 1994 97, Table Index Numbers of Production, Employment, and Productivity in Manufacturing Industries, Table (For Annual… …   Universalium

  • HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… …   Encyclopedia of Judaism

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”