It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.4K
- Chat 505
- Study Groups 21
- Petri Nets 9
- Epidemiology 4
- Leaf Modeling 2
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- MIT 2020: Exercises 25
- Baez ACT 2019: Online Course 339
- Baez ACT 2019: Lectures 79
- Baez ACT 2019: Exercises 149
- Baez ACT 2019: Chat 50
- UCR ACT Seminar 4
- General 75
- Azimuth Code Project 111
- Statistical methods 4
- Drafts 10
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 148
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 719

Options

Over on the Category Theory Community Server, Oliver Shetler announced a reading group on category theory. Two, actually:

Hey guys, if anybody is interested, I host two Sunday 2pm reading groups on an alternating weekly basis. We've started meeting on Zoom now so it's accessible to everybody.

In the first one, we're working through Steve Roman's

An Introduction to the Language of Category Theory. It's for people who want to fill holes in their basic Category Theory knowledge. We're just starting in on Chapter 2 so it's still possible to catch up easily.In the second group, we're reading Coecke and Kissinger's

Picturing Quantum Processes. We've been working through Kissinger's problem sets from when he taught a class based on the book. We're just starting on assignment 2 so it's still accessible to newcomers as well.If you're interested, I post the events on http://www.meetup.com/category_theory/.

## Comments

Great, thanks for this note John!

This meetup looks promising. In particular, every other week there is a meeting to go through passages and exercises from:

I've just joined the meetup, and encourage other Azimuth people who want to get ramped up on basic category theory to give it try. The book appears to be very clear in its introduction to category theory.

I'll post some notes on the reading passage and exercises for the next meeting, which is a zoom on Sunday May 3.

`Great, thanks for this note John! This [meetup](https://www.meetup.com/Category_Theory/) looks promising. In particular, every other week there is a meeting to go through passages and exercises from: * Steven Roman, [An Introduction to the Language of Category Theory](https://www.amazon.com/Introduction-Language-Category-Textbooks-Mathematics/dp/3319419161), Springer Compact Textbooks in Mathematics, 2017. I've just joined the meetup, and encourage other Azimuth people who want to get ramped up on basic category theory to give it try. The book appears to be very clear in its introduction to category theory. I'll post some notes on the reading passage and exercises for the next meeting, which is a zoom on Sunday May 3.`

John, David, Thank you for alerting us to this reading group.

Steve Roman's book is rather expensive on Amazon. He sells directly, as a PDF, for $24.95, at his website, a book which seems to be an early draft from 2015. The title is slightly different, "An Introduction to Category Theory", the page numbers are different (because the pages are bigger). Both books have exercises. The Table of Contents is similar, but in the final version, at Amazon, he seems to have changed or added a few sections, and reworked the chapter on Adjunctions. So there are some substantial differences, it seems.

The ebook at Springer for his book An Introduction to the Language of Category Theory is 46 euros, which is cheaper than Amazon's price of 65 dollars.

His book seems very readable.

He also has six video lectures which have gotten excellent reviews.

`John, David, Thank you for alerting us to this reading group. Steve Roman's book is rather expensive on Amazon. He sells directly, as a PDF, for $24.95, at <a href="http://www.sroman.com/CategoryBook/CategoryBook.php">his website</a>, a book which seems to be an early draft from 2015. The title is slightly different, "An Introduction to Category Theory", the page numbers are different (because the pages are bigger). Both books have exercises. The Table of Contents is similar, but in the final version, at Amazon, he seems to have changed or added a few sections, and reworked the chapter on Adjunctions. So there are some substantial differences, it seems. The ebook at Springer for his book <a href="https://www.springer.com/gp/book/9783319419169">An Introduction to the Language of Category Theory</a> is 46 euros, which is cheaper than Amazon's price of 65 dollars. His book seems very readable. He also has [six video lectures](https://www.youtube.com/watch?v=If6VUXZIB-4&list=PLiyVurqwtq0Y40IZhB6T1wM2fMduEVe56) which have gotten excellent reviews.`

Yes, his material is very clear.

`Yes, his material is very clear.`

For Sunday May 3 meeting.

Reading assignment looks manageable, pp 43 - 56 of the text. Here are the topics covered in that passage:

Upcoming sections: Yoneda Embedding, Yoneda Lemma

`For Sunday May 3 meeting. Reading assignment looks manageable, pp 43 - 56 of the text. Here are the topics covered in that passage: * Morphisms of Functions: Natural Transformations * Example: the determinant * Compositions of natural transformations * Natural isomorphisms * Example: the double-dual * Example: the Riesz map * Example: the coordinate map * Natural isomorphisms, fullness and faithfulness * Functor categories * The category of diagrams * Natural equivalence * Natural transformations between Hom functors Upcoming sections: Yoneda Embedding, Yoneda Lemma`

Exercises for May 3 meeting:

`Exercises for May 3 meeting: * Ex 7, 10, 11, 12 * Choose one from 17, 18, 19 * Wenbo will present 17 * Spencer will present 18 * Oliver will present 19 * David will present 12`

Here is the gist of some of the exercises. (I have paraphrased and selected.)

Ex 7. Describe the arrow part of the hom functor \(Hom_C(B,\cdot) \) and the naturality condition.

