Dive deeper into Categories for the Working Mathematician
New Tab
Dive deeper into Span (category theory)
New Tab