• a terminal object (also called terminal element): T is terminal if for every object X in C there exists exactly one morphism X → T. Initial objects are...
    11 KB (1,336 words) - 16:25, 21 January 2024
  • Thumbnail for Universal property
    described more concisely as initial and terminal objects in a comma category (i.e. one where morphisms are seen as objects in their own right). Let F :...
    24 KB (3,936 words) - 02:15, 26 February 2024
  • Thumbnail for Greatest element and least element
    supremum and essential infimum Initial and terminal objects Maximal and minimal elements Limit superior and limit inferior (infimum limit) Upper and lower...
    17 KB (2,870 words) - 17:45, 2 June 2024
  • Outline of category theory (category Outlines of mathematics and logic)
    Category of magmas Initial object Terminal object Zero object Subobject Group object Magma object Natural number object Exponential object Epimorphism Monomorphism...
    5 KB (402 words) - 15:20, 29 March 2024
  • any other zeros are considered to be non-trivial. Degeneracy Initial and terminal objects List of mathematical jargon Pathological Trivialism Trivial measure...
    11 KB (1,595 words) - 13:18, 26 September 2024
  • 0o, or zero object, a mathematics term for a simultaneously initial and terminal object 0O, also ZO, an abbreviation for zero order Zero-order hold,...
    1 KB (185 words) - 17:08, 20 October 2023
  • Thumbnail for Natural numbers object
    with a terminal object 1 and binary coproducts (denoted by +), an NNO can be defined as the initial algebra of the endofunctor that acts on objects by X...
    7 KB (893 words) - 18:04, 18 June 2023
  • absorbing element, and whose principal ideal is the smallest ideal. A zero object in a category is both an initial and terminal object (and so an identity...
    8 KB (1,104 words) - 19:12, 4 September 2024
  • colimits. The zero ring serves as both an initial and terminal object in Rng (that is, it is a zero object). It follows that Rng, like Grp but unlike...
    14 KB (1,814 words) - 01:52, 26 March 2024
  • by +), and binary products (denoted by ×), a list object over A can be defined as the initial algebra of the endofunctor that acts on objects by X ↦ 1...
    4 KB (397 words) - 01:04, 11 May 2020
  • 2-morphisms. The initial object of Cat is the empty category 0, which is the category of no objects and no morphisms. The terminal object is the terminal category...
    3 KB (268 words) - 11:52, 31 October 2021
  • category M, a fibrant object A of M is an object that has a fibration to the terminal object of the category. The fibrant objects of a closed model category...
    1 KB (165 words) - 12:00, 10 November 2023
  • Thumbnail for Bloomberg Terminal
    The Bloomberg Terminal is a computer software system provided by the financial data vendor Bloomberg L.P. that enables professionals in the financial service...
    24 KB (2,691 words) - 00:22, 17 July 2024
  • In mathematics, an initial algebra is an initial object in the category of F-algebras for a given endofunctor F. This initiality provides a general framework...
    9 KB (1,144 words) - 01:06, 17 November 2024
  • represented by certain decorated framed tangle diagrams, where the initial and terminal objects are represented by the boundary components of the tangle. In...
    9 KB (1,657 words) - 18:13, 9 October 2024
  • the absence of other forces, objects and people will experience weightlessness in these situations. Examples of objects not in free-fall: Flying in an...
    17 KB (2,620 words) - 05:22, 25 October 2024
  • called Cartesian closed if and only if it satisfies the following three properties: It has a terminal object. Any two objects X and Y of C have a product X ×Y...
    18 KB (2,609 words) - 16:55, 20 November 2024
  • For each object Y in D, choose an initial morphism (F(Y), ηY) from Y to G, so that ηY : Y → G(F(Y)). We have the map of F on objects and the family...
    63 KB (9,976 words) - 01:52, 7 November 2024
  • model category has a terminal object by completeness and an initial object by cocompleteness, since these objects are the limit and colimit, respectively...
    18 KB (2,402 words) - 15:12, 12 October 2024
  • groups or rings, and the product of topological spaces. Essentially, the product of a family of objects is the "most general" object which admits a morphism...
    14 KB (2,379 words) - 17:32, 11 September 2024
  • This is a timeline of category theory and related mathematics. Its scope ("related mathematics") is taken as: Categories of abstract algebraic structures...
    87 KB (273 words) - 15:13, 12 October 2024
  • {\displaystyle C} be a category and let X 1 {\displaystyle X_{1}} and X 2 {\displaystyle X_{2}} be objects of C . {\displaystyle C.} An object is called the coproduct...
    12 KB (2,129 words) - 00:42, 19 June 2024
  • will be both terminal (a nullary product) and initial (a nullary coproduct), it will in fact be a zero object. Indeed, the term "zero object" originated...
    12 KB (1,667 words) - 22:11, 28 October 2024
  • objects are lists (finite sequences) A1, ..., An of objects of C; there are arrows between two objects A1, ..., Am and B1, ..., Bn only if m = n, and...
    18 KB (2,431 words) - 16:33, 30 September 2024
  • product, i.e., a final object) is necessarily a coproduct (or initial object in the case of an empty diagram), and hence a biproduct, and conversely every finitary...
    14 KB (1,496 words) - 11:47, 26 March 2024
  • ≈9 m/s, and so on. Terminal velocity for very small objects (pollen, etc.) at low Reynolds numbers is determined by Stokes law. In short, terminal velocity...
    39 KB (5,591 words) - 03:49, 30 October 2024
  • xy = 0 for all x and y. This article refers to the one-element ring.) In the category of rings, the zero ring is the terminal object, whereas the ring...
    6 KB (774 words) - 00:21, 24 September 2024
  • to coproducts and coequalizers (if there is an initial object) in the sense that: Coproducts are a pushout from the initial object, and the coequalizer...
    13 KB (1,941 words) - 22:41, 24 August 2024
  • object or map object is the categorical generalization of a function space in set theory. Categories with all finite products and exponential objects...
    8 KB (1,143 words) - 18:49, 9 October 2024
  • factorization is possible for every cone. Limits may also be characterized as terminal objects in the category of cones to F. It is possible that a diagram does not...
    28 KB (4,352 words) - 03:41, 22 March 2024