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 500
- Study Groups 19
- Petri Nets 9
- Epidemiology 4
- Leaf Modeling 1
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- 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 68
- Azimuth Code Project 110
- Statistical methods 4
- Drafts 2
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 147
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 713
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?