ACT 2020 Tutorial: Introduction to Applied Category Theory (David Spivak)
Recording of the first tutorial of the Applied Category Theory 2020 remote conference. Main website: https://act2020.mit.edu/ More tutorials in this playlist: ...
Applied Category Theory
What is Category Theory?
MathProofsable
An Introduction to Category Theory
Wittgenstein
Category Theory and Functional Programming Part00: Introduction
This is the first of series of screencasts corresponding to the code of my "Program Description Based Programming" library, written in Scala. see ...
Luc Duponcheel
Category Theory For Beginners: Introduction
Category theory is close to the perfect language. It can be used to describe many mathematical ideas, and see the relations between them, and their deeper ...
Richard Southwell
A Pragmatic Introduction to Category Theory—Daniela Sfregola
Scala World
Ellen Lehet – The Explanatory Value of Category Theory
UConn Logic Group – Logic Colloquium, October 4, 2019 http://logic.uconn.edu/ Ellen Lehet (Notre Dame) "The Explanatory Value of Category Theory" ...
UConn Logic Group
Category Theory, The essence of interface-based design - Erik Meijer
Category Theory is the Mathematicians' interpretation of interface-based design, so whenever you hack together a new API in your favourite OO language, it is ...
FooCafe
Emily Riehl Is 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 ...
Quanta Magazine
∞-Category Theory for Undergraduates
At its current state of the art, ∞-category theory is challenging to explain even to specialists in closely related mathematical areas. Nevertheless, historical ...
Emily Riehl
Applied Category Theory. Chapter 1, lecture 1 (Spivak)
Applied Category Theory MIT Course 18.S097 Independent Activities Period (IAP) 2019 Taught by David Spivak and Brendan Fong © Spifong.
Topos
Basic Category Theory for Computer Scientists Foundations of Computing PDF
jefrey
Category Theory in Life - Eugenia Cheng
This presentation was the opening keynote of Lambda World 2017 by Dr. Eugenia Cheng. Follow: -https://www.twitter.com/47deg ...
Lambda World
What did category theory ever do for us (functional programmers)?
What did category theory ever do for us (functional programmers)? - An extreme pragmatic and un-academic approach. Examples are in Scala. Talk given at ...
Sergei Winitzki
Category Theory: Introduction to Category Theory 1
Lectures on elementary category theory: part 1.
Steven Roman Mathematics
Category Theory For Beginners: Topos Theory And Subobjects
In this video, we introduce topos theory, as a branch of category theory where we generalize notions of inclusion and logic which are traditionally based on set ...
Richard Southwell
Pure Math - 2.3 Intro to category theory
Jacob Pichelmeyer
Category Theory: Visual Mathematics for the 21st century
RCON 3 Day 3 track 4 Session 4 Category Theory: Visual Mathematics for the 21st century by Jamie Vicary.
RChain
JuliaCon 2020 | AlgebraicJulia: Applied Category Theory in Julia | James Fairbanks
Applied Category Theory is a new paradigm of applied mathematics that incorporates the advances in type theory to analyze scientific and engineering systems.
The Julia Programming Language
Category Theory and Functional Programming Part01: Program Specification
In this session I generalize functions to programs. The session shows live coding, so, here and there you can see me fail. But, hey, that's normal ...
Luc Duponcheel
A Pragmatic Introduction to Category Theory - Daniela Sfregola
This presentation was given as part of Lambda World 2017 by Daniela Sfregola. Follow: -https://www.twitter.com/47deg -https://www.twitter.com/lambda_world ...
Lambda World
Category Theory: The Beginner’s Introduction (Lesson 1 Video 1)
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 ...
Dr. Martin J.M. Codrington
Category Theory 3.1: Examples of categories, orders, monoids
Examples of categories, orders, monoids.
Bartosz Milewski
Programming with Math (Exploring Type Theory)
As programs are getting more complex, it's time to go back to basics, to the old well tested approach to complexity called mathematics. Let compilers deal with ...
Coding Tech
David Jaz Myers: Homotopy type theory for doing category theory
MIT Category Theory Seminar 2020/03/26 ©Spifong Speaker: David Jaz Myers Title: Homotopy type theory for doing category theory Abstract: Homotopy Type ...
Topos
Category Theory in Communication, Cryptography, and Security
Details: https://the-au-forml-lab.github.io/colloquium_talks/ Hines.html.
Lectures by Prof. Eades at AU
Order: For actually learning Category Theory - Functional Programming
Preorder: https://en.wikipedia.org/wiki/Preorder Partial order: https://en.wikipedia.org/wiki/Partially_ordered_set Order theory: ...
Alexander Noriega
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
The President's Frontier Award was established with a $2.5 million donation from trustee Louis J. Forster. Forster helped design the award to support exceptional ...
Johns Hopkins University
Alejandro Serrano: Category Theory Through Functional Programming (part 3/3) - λC 2017
Functional programming is taking over the world. And with it, categorical thinking is permeating into our code. Notions like functor, monad or free-ness are usual ...
LambdaConf
Category Theory 2.1: Functions, epimorphisms
Functions, epimorphisms.
Bartosz Milewski
Category Theory II 7.1: Comonads
Bartosz Milewski
David Spivak - Category Theory - Part 2 of 6 - λC 2017
Description: Category theory and its applications Slides: No Slides.
LambdaConf
Category Theory and Functional Programming Part02: Active Program Implementation
This session is about the active (as opposed to reactive) implementation of programs. It also introduces main programs and program materialization. At the end ...
Luc Duponcheel
Category theory for JavaScript programmers #15: for comprehensions
http://jscategory.wordpress.com/source-code/ Note these are far more general than the current proposals for generators and iterators in "ES.next", the next ...
Mike Stay
Applied Category Theory. Chapter 1, lecture 2 (Fong)
Applied Category Theory MIT Course 18.S097 Independent Activities Period (IAP) 2019 Taught by David Spivak and Brendan Fong © Spifong.
Topos
A pragmatic introduction to Category Theory by Daniela Sfregola
This video was recorded at Scala Days Berlin 2018 Follow us on Twitter @ScalaDays or visit our website for more information http://scaladays.org More ...
Scala Days Conferences
Category Theory For Beginners: Knowledge Representation
In this video I discuss how ontology logs can be used to represent ideas from science and everyday language. I begin with an example of how pullbacks can be ...
Richard Southwell
Category Theory For Beginners: Graphs And Dynamical Systems
In this video I discuss how we can make categories of structured sets (the category of graphs, and the category of dynamical systems, and the category of ...
Richard Southwell
Practical Category Theory: Monoids
This week, as part of Axosoft's Dev Talk series, David Koontz explains "Monoids and Practical Category Theory". As part of an advanced continuation of this talk, ...
GitKraken
A practical introduction to Category Theory - Daniela Sfregola
Category Theory has become one of the hot topics in our community. Why is this theory suddenly so interesting for developers? Why are the cool kids talking so ...
ScalaIO FR
Category theory for JavaScript programmers #18: partial orders as categories
http://jscategory.wordpress.com/source-code/
Mike Stay
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 ...
Dr. Martin J.M. Codrington