In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows...
9 KB (944 words) - 09:25, 24 April 2024
Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the...
34 KB (3,827 words) - 21:31, 20 August 2024
In category theory, a branch of mathematics, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit...
15 KB (1,978 words) - 02:10, 30 July 2024
Higher Topos Theory is a treatise on the theory of ∞-categories written by American mathematician Jacob Lurie. In addition to introducing Lurie's new...
4 KB (420 words) - 21:49, 30 January 2023
Applied category theory is an academic discipline in which methods from category theory are used to study other fields including but not limited to computer...
7 KB (665 words) - 09:33, 20 August 2024
In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products...
28 KB (4,352 words) - 03:41, 22 March 2024
in the category of sets). A topos can also be used to represent a logical theory. Mathematics portal Enriched category Higher category theory Quantaloid...
21 KB (2,521 words) - 21:37, 12 August 2024
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...
13 KB (1,941 words) - 22:41, 24 August 2024
generalization of the notion of a category. The study of such generalizations is known as higher category theory. Quasi-categories were introduced by Boardman...
9 KB (1,178 words) - 23:09, 8 March 2024
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...
14 KB (2,379 words) - 20:32, 3 February 2024