Matematiikka:kategoria

Tällä käsitteellä ei ole otsikon muodostavia nimityksiä.


kategoria

Määritelmä

kokoelma objekteja ja niiden välisiä [[Matematiikka:morfismi

|morfismeja]], joiden yhdistäminen on Matematiikka:liitännäinen operaatio ja jossa jokaisella objektilla on Matematiikka:identiteettimorfismi

Selite Morfismi on rakenteen säilyttävän kuvauksen yleistys, mutta kategoriateoriassa morfismin ei tarvitse olla kuvaus lainkaan. Morfismeilta edellytetään, että niiden yhdistäminen on liitännäinen ja että jokaista objektia kohti on identiteettimorfismi.

Reaalilukukertoimiset vektoriavaruudet muodostavat erään esimerkin kategoriasta: objekteja ovat vektoriavaruudet ja morfismeja ovat vektoriavaruuksien väliset lineaarikuvaukset.

Erikieliset vastineet

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 5.12.2025: Matematiikka:kategoria. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Matematiikka:kategoria.)

Siirry tarkastelemaan sivun muokkaushistoriaa →