What is…duality in categories?

Goal.
Explaining basic concepts of category theory in an intuitive way.

This time.
What is…duality in categories? Or: Rigid and pivotal categories.

Disclaimer.
Nobody is perfect, and I might have said something silly. If there is any doubt, then please check the references.

Disclaimer.
The distinction between “large classes” and “small classes (sets)” turns out is crucial for many categorical considerations, but somehow makes the language more cumbersome without too much gain imho. So I will strategically ignore all set-theoretical issues.

Slides.

Website with exercises.

Rigid and pivotal categories.

Monoidal categories.

String diagrams.

Pictures used.

Some books I am using (I sometimes steal some pictures from there).

Nlab.

TheCatsters.

Mathematica.

#categorytheory
#categoricalalgebra
#mathematics

[darashayda]

Well done, rigor levels are wisely setup suitable for first-time learners and yet with no sacrifice on good cognition of the underlying machinery. Also quite programmable for a computer scientist. Thank you again.