In category theory, a branch of mathematics, there are several ways (completions) to enlarge a given category in a way somehow analogous to a completion...

Dedekind–MacNeille completion, constructing the smallest complete lattice containing a given partial order Completion (algebra) completions in category theory Autocomplete...

Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the...

linear maps between them. Pro-completions are less prominent than ind-completions, but applications include shape theory. Pro-objects also arise via their...

In category theory, the product of two (or more) objects in a category is a notion designed to capture the essence behind constructions in other areas...

In category theory, a branch of mathematics, a pushout (also called a fibered coproduct or fibered sum or cocartesian square or amalgamated sum) is the...

In category theory, a branch of mathematics, a presheaf on a category C {\displaystyle C} is a functor F : C o p → S e t {\displaystyle F\colon C^{\mathrm...

In category theory, a branch of mathematics, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit...

In mathematics, the Yoneda lemma is a fundamental result in category theory. It is an abstract result on functors of the type morphisms into a fixed object...

In category theory and related fields of mathematics, an envelope is a construction that generalizes the operations of "exterior completion", like completion...