initial object
51Μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… …
52F-algebra — In mathematics, specifically in category theory, an F algebra for an endofunctor :F : mathbf{C}longrightarrow mathbf{C} is an object A of mathbf{C} together with a mathbf{C} morphism :alpha : FA longrightarrow A. In this sense F algebras are dual …
53Pushout (category theory) — In category theory, a branch of mathematics, a pushout (also called a fibered coproduct or fibered sum or cocartesian square or amalgamed sum) is the colimit of a diagram consisting of two morphisms f : Z → X and g : Z → Y with a common …
54Category of sets — In mathematics, the category of sets, denoted as Set, is the category whose objects are all sets and whose morphisms are all functions. It is the most basic and the most commonly used category in mathematics.Properties of the category of setsThe… …
55Exponentiation — Exponent redirects here. For other uses, see Exponent (disambiguation). Exponentiation is a mathematical operation, written as an, involving two numbers, the base a and the exponent (or power) n. When n is a positive integer, exponentiation… …
56Model category — In mathematics, particularly in homotopy theory, a model category is a category with distinguished classes of morphisms ( arrows ) called weak equivalences , fibrations and cofibrations . These abstract from a conventional homotopy category, of… …
57Universal 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 …
58Topos — For topoi in literary theory, see Literary topos. For topoi in rhetorical invention, see Inventio. In mathematics, a topos (plural topoi or toposes ) is a type of category that behaves like the category of sheaves of sets on a topological space.… …
59Monoidal category — In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor ⊗ : C × C → C which is associative, up to a natural isomorphism, and an object I which is both a left and right identity for ⊗, again up to a… …
60Empty set — ∅ redirects here. For similar looking symbols, see Ø (disambiguation). The empty set is the set containing no elements. In mathematics, and more specifically set theory, the empty set is the unique set having no elements; its size or cardinality… …
