23:30 → [[Topos Institute]] is doing a new introductory [[Category Theory]] resource, and they are… → tell us about yourself →
#
>

Feel free to reach out if there any questions about any of this: [email protected].

→