Watch This
  • Trending
  • Explore

Category Theory 2.2: Monomorphisms, simple types

Monomorphisms, simple types.

Join Today
Category Theory 3.1: Examples of categories, orders, monoids
▶︎

Category Theory 3.1: Examples of categories, orders, monoids

Category Theory 1.1: Motivation and Philosophy
▶︎

Category Theory 1.1: Motivation and Philosophy

Category Theory 5.1: Coproducts, sum types
▶︎

Category Theory 5.1: Coproducts, sum types

Category Theory 1.2: What is a category?
▶︎

Category Theory 1.2: What is a category?

Category Theory 9.1: Natural transformations
▶︎

Category Theory 9.1: Natural transformations

Brian Beckman: Don't fear the Monad
▶︎

Brian Beckman: Don't fear the Monad

Why you can't solve quintic equations (Galois theory approach) #SoME2
▶︎

Why you can't solve quintic equations (Galois theory approach) #SoME2

Category Theory 3.2: Kleisli category
▶︎

Category Theory 3.2: Kleisli category

Category Theory in Life - Eugenia Cheng
▶︎

Category Theory in Life - Eugenia Cheng

Category Theory 8.1: Function objects, exponentials
▶︎

Category Theory 8.1: Function objects, exponentials

Reinventing Entropy | Compression is Intelligence Part 1
▶︎

Reinventing Entropy | Compression is Intelligence Part 1

How (and why) to take a logarithm of an image
▶︎

How (and why) to take a logarithm of an image

Something is jamming GPS over Europe. Here's what we found
▶︎

Something is jamming GPS over Europe. Here's what we found

David Spivak - Category Theory - Part 1 of 6 - λC 2017
▶︎

David Spivak - Category Theory - Part 1 of 6 - λC 2017

Category Theory 7.1: Functoriality, bifunctors
▶︎

Category Theory 7.1: Functoriality, bifunctors

The First Real Application of Category Theory #SoME3
▶︎

The First Real Application of Category Theory #SoME3

Richard Feynman: Can Machines Think?
▶︎

Richard Feynman: Can Machines Think?

The most beautiful formula not enough people understand
▶︎

The most beautiful formula not enough people understand

Category Theory: Exploring Math’s Enigmas With Eugenia Cheng (362)
▶︎

Category Theory: Exploring Math’s Enigmas With Eugenia Cheng (362)

AboutContactPrivacyTerms
Made with ❤️ by Abdo