Task:
- write a summary for CwF, akin to how I’d like it to be when reading about it.
I came across the Yoneda embedding (as a component of some alternative, more modern definition for a CwF), and thus I begun studying Emily Riehl’s Category Theory in Context, to get an update regarding represented functors and the yoneda embedding.
These weeks were particularly tiring due to an overload of base-related duties, and thus I decided to take a small break until the end of July :) See y’all on Aug 1st!