Higher category theory | Category theory
This is a timeline of category theory and related mathematics. Its scope ("related mathematics") is taken as: * Categories of abstract algebraic structures including representation theory and universal algebra; * Homological algebra; * Homotopical algebra; * Topology using categories, including algebraic topology, categorical topology, quantum topology, low-dimensional topology; * Categorical logic and set theory in the categorical context such as ; * Foundations of mathematics building on categories, for instance topos theory; * , including algebraic geometry, , etc. * Quantization related to category theory, in particular categorical quantization; * relevant for mathematics. In this article, and in category theory in general, ∞ = ω. (Wikipedia).
A Sensible Introduction to Category Theory
Remember when I used a video with a coconut in the thumbnail to drive a stake through the heart of mathematical structure? Today, in this introduction to the basics of category theory, I attempt to remove it. 27 Unhelpful Facts About Category Theory: https://www.youtube.com/watch?v=H0Ek86
From playlist Mathematics
Category Theory: The Beginner’s Introduction (Lesson 1 Video 2)
Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object. Other topics discussed include Duality and the Opposite (or Mirror) Category. Follow me on Twitter: @mjmcodr
From playlist Category Theory: The Beginner’s Introduction
PNWS 2014 - What every (Scala) programmer should know about category theory
By, Gabriel Claramunt Aren't you tired of just nodding along when your friends starts talking about morphisms? Do you feel left out when your coworkers discuss a coproduct endofunctor? From the dark corners of mathematics to a programming language near you, category theory offers a compac
From playlist PNWS 2014
Category Theory: The Beginner’s Introduction (Lesson 1 Video 4)
Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object. Other topics discussed include Duality and the Opposite (or Mirror) Category. These videos will be discussed
From playlist Category Theory: The Beginner’s Introduction
Galois, Grothendieck and Voevodsky - George Shabat
Vladimir Voevodsky Memorial Conference Topic: Galois, Grothendieck and Voevodsky Speaker: George Shabat Affiliation: Russian State University for the Humanities Date: September 12, 2018 For more video please visit http://video.ias.edu
From playlist Vladimir Voevodsky Memorial Conference
Intuitive Introduction to Category Theory
Category Theory offers a different style of thinking about mathematics. I describe how using functions and sets as examples. Join our Discord to engage with other Mathematics enthusiasts ! https://discord.gg/yyDzhKXUBV Patreon: https://www.patreon.com/MetaMaths Source code for animatio
From playlist Category Theory course
SDS 451: Translating PhD Research into ML Applications — with Dan Shiebler
Dan Shiebler joins us to discuss his category theory Ph.D. program, his full-time job at Twitter, and how the two crossover and combine in his overall data work. In this episode you will learn: • Dan’s neuroscience undergrad and MATLAB [2:38] • Dan’s Ph.D. timeline and research [12:27] •
From playlist Super Data Science Podcast
Category Theory: The Beginner’s Introduction (Lesson 1 Video 5)
Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object. Other topics discussed include Duality and the Opposite (or Mirror) Category. These videos will be discussed
From playlist Category Theory: The Beginner’s Introduction
Categorical aspects of vortices (Lecture 1) by Niklas Garner
PROGRAM: VORTEX MODULI ORGANIZERS: Nuno Romão (University of Augsburg, Germany) and Sushmita Venugopalan (IMSc, India) DATE & TIME: 06 February 2023 to 17 February 2023 VENUE: Ramanujan Lecture Hall, ICTS Bengaluru For a long time, the vortex equations and their associated self-dual fie
From playlist Vortex Moduli - 2023
Pranab Das - Broadening the reach of mathematical approaches to the study of intelligences
Recorded 18 February 2022. Pranab Das of Elon University, Physics, presents "Broadening the reach of mathematical approaches to the study of intelligences" at IPAM's Mathematics of Collective Intelligence Workshop. Abstract: Over the past five years a $40 million initiative entitled “Diver
From playlist Workshop: Mathematics of Collective Intelligence - Feb. 15 - 19, 2022.
Algebraic Topology - 4 - Categories and Functors
Don't watch this video. Go read about this somewhere else. Category theory is essentially the black hole of math. We could go and talk about this stuff forever and never get to apply it. I cut this video short because I think you get the idea of what is going on. I'm going to develop thes
From playlist Category Theory Crash Course
27 Unhelpful Facts About Category Theory
Category theory is the heart of mathematical structure. In this video, I will drive a stake through that heart. I don't know why I made this. Grothendieck Googling: https://mobile.twitter.com/grothendieckg Join my Discord server to discuss this video and more: https://discord.gg/AVcU9w5g
From playlist Mathematics
A conversation between Jonathan Gorard and Stephen Wolfram at the Wolfram Summer School 2022
Stephen Wolfram plays the role of Salonnière in an on-going series of intellectual explorations with special guests. In this episode, Jonathan Gorard joins Stephen at the 20th annual Wolfram Summer School. Watch all of the conversations here: https://wolfr.am/youtube-sw-conversations Foll
From playlist Conversations with Special Guests
Information Service Engineering 2021 Prof. Dr. Harald Sack Karlsruhe Institute of Technology Summer semester 2021 Lecture 10: Basic Machine Learning - 1 4.1 A Brief History of AI - The success story of machine learning - Donald Hebb and the neuron - McCulloch & Pitts and the artificial n
From playlist ISE2021 - Lecture 10 - 23.06.2021
Monadic Programming: With Application to Data Analysis, Machine Learning and Language Processing
To learn more about Wolfram Technology Conference, please visit: https://www.wolfram.com/events/technology-conference/ Speaker: Anton Antonov Wolfram developers and colleagues discussed the latest in innovative technologies for cloud computing, interactive deployment, mobile devices, and
From playlist Wolfram Technology Conference 2017
Georges Skandalis - K-théorie à coefficients réels...
K-théorie à coefficients réels et une conjecture de Baum-Connes localisée à l'élément neutre Une difficulté de la conjecture de Baum-Connes, déjà remarquée par Alain Valette, est que, alors que la K-théorie topologique K*top(Γ) d’un groupe – le 'membre de gauche’ de cette conjectu
From playlist Groupes, géométrie et analyse : conférence en l'honneur des 60 ans d'Alain Valette
Stanford Seminar - Developing Design Spaces for Visualization - Tamara Munzner
Tamara Munzner is a Professor of Computer Science at the University of British Columbia. This talk was given March 4, 2022. Design spaces impose a systematic structure on the set of possibilities, intended to capture the key variables at play in the context of a particular design proble
From playlist Stanford Seminars
Wolfram Physics Project: Working Session Thursday, July 23, 2020 [Metamathematics | Part 1]
This is a Wolfram Physics Project progress update at the Wolfram Summer School. Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the announcement post: http://wolfr.am/physics-announce
From playlist Wolfram Physics Project Livestream Archive