Category theory

…

Structured cospans

References

• mathlib;

• Youtube lectures;