Jonathan Weinberger

Un nouveau concept qui transforme notre vision des types en maths et en programmation.

Cet article parle des catégories, des fibrations et de leur importance en mathématiques.