Bartosz Milewski's Programming Cafe

Subfunctor Classifier

18 days ago

Previously: Subobject Classifier. In category theory, objects are devoid of internal structure...

Subobject Classifier

about 2 months ago

Proviously Sieves and Sheaves. We have seen how topology can be defined...

Understanding Attention in LLMs

2 months ago

There are many excellent AI papers and tutorials that explain the attention...

Legalizing Comonad Composition

4 months ago

The yearly Advent of Code is always a source of interesting coding...

Sieves and Sheaves

6 months ago

Previously: Covering Sieves. We’ve seen an intuitive description of presheaves as virtual...

Covering Sieves

6 months ago

Previously: Sheaves as Virtual Objects. In order to define a sheaf, we...

Sheaves as Virtual Objects

7 months ago

Previously: Coverages and Sites The definition of a sheaf is rather complex...

Coverages and Sites

7 months ago

Previously: Sheaves and Topology. In our quest to rewrite topology using the...

Sheaves and Topology

9 months ago

Previously: Presheaves and Topology. In all branches of science we sooner or...

Presheaves and Topology

9 months ago

Category theory lets us change the focus from individual objects to relationships...

Topology as a Dietary Choice

10 months ago

What is Topology? When talking about topology, people draw cups with handles...

Neural Networks, Pre-lenses, and Triple Tambara Modules, Part II

about 1 year ago