Kvantaloid - Quantaloid

tento článek může být pro většinu čtenářů příliš technická na to, aby tomu rozuměli. Prosím pomozte to vylepšit na aby to bylo srozumitelné pro neodborníky, aniž by byly odstraněny technické podrobnosti. (Září 2010) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

V matematice, a kvantaloid je kategorie obohacený přes kategorii Sup z suplattices.^[1] Jinými slovy pro všechny objekty A, b the morfismus objekt mezi nimi není jen a soubor ale kompletní mříž, takovým způsobem, aby složení morfismů zachovalo všechna spojení:

${displaystyle (igvee _ {i} f_ {i}) circ (igvee _ {j} g_ {j}) = igvee _ {i, j} (f_ {i} cirkus g_ {j})}$

Mřížka endomorfismu ${displaystyle mathrm {Hom} (X, X)}$ jakéhokoli objektu ${displaystyle X}$ v kvantaloidu je kvantale, odkud název.

Reference

Tento teorie kategorií související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.