Teoria kategorii
Z Wikipedii
Teoria kategorii - dział matematyki, który bada struktury matematyczne i związki między nimi.
[edytuj] Wprowadzenie
Podstawy teorii kategorii stworzyli amerykańscy matematycy Samuel Eilenberg i Saunders Mac Lane. W swojej pionierskiej pracy z 1945 roku wprowadzili oni główne pojęcia tej teorii (czyli przede wszystkim kategorie oraz ich odwzorowania nazywane funktorami). Teoria kategorii jest nie tylko dziedziną nauki, lecz także pewnym sposobem myślenia oraz wyrażania zależności pomiędzy różnymi obiektami matematycznymi. Teoriokategoryjny sposób pojmowania rzeczywistości matematycznej różni się znacznie od tego, który oferuje teoria mnogości. Wprawdzie to na gruncie tej ostatniej sformalizowano współczesną matematykę, lecz wielu uważało teorię kategorii za godną uwagi alternatywę.
Niektórzy matematycy uważają teorię kategorii za dział algebry, inni zaś za samodzielną dyscyplinę. Na rzecz tego drugiego stanowiska przemawia fakt, że teoria kategorii ma bardzo ogólny charakter i liczne zastosowania w rozmaitych działach matematyki (przede wszystkim zaś w topologii algebraicznej i geometrii algebraicznej). O silnych związkach z algebrą świadczy zaś choćby to, że niektórzy matematycy utożsamiają teorię kategorii z algebrą homologiczną, jedną z poddziedzin współczesnej algebry.
[edytuj] Zobacz też
[edytuj] Linki zewnętrzne
- Teoria kategorii dla informatyków (materiały dydaktyczne MIMUW na studia informatyczne II stopnia)
| USA: Pesymistycznie o niepodległości Gruzji |
|
Na podstawie swych obserwacji w czasie wizyty w Gruzji publicysta "Washington Post" Jackson Diehl wyraża wątpliwości, czy przyszła administracja Baracka Obamy zdecyduje się na choćby polityczną konfrontację z Rosją w obronie niepodległości tego zakaukaskiego kraju.
|
| Najstarsze znalezisko z marihuaną |
|
Najstarsze znalezisko z marihuaną dowodzi, że 2700 lat temu stosowano ją w celach terapeutycznych lub wróżebnych na północno-zachodnich krańcach Chin. Pomaga też zrozumieć kluczową rolę Turfanu na szlaku wymiany między Wschodem a Zachodem.
|
| Tusk: Skłamałbym, gdybym mówił, że nie spodziewałem się wet |
|
Weto jest konstytucyjnym uprawnieniem prezydenta i skłamałbym, jeślibym mówił, że nie spodziewałem się tego - tak premier Donald Tusk komentuje fakt niepodpisania przez Lecha Kaczyńskiego kolejnych ustaw. Jego zdaniem prezydent używa weta jako "broni politycznej".
|
| Eksplozja na lotnisku w Bangkoku |
|
Jedna osoba zginęła i ponad 20 zostało rannych w wybuchu bomby na lotnisku krajowym w Bangkoku we wtorek rano czasu lokalnego - poinformował dziennik "The Nation" w wydaniu internetowym, powołując się na informacje ze szpitali.
|
| Iran zaprojektował samolot niewidoczny dla radaru |
|
Dowódca sił powietrznych Iranu obwieścił, że irańscy eksperci zaprojektowali wojskowy samolot, którego nie wykrywa radar. Następnym etapem ma być zbudowanie małego prototypu.
|