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

- All Categories 2.3K
- Chat 494
- ACT Study Group 5
- Azimuth Math Review 6
- MIT 2020: Programming with Categories 53
- MIT 2020: Lectures 21
- MIT 2020: Exercises 25
- MIT 2019: Applied Category Theory 339
- MIT 2019: Lectures 79
- MIT 2019: Exercises 149
- MIT 2019: Chat 50
- UCR ACT Seminar 4
- General 64
- Azimuth Code Project 110
- Drafts 1
- Math Syntax Demos 15
- Wiki - Latest Changes 1
- Strategy 110
- Azimuth Project 1.1K

Options

- Class summary by David Dalrymple. YouTube link.

## Comments

Around 7:30 in the video, we learn about discrete categories, and that a monoid can be considered a discrete monoidal category.

"A category is called discrete when all of its morphisms are identities."

This leaves me a little confused. The morphisms on a monoid are

notgenerally all identities, right? A monoid has one object, and if it's morphisms were only identities, that would be give you just the 1 category.Maybe you have to think of the objects of the discrete monoidal category from a monoid as the

morphismsof the original monoid?`Around 7:30 in the video, we learn about discrete categories, and that a monoid can be considered a discrete monoidal category. "A category is called discrete when all of its morphisms are identities." This leaves me a little confused. The morphisms on a monoid are *not* generally all identities, right? A monoid has one object, and if it's morphisms were only identities, that would be give you just the 1 category. Maybe you have to think of the objects of the discrete monoidal category from a monoid as the *morphisms* of the original monoid?`