Infoblog: Category Theory For Beginners: Fibrations and Lenses
Transcript 0:02 okay so how should I introduce this topic of vibrations 0:08 I could say something like vibrations are fundamental for understanding logic 0:14 and for understanding language and for understanding how mathematics is 0:20 structured I could say that vibrations appear all over category Theory to organize for 0:28 different concepts but that's not really why I made this 0:34 video the honest truth is that I just think that vibrations are very very beautiful 0:40 and so I wanted to make this video to introduce the ideas as simply as I can 0:46 because I think that vibrations are a funny thing the definitions involving 0:52 them are pretty abstract and because vibrations are so powerful 0:58 and because they involve so many things interacting it can be challenging to 1:04 wrap one's mind around the original definition of a vibration especially the 1:09 way that the topic is handled in a lot of books where one simply goes straight 1:14 to the definition and it's l