From a Geometrical Point of View - 9781402093838

geometrycznego punktu widzenia bada historyczne i filozoficzne aspekty teorii kategorii, próbując w ten sposób ukazać jej znaczenie w krajobrazie matematycznym. Główną tezą jest to, że program Erlangen Kleina w geometrii jest w rzeczywistości szczególnym przykładem ogólnego i szerokiego zjawiska ujawnionego przez teorię kategorii. Tom zaczyna się od prac Eilenberga i Mac Lane’a z początku lat czterdziestych XX wieku i przedstawia główne osiągnięcia teorii z tej perspektywy. Szczególną uwagę zwraca się na elementy filozoficzne związane z tym rozwojem. Książkę kończy przedstawienie logiki kategorycznej, niektórych jej wyników oraz jej znaczenia w podstawach matematyki. Z geometrycznego punktu widzenia ma na celu zapewnienie czytelnikom konceptualnego punktu widzenia na teorię kategorii i logikę kategoryczną, aby uzyskać wgląd w ich rolę i naturę we współczesnej matematyce. Powinna zainteresować matematyków, logików, filozofów matematyki i nauki w ogóle, historyków współczesnej matematyki, fizyków i informatyków.