Some notes on diagram chasing and diagrammatic proofs in category theory
From MaRDI portal
Publication:6352104
arXiv2010.12534MaRDI QIDQ6352104
Publication date: 23 October 2020
Abelian categories, Grothendieck categories (18E10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
This page was built for publication: Some notes on diagram chasing and diagrammatic proofs in category theory