Dobrze zaostrzony kategoria - Well-pointed category

W teorii kategorii , kategorii z zaciskiem przedmiotu jest dobrze wskazał , jeśli dla każdej pary strzałki tak, że istnieje strzałka takie, że . (Strzałki nazywane są elementy globalne lub punkty z kategorii; a. Dobrze zaostrzony kategoria jest więc taki, który ma „wystarczająco dużo punktów”, by odróżnić zakaz równe strzałki) ${\ 1} displaystyle$${\ Displaystyle F, G: A \ do B}$${\ Displaystyle f \} g Neq$${\ Displaystyle P 1 \ w A}$${\ Displaystyle f \ Circ P \ neq g \ p} Circ$${\ P} displaystyle$

Zobacz też

• spiczasty kategoria

Referencje

• Pitts, Andrew M. (2013). Zestawy nominalne: Nazwy i symetrii w dziedzinie informatyki . Cambridge Tracts Teoretycznej informatyki. 57 . Cambridge University Press . p. 16. ISBN  1107017785 .

Ta teoria kategorii kondensatorem artykuł jest en . Można źródło Wikipedia rozszerza ją . v T mi