Density theorem (category theory)

id: density-theorem-category-theory-320-9211886
title: Density theorem (category theory)
text: In category theory, a branch of mathematics, the density theorem states that every presheaf of sets is a colimit of representable presheaves in a canonical way. For example, by definition, a simplicial set is a presheaf on the simplex category Δ and a representable simplicial set is exactly of the form Δ n = Hom ⁡ so the theorem says: for each simplicial set X, where the colim runs over an index category determined by X.
brand slug: wiki
category slug: encyclopedia
description:
original url: https://en.wikipedia.org/wiki/Density_theorem_(category_theory)
date created:
date modified: 2023-01-11T14:54:29Z
main entity: {"identifier":"Q48996306","url":"https://www.wikidata.org/entity/Q48996306"}
image:
fields total: 13
integrity: 13

Related Entries

Explore Next Part