Malé a velké kategorie, algebraické struktury jako kategorie, konstrukce na kategoriích (volné kategorie, podkategorie a duální kategorie), speciální typy objektů a morfismů, součiny a součty objektů, kategorie se součiny a logické obvody, kategorie se součty a vývojové diagramy, distributivní kategorie a imperativní programy, aritmetika reálných čísel a datové typy (zásobníky, pole, binární stromy, fronty, ukazatele), Turingovy stroje, funktory a funktorové kategorie, orientované grafy a regulární gramatiky.

Okruhy otázek k SDZ:

1. Malé a velké kategorie - definice a příklady.
2. Volné kategorie, duální kategorie.
3. Iniciální a terminální objekty, součiny a sumy.
4. Kategorie se součiny a logické obvody.
5. Kategorie se sumami a vývojové diagramy.
6. Distributivní kategorie, imperativní programy.
7. Typy dat zásobníky, pole a binární stromy.
8. Typy dat fronty a ukazatele, Turingovy stroje.
9. Funktory a funktorové kategorie.
10. Kategorie orientovaných grafů a regulární gramatiky.