Huidige Locatie: Home -  Waar Air Max Kopen Antwerpen deze pullbacks die verwarring ontstaan De

Waar Air Max Kopen Antwerpen deze pullbacks die verwarring ontstaan De

Waar Air Max Kopen Antwerpen

In de afgelopen jaren is er veel discussie over de juiste definitie van distributieve categorieën geweest. Drie definities die wat steun hebben gehad zijn: (1) Een categorie met eindige sommen en producten zodanig dat de canonieke kaart δ: A × B + A × C → A × (B + C) is een isomorfisme (Walters). (2) Een categorie met eindige sommen en producten zodanig dat de canonieke functor +: A / A × A / B → A / (A + B) is een equivalentie (Monro). (3) Een categorie met eindige sommen en eindige grenzen zodanig dat de canonieke functor + van (2) is een equivalentie (Lawvere en Schanuel) .Er is enige verwarring over welke van deze de natuurlijke notie te overwegen was. Het resultaat van het feit dat er eigenlijk twee elementaire begrippen worden gecombineerd in de drie bovenstaande definities. De eerste, waaraan geven we de naam distributiviteit, is precies dat van (1). De tweede gedachte, die we extensivity zullen noemen, is dat van een categorie met eindige sommen waarvoor de canonieke functor + van definities (2) en (3) is een equivalentie. Extensivity, maar het impliceert het bestaan ​​van bepaalde pullbacks, is in wezen een eigenschap van het hebben van goed opgevoede bedragen. Het bestaan ​​van deze Waar Air Max Kopen Antwerpen pullbacks die verwarring ontstaan. De verbindingen tussen definitie (1) Nike Air Max 1 Belgie en definities (2) en (3) zijn dat een uitgebreide categorie met producten is distributieve in de eerste zin, en dat elke categorie behoort (3) voldoet (1) locally.The doel van dit document is om een ​​aantal fundamentele feiten over uitgebreide en distributieve categorieën presenteren, en om de relaties tussen de twee begrippen te bespreken.
0 Reacties


Spreek uw mening
Recente Reacties