Category theory

Cosmos (category theory)

In the area of mathematics known as category theory, a cosmos is a symmetric closed monoidal category that is complete and cocomplete. Enriched category theory is often considered over a cosmos. (Wikipedia).

Video thumbnail

The Same Star Stuff | Cosmos: A Spacetime Odyssey

The visible cosmos is all made of the same elements. ➡ Subscribe: http://bit.ly/NatGeoSubscribe ➡ Get More Cosmos: http://bit.ly/NG-Cosmos About Cosmos: A Spacetime Odyssey: Hosted by renowned astrophysicist Neil deGrasse Tyson, COSMOS will explore how we discovered the laws of nature and

From playlist Outer Space | National Geographic

Video thumbnail

The Snow of Three Centuries Ago | Cosmos: A Spacetime Odyssey

Scientists struggle to create a lead-free environment to replicate conditions that existed before the industrial revolution. ➡ Subscribe: http://bit.ly/NatGeoSubscribe ➡ Get More Cosmos: http://bit.ly/NG-Cosmos About Cosmos: A Spacetime Odyssey: Hosted by renowned astrophysicist Neil deGr

From playlist Outer Space | National Geographic

Video thumbnail

Behind the Scenes: Cosmos as a Global Journey | Cosmos: A Spacetime Odyssey

The producers discuss the tremendous amount of locations they shot across the globe to create the new look and feel of Cosmos. ➡ Subscribe: http://bit.ly/NatGeoSubscribe ➡ Get More Cosmos: http://bit.ly/NG-Cosmos About Cosmos: A Spacetime Odyssey: Hosted by renowned astrophysicist Neil de

From playlist Outer Space | National Geographic

Video thumbnail

Teach Astronomy - Logic

http://www.teachastronomy.com/ Logic is a fundamental tool of the scientific method. In logic we can combine statements that are made in words or in mathematical symbols to produce concrete and predictable results. Logic is one of the ways that science moves forward. The first ideas of

From playlist 01. Fundamentals of Science and Astronomy

Video thumbnail

The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories - Emily Riehl

Vladimir Voevodsky Memorial Conference Topic: The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories Speaker: Emily Riehl Affiliation: Johns Hopkins University Date: September 12, 2018 For more video please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Selecting the Stories of Cosmos | Cosmos: A Spacetime Odyssey

Learn how writer Ann Druyan chose which lesser-known heroes to feature in Cosmos. ➡ Subscribe: http://bit.ly/NatGeoSubscribe ➡ Get More Cosmos: http://bit.ly/NG-Cosmos About Cosmos: A Spacetime Odyssey: Hosted by renowned astrophysicist Neil deGrasse Tyson, COSMOS will explore how we disc

From playlist Outer Space | National Geographic

Video thumbnail

The Sounds of Cosmos - Heaven & Hell

"Heaven & Hell" by Vangelis

From playlist Brilliant Music

Video thumbnail

Teach Astronomy - Cosmology

http://www.teachastronomy.com/ Cosmology is the study of the universe, its history, and everything in it. It comes from the Greek root of the word cosmos for order and harmony which reflected the Greek belief that the universe was a harmonious entity where everything worked in concert to

From playlist 22. The Big Bang, Inflation, and General Cosmology

Video thumbnail

Behind the Scenes of Cosmos: Animating History | Cosmos: A Spacetime Odyssey

The historical animation technique used so prominently throughout the series is explored. ➡ Subscribe: http://bit.ly/NatGeoSubscribe ➡ Get More Cosmos: http://bit.ly/NG-Cosmos About Cosmos: A Spacetime Odyssey: Hosted by renowned astrophysicist Neil deGrasse Tyson, COSMOS will explore how

From playlist Outer Space | National Geographic

Video thumbnail

What's Philosophy of Cosmology? | Episode 1901 | Closer To Truth

What is philosophy of cosmology? We search the deepest levels of cosmic reality, the big picture of the puzzle of the universe — beginning, size, structure, future, far future. We seek significance in cosmology, if there’s any to be. Featuring interviews with Barry Loewer, Mario Livio, Geo

From playlist Closer To Truth | Season 19

Video thumbnail

