Visual Category Theory, CoPart 1: Duál k Brick by Brick, časť 1

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.

Pôvodný názov:

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

Obsah knihy:

Táto spolučasť je dvojitým doplnkom k Vizuálnej teórii kategórií Brick by Brick, časť 1. Pôvodná séria prekladala abstraktné kategoriálne pojmy do jazyka kociek LEGO(R) a séria CoPart zavádza opačný spôsob prekladu kockových konštrukcií do štandardného diagramového jazyka teórie kategórií, ktorý by mal byť prínosom pre pochopenie definícií.

Keďže bežné kategoriálne diagramy sú čiernobiele a zaberajú menej miesta na papieri, CoParts obsahujú ďalšie farebne rozšírené diagramy v duchu tehličkových konštrukcií, keď zdrojové a cieľové časti šípok používajú rôzne farby.

Tieto CoParts z CoSeries (pomenované podľa protiľahlých kategórií s obrátenými šípkami) zachovávajú rovnakú korešpondenciu 1:1 medzi stranami Parts a CoParts. Rozloženie stránky je tiež podobné: umiestnenie vysvetliviek (napísaných pomocou štandardného matematického zápisu) je rovnaké - len tehličky sú nahradené písmenami, bodkami a šípkami. Preto sa táto CoSeries môže používať nezávisle od pôvodnej série alebo spoločne.

Prvý CoDiel sa zaoberá definíciou kategórií, šípok, kompozíciou a asociatívnosťou šípok, retrakciou, ekvivalenciou, kovariantnými a kontravariantnými funktormi, prirodzenými transformáciami a 2-kategóriami.