Howdy, Stranger!
It looks like you're new here. If you want to get involved, click one of these buttons!
Categories
- 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
Lecture 15 - Monoidal categories - David Spivak
- 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 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?
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?