Wizualna teoria kategorii, część 1: Podwójna teoria Brick by Brick, część 1

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Visual Category Theory, CoPart 1: A Dual to Brick by Brick, Part 1

Zawartość książki:

Ten CoPart jest podwójnym uzupełnieniem Visual Category Theory Brick by Brick, część 1. Oryginalna seria tłumaczyła abstrakcyjne koncepcje kategorialne na język klocków LEGO(R), a seria CoPart implementuje odwrotny sposób tłumaczenia konstrukcji z klocków na standardowy język diagramów teorii kategorii, co powinno korzystnie wpłynąć na zrozumienie definicji.

Ponieważ zwykłe diagramy kategorialne są czarno-białe i zajmują mniej miejsca na papierze, CoParts zawierają dodatkowe kolorowe diagramy w duchu konstrukcji z klocków, gdy części źródłowe i docelowe strzałek używają różnych kolorów.

Te CoParts z CoSeries (nazwane po przeciwnych kategoriach z odwróconymi strzałkami) zachowują tę samą zgodność stron 1 do 1 między częściami i CoParts. Układ strony jest również podobny: lokalizacja notatek objaśniających (napisanych przy użyciu standardowej notacji matematycznej) jest taka sama - tylko cegły zostały zastąpione literami, kropkami i strzałkami. Dlatego ta seria CoSeries może być używana niezależnie od oryginalnej serii lub razem.

Pierwsza część obejmuje definicję kategorii, strzałek, kompozycji i asocjatywności strzałek, retrakcji, równoważności, funktorów kowariantnych i kontrawariantnych, przekształceń naturalnych i 2-kategorii.