Bartosz Milewski

Blogger, software architect, writer, Computer Science, Haskell, C++. PhD in Quantum Physics

Categories
N/A
Content Types
N/A
More Information
Location|Languages
Publications

Published Content

178
Free Monoid from Free Algebra, Part 2
bartoszmilewski.comArticle
Free Monoid from Free Algebra, Part 2
July, 31 2018
Free Monoid from Free Algebra, Part 1
bartoszmilewski.comArticle
Free Monoid from Free Algebra, Part 1
July, 31 2018
Life and (Thermal) Death in the Universe
bartoszmilewski.comArticle
Life and (Thermal) Death in the Universe
March, 28 2018
Free Monoidal Profunctors
bartoszmilewski.comArticle
Free Monoidal Profunctors
February, 20 2018
Free Monoidal Functors
bartoszmilewski.comArticle
Free Monoidal Functors
February, 17 2018
Pointwise Kan Extensions
bartoszmilewski.comArticle
Pointwise Kan Extensions
January, 23 2018
The Earth is Flat
bartoszmilewski.comArticle
The Earth is Flat
January, 11 2018
Stalking a Hylomorphism in the Wild
bartoszmilewski.comArticle
Stalking a Hylomorphism in the Wild
December, 29 2017
Monads, Monoids, and Categories
bartoszmilewski.comArticle
Monads, Monoids, and Categories
September, 7 2017
Lawvere Theories
bartoszmilewski.comArticle
Lawvere Theories
August, 26 2017
Topoi
bartoszmilewski.comArticle
Topoi
July, 22 2017
Profunctor Optics: The Categorical View
bartoszmilewski.comArticle
Profunctor Optics: The Categorical View
July, 7 2017
Enriched Categories
bartoszmilewski.comArticle
Enriched Categories
May, 13 2017
Kan Extensions
bartoszmilewski.comArticle
Kan Extensions
April, 17 2017
Profunctor Parametricity
bartoszmilewski.comArticle
Profunctor Parametricity
April, 11 2017
Ends and Coends
bartoszmilewski.comArticle
Ends and Coends
March, 29 2017
Algebras for Monads
bartoszmilewski.comArticle
Algebras for Monads
March, 14 2017
Monoids on Steroids
bartoszmilewski.comArticle
Monoids on Steroids
February, 9 2017
Applicative Functors
bartoszmilewski.comArticle
Applicative Functors
February, 6 2017
I’m a Refugee
bartoszmilewski.comArticle
I’m a Refugee
February, 1 2017
Comonads
bartoszmilewski.comArticle
Comonads
January, 2 2017
Monads Categorically
bartoszmilewski.comArticle
Monads Categorically
December, 27 2016
Monads and Effects
bartoszmilewski.comArticle
Monads and Effects
November, 30 2016
Monads: Programmer’s Definition
bartoszmilewski.comArticle
Monads: Programmer’s Definition
November, 22 2016
Profunctor Polymorphism
bartoszmilewski.comArticle
Profunctor Polymorphism
August, 17 2016
Impoverished Categories
bartoszmilewski.comArticle
Impoverished Categories
July, 28 2016
Profunctors as Relations
bartoszmilewski.comArticle
Profunctors as Relations
July, 25 2016
Free/Forgetful Adjunctions
bartoszmilewski.comArticle
Free/Forgetful Adjunctions
June, 15 2016
Adjunctions
bartoszmilewski.comArticle
Adjunctions
April, 18 2016
The New JDI! Language
bartoszmilewski.comArticle
The New JDI! Language
April, 1 2016
Tambara Modules
bartoszmilewski.comArticle
Tambara Modules
January, 21 2016
It's All About Morphisms
bartoszmilewski.comArticle
It's All About Morphisms
November, 17 2015
Yoneda Embedding
bartoszmilewski.comArticle
Yoneda Embedding
October, 28 2015
The Yoneda Lemma
bartoszmilewski.comArticle
The Yoneda Lemma
September, 1 2015
Representable Functors
bartoszmilewski.comArticle
Representable Functors
July, 29 2015
Free Monoids
bartoszmilewski.comArticle
Free Monoids
July, 21 2015
From Lenses to Yoneda Embedding
bartoszmilewski.comArticle
From Lenses to Yoneda Embedding
July, 13 2015
Operads, Type Level Nats, and Tic-Tac-Toe
bartoszmilewski.comArticle
Operads, Type Level Nats, and Tic-Tac-Toe
July, 1 2015
Using Monads in C++ to Solve Constraints: 4. Refactoring
bartoszmilewski.comArticle
Using Monads in C++ to Solve Constraints: 4. Refactoring
May, 25 2015
Using Monads in C++ to Solve Constraints: 3. The Tale of Two Monads
bartoszmilewski.comArticle
Using Monads in C++ to Solve Constraints: 3. The Tale of Two Monads
May, 18 2015
Using Monads in C++ to Solve Constraints: 2. The State Monad
bartoszmilewski.comArticle
Using Monads in C++ to Solve Constraints: 2. The State Monad
May, 14 2015
Using Monads in C++ to Solve Constraints: 1. The List Monad
bartoszmilewski.comArticle
Using Monads in C++ to Solve Constraints: 1. The List Monad
May, 11 2015
Category Theory and Declarative Programming
bartoszmilewski.comArticle
Category Theory and Declarative Programming
April, 15 2015
Limits and Colimits
bartoszmilewski.comArticle
Limits and Colimits
April, 15 2015
Natural Transformations
bartoszmilewski.comArticle
Natural Transformations
April, 7 2015
Orange Mazurka
bartoszmilewski.comArticle
Orange Mazurka
April, 4 2015
Function Types
bartoszmilewski.comArticle
Function Types
March, 13 2015
Functoriality
bartoszmilewski.comArticle
Functoriality
February, 3 2015
Functors
bartoszmilewski.comArticle
Functors
January, 20 2015
Simple Algebraic Data Types
bartoszmilewski.comArticle
Simple Algebraic Data Types
January, 13 2015
Authorship Stats
1Sites178Projects275,261Words
About
Bartosz Milewski is a writer who has produced content for bartoszmilewski.com
Key Phrases
Category Theory, Natural Transformation, Data Races, Natural Transformations, Data Structures, Message Passing, Type System, Functional Programming, Data Structure, Tensor Product
© ClearVoice, Inc.