Teoria vizuală a categoriilor, CoPart 1: A Dual to Brick by Brick, Partea 1

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

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

Conținutul cărții:

Acest CoPart este o dublă completare la Teoria vizuală a categoriilor cărămidă cu cărămidă, partea 1. Seria originală a tradus conceptele categoriale abstracte în limbajul cărămizilor LEGO(R), iar seria CoPart implementează modul opus de traducere a construcțiilor de cărămizi în limbajul diagramelor standard ale teoriei categoriilor care ar trebui să avantajeze înțelegerea definițiilor.

Deoarece diagramele categoriale obișnuite sunt alb-negru și ocupă mai puțin spațiu pe hârtie, CoPart-urile includ diagrame color suplimentare în spiritul construcțiilor din cărămizi, atunci când părțile sursă și țintă ale săgeții folosesc culori diferite.

Aceste CoParts din CoSeries (denumite după categorii opuse cu săgeți inversate) păstrează aceeași corespondență de pagină 1 la 1 între Parts și CoParts. De asemenea, aspectul paginii este similar: amplasarea notelor explicative (scrise folosind notația matematică standard) este aceeași - doar cărămizile sunt înlocuite cu litere, puncte și săgeți. Prin urmare, această CoSerie poate fi utilizată independent de seria originală sau împreună.

Primul CoPart acoperă definiția categoriilor, săgețile, compoziția și asociativitatea săgeților, retractele, echivalența, functorii covarianți și contravarianți, transformările naturale și 2-categoriile.