Канал: Bartosz Milewski

Category Theory III 7.2, Coends

Category Theory III 7.2, Coends

Category Theory III 7.1, Natural transformations as ends

Category Theory III 7.1, Natural transformations as ends

Category Theory III 6.2, Ends

Category Theory III 6.2, Ends

Category Theory III 6.1, Profunctors

Category Theory III 6.1, Profunctors

Category Theory III 5.2, Lawvere Theories

Category Theory III 5.2, Lawvere Theories

Category Theory III 5.1, Eilenberg Moore and Lawvere

Category Theory III 5.1, Eilenberg Moore and Lawvere

Category Theory III 4.2, Monad algebras part 3

Category Theory III 4.2, Monad algebras part 3

Category Theory III 4.1, Monad algebras part 2

Category Theory III 4.1, Monad algebras part 2

Category Theory III 3.2, Monad Algebras

Category Theory III 3.2, Monad Algebras

Category Theory III 3.1, Adjunctions and monads

Category Theory III 3.1, Adjunctions and monads

Category Theory III 2.2, String Diagrams part 2

Category Theory III 2.2, String Diagrams part 2

Category Theory III 2.1: String Diagrams part 1

Category Theory III 2.1: String Diagrams part 1

Category Theory III 1.2: Overview part 2

Category Theory III 1.2: Overview part 2

Category Theory III 1.1: Overview part 1

Category Theory III 1.1: Overview part 1

Category Theory II 9.2: Lenses categorically

Category Theory II 9.2: Lenses categorically

Category Theory II 9.1: Lenses

Category Theory II 9.1: Lenses

Category Theory II 8.2: Catamorphisms and Anamorphisms

Category Theory II 8.2: Catamorphisms and Anamorphisms

Category Theory II 8.1: F-Algebras, Lambek's lemma

Category Theory II 8.1: F-Algebras, Lambek's lemma

Category Theory II 7.2: Comonads Categorically and Examples

Category Theory II 7.2: Comonads Categorically and Examples

Category Theory II 7.1: Comonads

Category Theory II 7.1: Comonads

Category Theory II 6.2: Free-Forgetful Adjunction, Monads from Adjunctions

Category Theory II 6.2: Free-Forgetful Adjunction, Monads from Adjunctions

Category Theory II 6.1: Examples of Adjunctions

Category Theory II 6.1: Examples of Adjunctions

Category Theory II 5.2: Adjunctions

Category Theory II 5.2: Adjunctions

Category Theory II 5.1: Yoneda Embedding

Category Theory II 5.1: Yoneda Embedding

Category Theory II 4.2: The Yoneda Lemma

Category Theory II 4.2: The Yoneda Lemma

Category Theory II 4.1: Representable Functors

Category Theory II 4.1: Representable Functors

Category Theory II 3.2: Free Monoids

Category Theory II 3.2: Free Monoids

Category Theory II 3.1: Examples of Limits and Colimits

Category Theory II 3.1: Examples of Limits and Colimits

Category Theory II 2.2: Limits, Naturality

Category Theory II 2.2: Limits, Naturality

Category Theory II 2.1: Limits, Higher order functors

Category Theory II 2.1: Limits, Higher order functors

Category Theory II 1.2: Limits

Category Theory II 1.2: Limits

Category Theory II 1.1: Declarative vs Imperative Approach

Category Theory II 1.1: Declarative vs Imperative Approach

Category Theory 10.2: Monoid in the category of endofunctors

Category Theory 10.2: Monoid in the category of endofunctors

Category Theory 10.1: Monads

Category Theory 10.1: Monads

Category Theory 9.2: bicategories

Category Theory 9.2: bicategories

Category Theory 9.1: Natural transformations

Category Theory 9.1: Natural transformations

Category Theory 8.2: Type algebra, Curry-Howard-Lambek isomorphism

Category Theory 8.2: Type algebra, Curry-Howard-Lambek isomorphism

Category Theory 8.1: Function objects, exponentials

Category Theory 8.1: Function objects, exponentials

Category Theory 7.2: Monoidal Categories, Functoriality of ADTs, Profunctors

Category Theory 7.2: Monoidal Categories, Functoriality of ADTs, Profunctors

Category Theory 7.1: Functoriality, bifunctors

Category Theory 7.1: Functoriality, bifunctors

Category Theory 6.2: Functors in programming

Category Theory 6.2: Functors in programming

Category Theory 6.1: Functors

Category Theory 6.1: Functors

Теория категорий 5.2: Алгебраические типы данных

Теория категорий 5.2: Алгебраические типы данных

Теория категорий 5.1: Копроизведения, типы-суммы

Теория категорий 5.1: Копроизведения, типы-суммы

Теория категорий 4.2: Произведения

Теория категорий 4.2: Произведения

Теория категорий 4.1: Терминальные и инициальные объекты

Теория категорий 4.1: Терминальные и инициальные объекты

Category Theory 3.2: Kleisli category

Category Theory 3.2: Kleisli category

Теория категорий 3.1: Примеры категорий, порядки, моноиды

Теория категорий 3.1: Примеры категорий, порядки, моноиды

Теория категорий 2.2: Мономорфизмы, простые типы

Теория категорий 2.2: Мономорфизмы, простые типы

Теория категорий 2.1: Функции, эпиморфизмы

Теория категорий 2.1: Функции, эпиморфизмы

Теория категорий 1.2: Что такое категория?

Теория категорий 1.2: Что такое категория?

Теория категорий 1.1: Мотивация и философия

Теория категорий 1.1: Мотивация и философия

Haskell-8-2

Haskell-8-2

Haskell-8-1

Haskell-8-1

Haskell-7-2

Haskell-7-2

Haskell 7 1

Haskell 7 1

Haskell-6-2

Haskell-6-2

Haskell-6-1

Haskell-6-1

Haskell-5-2

Haskell-5-2

Haskell-5-1

Haskell-5-1

Haskell-4-2

Haskell-4-2

Haskell-4-1

Haskell-4-1

Haskell-3-2

Haskell-3-2

Haskell-3-1

Haskell-3-1

Haskell-2-2

Haskell-2-2

Haskell-2-1

Haskell-2-1

Haskell-1-2

Haskell-1-2

Haskell-1-1

Haskell-1-1

Functional Patterns in C++, 3. Async API, Monoid, Monad

Functional Patterns in C++, 3. Async API, Monoid, Monad

Functional Patterns in C++, 2. Currying, Applicative

Functional Patterns in C++, 2. Currying, Applicative

Functional Patterns in C++, 1. Functors

Functional Patterns in C++, 1. Functors

The Language of Concurrency

The Language of Concurrency

C++11 Concurrency, Part 9

C++11 Concurrency, Part 9

C++11 Concurrency, Part 8

C++11 Concurrency, Part 8

C++11 Concurrency, Part 7

C++11 Concurrency, Part 7

C++11 Concurrency, Part 6

C++11 Concurrency, Part 6

C++11 Concurrency, Part 5

C++11 Concurrency, Part 5

C++11 Concurrency, Part 4

C++11 Concurrency, Part 4

C++11 Concurrency, Part 3

C++11 Concurrency, Part 3

C++11 Concurrency, Part 2

C++11 Concurrency, Part 2

C++11 Concurrency, Part 1

C++11 Concurrency, Part 1