Hellow guys, Welcome to my website, and you are watching The Language of Categories | Category Theory and Why We Care 1.1. and this vIdeo is uploaded by Eyesomorphic at 2024-02-18T10:53:07-08:00. We are pramote this video only for entertainment and educational perpose only. So, I hop you like our website.
| Name | The Language of Categories | Category Theory and Why We Care 1.1 |
| Video Uploader | Video From Eyesomorphic |
| Upload Date | This Video Uploaded At 18-02-2024 18:53:07 |
| Video Discription | By first outlining a mathematically rigorous definition of a category, we can embark on a fascinating journey through category theory with examples from mathematics, computer science and logic. This video establishes a good grounding for any keen mathematicians, formally trained or not, and aims to make dealing with the complicated structure of a category feel more natural. With plenty of examples to challenge your understanding, we'll venture into the incredibly abstract world of category theory. ― Corrections ― 12:04 - This should be: It is sunny ∧ (It is sunny ⇒ Bob wears a hat). The and operator ∧ typically has higher precedence than implication, so brackets must be used to ensure this proposition has the meaning I intended it to have. ― Timestamps ― 0:00 - Intro 0:58 - Definition 6:02 - Set 9:46 - Category of Proofs 16:00 - Functional Programming 18:34 - Outro ― Credits ― All animation and voiceover created by Eyesomorphic. Background music: 'Raindrops on glass', composed by Caleb Peppiatt. ― Further Reading ― Category Theory, by Steve Awodey (Book) |
| Category | Science & Technology |
| Tags | maths | category theory | programming | logic | proof | set theory | algebra | abstraction | eyesomorphic | 3b1b |
