ACT 2020 Tutorial: The Yoneda lemma in the category of matrices (Emily Riehl)

Recording of the second tutorial of the Applied Category Theory 2020 remote conference. Main website: https://act2020.mit.edu/ More tutorials in this playlist:    • ACT 2020 Tutorials   Title: The Yoneda lemma in the category of matrices Speaker: Emily Riehl Abstract: The fundamental theorem of category theory is indisputably the Yoneda lemma, though on first acquaintance its statement is forbiddingly obscure. This talk will introduce the Yoneda lemma by describing its implications in the category whose objects are natural numbers and in which a morphism from n to m is an m x n matrix.