History of Civilization | Cosmos: A Spacetime Odyssey

With the discovery of writing, humankind was able to evolve the power of communication. ➡ Subscribe: http://bit.ly/NatGeoSubscribe ➡ Get More Cosmos: http://bit.ly/NG-Cosmos About Cosmos: A Spacetime Odyssey: Hosted by renowned astrophysicist Neil deGrasse Tyson, COSMOS will explore how w

From playlist Outer Space | National Geographic

Video thumbnail

Martin Rees - Can We Explain Cosmos and Consciousness?

The existence of both cosmos and consciousness, each in its own way, constitute deep problems, perhaps grand mysteries beyond human knowing. Some claim that the two mysteries can only be solved in parallel, together, not in series, alone. Some base their claim on religion, a few on science

From playlist Closer To Truth - Martin Rees Interviews

Video thumbnail

The Woman Who's Rewriting Higher Category Theory

By turning higher category theory on itself, Emily Riehl hopes to make the powerful perspective more accessible to other mathematicians. Read the full interview here: https://www.quantamagazine.org/emily-riehl-conducts-the-mathematical-orchestra-from-the-middle-20200902/ 0:00 What is cate

From playlist Inside the Mind of a Scientist

Video thumbnail

Why Explore Consciousness and Cosmos? | Episode 612 | Closer To Truth

Cosmos and consciousness seem utterly different, the former encompassing the vast universe, the latter emerging from tiny brains. Yet consciousness founds most religions, and some cosmologists speak quietly, profoundly, about consciousness. Featuring interviews with David Chalmers, Alexand

From playlist Closer To Truth | Season 6

Video thumbnail

Math Talk! Dr. Emily Riehl, to infinity categories and beyond.

In this video I have a lovely discussion with Dr. Emily Riehl about math, HoTT, infinity categories, and more! Dr. Riehl's site, with links to publications: https://emilyriehl.github.io/ Dr. Riehl's band, Unstraight: https://unstraightmusic.com/ Spectra: http://lgbtmath.org/

From playlist Math Talk!

Video thumbnail

What is Philosophy of Scientific Breakthroughs? | Episode 2105 | Closer To Truth

To explore scientific Breakthroughs is to find theories or discoveries that challenge conventional wisdom, change patterns of thought, provide novel frameworks for research. What is the deep essence or general nature of scientific breakthroughs? Featuring interviews with Paul Davies, Davi

From playlist Closer To Truth | Season 21

Video thumbnail

Miroslav Volf Interviews Jose Casanova

Miroslav Volf interviews sociologist Jose Casanova about the shortcomings of the secularization thesis, transformations in our understanding of modernity, and the relationship of democracy and faith in our globalized world.

From playlist Faith and Globalization

Video thumbnail

Does the Cosmos Provide Meaning? | Episode 805 | Closer To Truth

We know the age of the universe, how stars were born, how galaxies were formed. But does the cosmos have meaning? Not make-believe, feel-good meaning. But real meaning. Featuring interviews with Saul Perlmutter, Roger Penrose, Paul Steinhardt, Martin Rees, and Frank Drake. Season 8, Episo

From playlist Closer To Truth | Season 8

Video thumbnail

What's Fine-Tuning in Physics? | Episode 1903 | Closer To Truth

What is fine-tuning in physics? Why do the “constants of nature” — masses of subatomic particles and strengths of forces like gravity and electromagnetism — have the values they do? Does fine-tuning “cry out” for explanation? Featuring interviews with Bernard Carr, Luke Barnes, Geraint Lew

From playlist Closer To Truth | Season 19

Video thumbnail

Cosmos: A Spacetime Odyssey Preview | Cosmos: A Spacetime Odyssey

Get a first look at the stunning new science series hosted by astrophysicist Neil deGrasse Tyson. ➡ Subscribe: http://bit.ly/NatGeoSubscribe ➡ Get More Cosmos: http://bit.ly/NG-Cosmos About Cosmos: A Spacetime Odyssey: Hosted by renowned astrophysicist Neil deGrasse Tyson, COSMOS will exp

From playlist Outer Space | National Geographic

Related pages

Complete category | Closed monoidal category | Symmetric monoidal category | Mathematics | Category theory