Weak equivalence — In mathematics, a weak equivalence is a notion from homotopy theory which in some sense identifies objects that have the same basic shape . This notion is formalized in the axiomatic definition of a closed model category.Formal definitionA closed … Wikipedia
Weak Hausdorff space — In mathematics, a weak Hausdorff space is a topological space where the image of every continuous map from a compact Hausdorff space into the space is closed. [cite web |url=http://neil strickland.staff.shef.ac.uk/courses/homotopy/cgwh.pdf |title … Wikipedia
Higher category theory — is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Contents 1 Strict higher categories 2 Weak higher… … Wikipedia
n-category — In mathematics, n categories are a high order generalization of the notion of category. The category of (small) n categories n Cat is defined by induction on n by: the category 0 Cat is the category Set of sets and functions, the category (n+1)… … Wikipedia
N-category — In mathematics, n categories are a high order generalization of the notion of category. The category of (small) n categories n Cat is defined by induction on n by: * the category 0 Cat is the category Set of sets and functions, * the category ( n … Wikipedia
Timeline of category theory and related mathematics — This is a timeline of category theory and related mathematics. By related mathematics is meant first hand * Homological algebra * Homotopical algebra * Topology using categories, especially algebraic topology * Categorical logic * Foundations of… … Wikipedia
n-category number — In mathematics, the n category number of a mathematician is a humorous construct invented by Dan Freed[1], intended to measure the capacity of that mathematician to stomach the use of higher categories. It is defined as the largest number n such… … Wikipedia
N-category number — In mathematics, the n category number of a mathematician is a humorous construct invented by Dan FreedSee [http://math.ucr.edu/home/baez/week255.html This Week s Finds 255] .] , intended to measure the capacity of that mathematician to stomach… … Wikipedia
Model 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… … Wikipedia
Limit (category theory) — In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint… … Wikipedia