initial object

  • 610 (number) — Zero redirects here. For other uses, see Zero (disambiguation). 0 −1 0 1 2 3 4 5 6 7 8 …

    Wikipedia

  • 62Zero morphism — In category theory, a zero morphism is a special kind of morphism exhibiting properties like those to and from a zero object. Suppose C is a category, and f : X → Y is a morphism in C. The morphism f is called a constant morphism (or… …

    Wikipedia

  • 63Representable functor — In mathematics, especially in category theory, a representable functor is a functor of a special form from an arbitrary category into the category of sets. Such functors give representations of an abstract category in terms of known structures (i …

    Wikipedia

  • 64Cone (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

  • 65List of category theory topics — This is a list of category theory topics, by Wikipedia page. Specific categories *Category of sets **Concrete category *Category of vector spaces **Category of graded vector spaces *Category of finite dimensional Hilbert spaces *Category of sets… …

    Wikipedia

  • 66Outline of category theory — The following outline is provided as an overview of and guide to category theory: Category theory – area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as… …

    Wikipedia

  • 67Empty product — In mathematics, an empty product, or nullary product, is the result of multiplying no factors. It is equal to the multiplicative identity 1, given that it exists for the multiplication operation in question, just as the empty sum the result of… …

    Wikipedia

  • 68Palestine Exploration Fund — Rock used by the PEF to mark the level of the Dead Sea in the beginning of the 20th century The Palestine Exploration Fund is a British society often simply known as the PEF. It was founded in 1865 and is still function …

    Wikipedia

  • 69Monad (category theory) — For the uses of monads in computer software, see monads in functional programming. In category theory, a branch of mathematics, a monad, Kleisli triple, or triple is an (endo )functor, together with two natural transformations. Monads are used in …

    Wikipedia

  • 70Scheme (mathematics) — In mathematics, a scheme is an important concept connecting the fields of algebraic geometry, commutative algebra and number theory. Schemes were introduced by Alexander Grothendieck so as to broaden the notion of algebraic variety; some consider …

    Wikipedia