Higher category theory | Category theory

Timeline of category theory and related mathematics

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).

Video thumbnail

Category Theory 1.2: What is a category?

What is a Category?

From playlist Category Theory

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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.

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

4.1 - A Brief History of AI

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Related pages

Category of sets | Jones polynomial | Coherent duality | Category of simplicial sets | Coherent sheaf | Vector space | Israel Gelfand | PROP (category theory) | Kan fibration | Tensor product | Differential graded category | Partially ordered set | Topology | Algebraic variety | Smooth functor | Simplicial space | Alexander Grothendieck | Éléments de géométrie algébrique | Complex manifold | N-category | Lambda calculus | Arend Heyting | Cosmos (category theory) | Pullback (category theory) | Theory (mathematical logic) | Monad (category theory) | Algebraic K-theory | Temperley–Lieb algebra | Topos | Preadditive category | Combinatorial species | Integrable system | Universal algebra | Quantum topology | Algebraic space | Locally compact space | Hausdorff space | Commutative diagram | Homological mirror symmetry | Paul Bernays | Representation theory | A¹ homotopy theory | Adjoint functors | Uniform space | Cluster algebra | Universal coefficient theorem | Hilbert's syzygy theorem | Continuum hypothesis | Realization (probability) | Equivalence of categories | Free monoid | Floer homology | Max Kelly | Čech cohomology | ∞-groupoid | Motive (algebraic geometry) | Gelfand–Naimark theorem | Ext functor | Fundamental group | Algebraic geometry and analytic geometry | Subcategory | Yang–Baxter equation | Gerbe | Gödel's completeness theorem | Tor functor | Kleisli category | First-order logic | Abelian group | Module (mathematics) | Category of modules | Hopf algebra | Loop space | P-adic cohomology | Resolution (algebra) | Shiing-Shen Chern | Derivator | Topological modular forms | Associahedron | Categorical logic | Finite field | Heinz Hopf | Homotopy group | Andrey Kolmogorov | Samuel Eilenberg | Riemann hypothesis | Tangle (mathematics) | Étale topology | Saul Kripke | Poisson manifold | Quantum group | Lattice (order) | John Horton Conway | Knot invariant | Spectral sequence | Projective object | Symmetric monoidal category | David Hilbert | Coherent topos | Enumerative combinatorics | Jean Leray | Exponential object | Foundations of mathematics | Forcing (mathematics) | Global element | Product (category theory) | Nonabelian cohomology | Weil conjectures | Zermelo–Fraenkel set theory | Segal category | R-matrix | Affine variety | Regular category | Strict 2-category | De Rham cohomology | Fibred category | Lawvere theory | Abelian category | Conformal field theory | Riemann–Hilbert correspondence | Fukaya category | Singular homology | Weak n-category | Standard conjectures on algebraic cycles | Triangulated category | Øystein Ore | Fondements de la Géometrie Algébrique | Algebraic theory | Sheaf (mathematics) | Stone duality | Yoneda lemma | Categorical quantum mechanics | Category (mathematics) | Crystalline cohomology | Derived functor | Eilenberg–Steenrod axioms | Local cohomology | Eckmann–Hilton duality | Functor | Morphism | Motivic cohomology | Equivalence relation | Saunders Mac Lane | Scheme (mathematics) | Grothendieck's Galois theory | Topological monoid | Accessible category | Frobenius algebra | Chern class | Categorical set theory | Grothendieck topology | Symplectic manifold | Category of CW-complexes | Intuitionism | Opposite category | Simplicial set | Charles Ehresmann | Autonomous category | Bicategory | Complete category | Enriched category | Galois theory | Model category | Set theory | Knot polynomial | Grothendieck connection | Noncommutative algebraic geometry | Quasi-category | Groupoid | Hassler Whitney | Homological algebra | Myles Tierney | Massey product | Crossed module | Algebraic topology | CW complex | Braided monoidal category | Knot (mathematics) | Cohomology | Dagger category | Elliptic cohomology | Complete Heyting algebra | Localization of a topological space | Simplex category | Synthetic differential geometry | Chow group | Homotopy category | Localization of a category | Quantum groupoid | Projective variety | Derived algebraic geometry | Kan extension | Affine Grassmannian | Khovanov homology | C*-algebra | Serre–Swan theorem | Injective object | Projective module | Jean Bénabou | Low-dimensional topology | Preorder | Characteristic (algebra) | Hyperhomology | Relation algebra | Algebraic geometry | D-module | Exact category | Henri Poincaré | Langlands program | Ribbon category | Categorification | Compact space | Manifold | Derived scheme | Galois connection | Type theory | Langlands dual group | Multicategory | Lawvere–Tierney topology | Rational equivalence | Cartesian closed category | Correspondence (algebraic geometry) | Monoidal category | Pointless topology | Generator (category theory) | Kochen–Specker theorem | Spherical category | Grothendieck's relative point of view | Subobject classifier | Étale cohomology | Operad | Commutative ring | String diagram | Cohomology ring | Topological space | Injective module | Simplicial homology | Support (mathematics) | Formal scheme | H-space | Sheaf cohomology | K-theory | Profunctor | Coherent sheaf cohomology | Fundamental theorem of topos theory | Kontsevich invariant | Group (mathematics) | Homotopical algebra | String topology | Bernard Dwork | Hopf algebroid | Applied category theory | Quotient space (topology) | Mark Naimark | Finitely generated algebra | Chain complex | Classifying space | L. E. J. Brouwer | Topological quantum field theory | André Weil | Peano axioms | Tricategory | Compact closed category | End (category theory) | Ordinal number | Natural transformation | André Lichnerowicz | Grothendieck universe | Quillen adjunction | Universe (mathematics) | ∞-topos | Henri Cartan | Linear logic | Field (mathematics) | Quantum invariant | Representable functor | Ring (mathematics) | Ring theory | Topological category | Initial and terminal objects | Limit (category theory) | Joachim Lambek | Vladimir Voevodsky | Abstract algebra | Class (set theory) | Fiber functor | Functor category | Derived category | Intuitionistic logic | Mitchell's embedding theorem | Law of excluded middle | Stabilization hypothesis | Homotopy hypothesis | Opetope | Universal property | Heyting algebra | Garrett Birkhoff