Ex 10. Definition of bifunctor. Show that a bifunctor is a functor in each of its arguments separately. Plus more technical questions relating to bifunctors.

Ex 11. For naturally isomorphic functors F,G, show:

Ex 17. Let \(F,G: C \implies P\) be functors from a category C to a preorder P.

Ex 18. Verify that the functor category \(D^C\)) is a category.

Ex 19. Prove that the functor category \(D^2\) is essentially the category of arrows of D.

`Here is the gist of some of the exercises. (I have paraphrased and selected.) Ex 7. Describe the arrow part of the hom functor \\(Hom_C(B,\cdot) \\) and the naturality condition. Ex 10. Definition of bifunctor. Show that a bifunctor is a functor in each of its arguments separately. Plus more technical questions relating to bifunctors. Ex 11. For naturally isomorphic functors F,G, show: * F is faithful iff G is faithful * F is full iff G is full * If F is naturally isomorphic to the identity functor, then it is fully faithful. * Relationships between fullness and faithfulness under composition. Ex 17. Let \\(F,G: C \\implies P\\) be functors from a category C to a preorder P. * Describe necessary and sufficient conditions under which there is a natural transformation from F to G. * Prove that if P and Q are preorders, then the functor category \\(Q\\) is also a preorder. Ex 18. Verify that the functor category \\(D^C\\)) is a category. Ex 19. Prove that the functor category \\(D^2\\) is essentially the category of arrows of D.`

The exercise amounts to proving the definition of the left and right whiskering of a functor and a natural transformation.

In this imagery, the functor is the "whisker" in the diagram, and the natural transformation is the cat.

`* [Presentation on exercise 12](https://www.azimuthproject.org/azimuth/files/roman-exercise-12.pdf), by David Tanzer, 5/3/2020 The exercise amounts to proving the definition of the left and right [whiskering](https://proofwiki.org/wiki/Definition:Whiskering) of a functor and a natural transformation. * Right whiskering = natural transformation followed by functor * Left whiskering = functor followed by natural transformation In this imagery, the functor is the "whisker" in the diagram, and the natural transformation is the cat.`

Meeting tomorrow, 2-4 pm EDT

Zoom ID: 807-569-857

Please review pages 43-56 and continue onto page 57. Do exercises 6, 7 and 23.

This week, we will be covering the prerequisites for understanding the Yoneda Lemma. To that end, please read Tai-Danae Bradley's first blog post in her series on the Yoneda Lemma: https://www.math3ma.com/blog/the-yoneda-perspective

If you have time, take a peek at the second post: https://www.math3ma.com/blog/the-yoneda-embedding

`Meeting tomorrow, 2-4 pm EDT Zoom ID: 807-569-857 Please review pages 43-56 and continue onto page 57. Do exercises 6, 7 and 23. This week, we will be covering the prerequisites for understanding the Yoneda Lemma. To that end, please read Tai-Danae Bradley's first blog post in her series on the Yoneda Lemma: https://www.math3ma.com/blog/the-yoneda-perspective If you have time, take a peek at the second post: https://www.math3ma.com/blog/the-yoneda-embedding`

Ex 6. Show that the hom functor \(A^{\rightarrow} = hom_X(A,.): X \rightarrow Set\) preserves monics, that is, if \(\alpha: C \rightarrow D\) is monic in X, then \(A^{\rightarrow}(\alpha): hom_X(A,C) \rightarrow hom_X(A,D)\) is also monic.

Ex 7. Describe the arrow part of the hom functor \(A^{\rightarrow}\) and the naturalness condition.

`Ex 6. Show that the hom functor \\(A^{\rightarrow} = hom_X(A,.): X \rightarrow Set\\) preserves monics, that is, if \\(\alpha: C \rightarrow D\\) is monic in X, then \\(A^{\rightarrow}(\alpha): hom_X(A,C) \rightarrow hom_X(A,D)\\) is also monic. Ex 7. Describe the arrow part of the hom functor \\(A^{\rightarrow}\\) and the naturalness condition.`

The homework for the next meeting is to take notes on the chapters from the text on the Yoneda Embedding and the Yoneda Lemma.

We had a good and interesting meeting. At the end of it, @AndriusKulikauskas presented the graph on the Yoneda Lemma which he had posted a while back. Hashing it out there, my conjecture is that what he was getting at is an extension to the Yoneda Lemma, in which the bijection gets enriched to a natural isomorphism. This is stated for example in the language MacLane uses, "The Yoneda map is natural in K and r."

So our strategy will be to first study the Yoneda Lemma as it is stated, as such, in terms of a bijection. Then we will cover the extension to the lemma, and revisit Andrius' diagram.

`The homework for the next meeting is to take notes on the chapters from the text on the Yoneda Embedding and the Yoneda Lemma. We had a good and interesting meeting. At the end of it, @AndriusKulikauskas presented the graph on the Yoneda Lemma which he had posted a while back. Hashing it out there, my conjecture is that what he was getting at is an extension to the Yoneda Lemma, in which the bijection gets enriched to a natural isomorphism. This is stated for example in the language MacLane uses, "The Yoneda map is natural in K and r." So our strategy will be to first study the Yoneda Lemma as it is stated, as such, in terms of a bijection. Then we will cover the extension to the lemma, and revisit Andrius' diagram.`