Tom Leinster: "Entropy and diversity: the axiomatic approach"
Topos Institute Colloquium, 26th of October 2023. ——— Ecologists have been debating the best way to measure diversity for more than 70 years. The concept of diversity is relevant not only in ecology, but also in other fields such as genetics and economics, as well as being closely related to information entropy. The question of how best to quantify diversity has surprising mathematical depth. Indeed, a general study of invariants resembling cardinality and Euler characteristic led to the unifying notion of the magnitude of an enriched category - a quantity which is also closely related to the maximum diversity of a community of prescribed species. I will give a high-level overview of the concepts of entropy, diversity and magnitude, and how they fit together.

Sean Carroll | The Passage of Time & the Meaning of Life

Tom Leinster : The categorical origins of entropy

Sarah Paine - Why Putin and Xi can't escape geography

André Joyal: "Higher topos theory and Goodwillie Calculus"

How AI Cracked the Protein Folding Code and Won a Nobel Prize

A conversation between Louis Kauffman and Stephen Wolfram at the Wolfram Summer School 2021

Brandon Shapiro: "(Higher) category theory in Cat^#"

The Most Misunderstood Concept in Physics

Jamie Vicary: "Understanding free infinity-categories"

Brian Cox: Why black holes could hold the secret to time and space | Full Interview

Jfrog | Jfrog Artifactory | Jfrog Artifactory Tutorial | Artifactory Tutorial | Intellipaat
![Microsoft Fabric and Power BI - Developer of the Future⚡ [Full Course]](https://i.ytimg.com/vi/ohKpl80obzU/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLC7OUcS43Tjw7PcWR1n6T-ncrgsdA)
Microsoft Fabric and Power BI - Developer of the Future⚡ [Full Course]
![[Berkeley Seminar] Mike Dodds (Galois) | What works and doesn't selling formal methods in industry](https://i.ytimg.com/vi/Z2bTpsO4fcc/hqdefault.jpg?sqp=-oaymwE9CNACELwBSFryq4qpAy8IARUAAAAAGAElAADIQj0AgKJDeAHwAQH4Af4JgALQBYoCDAgAEAEYZSBlKGUwDw==&rs=AOn4CLAspUr-5IC2Jm_PTRNdh1DQTZd6MQ)
[Berkeley Seminar] Mike Dodds (Galois) | What works and doesn't selling formal methods in industry

Tutorial on Categorical Semantics of Entropy - John Baez and Tai-Danae Bradley

Tom Leinster YRM

What is SonarQube | Introduction SonarQube | SonarQube Tutorial | SonarQube Basics | Intellipaat

Micheal Pollan On The Mystery Of Consciousness.

Brian Cox: The quantum roots of reality | Full Interview

Greatest Mysteries of Gravity | Brian Greene & Kip Thorne | World Science Festival
![[TopOx] Steve Awodey: Path Types in Algebraic Type Theory](https://i.ytimg.com/vi/lanvZuki4qQ/hqdefault.jpg?sqp=-oaymwE9CNACELwBSFryq4qpAy8IARUAAAAAGAElAADIQj0AgKJDeAHwAQH4Af4JgALQBYoCDAgAEAEYYSBhKGEwDw==&rs=AOn4CLBnCHu4aGeqtlPObcy6RoGsZPdxNA)
