Outer Web | Explore

Explore >> Select a destination

You are here		bartoszmilewski.com Free Monoids \| Bartosz Milewski's Programming Cafe
\|	\|	homotopytypetheory.org Isomorphism implies equality \| Homotopy Type Theory	13.5 parsecs away Travel
\|	\|	Thierry Coquand and I have proved that, for a large class of algebraic structures, isomorphism implies equality (assuming univalence). A class of algebraic structures Structures in this class consist of a type, some operations on this type, and propositional axioms that can refer to operations and other axioms. N-ary functions are defined in the following...	13.5 parsecs away Travel
\|	\|	cronokirby.com Encoding the Naturals - Cronokirby	6.8 parsecs away Travel
\|	\|	Exploring 3 different ways of encoding the natural numbers - Read more: https://cronokirby.com/posts/2020/08/encoding-the-naturals/	6.8 parsecs away Travel
\|	\|	rakhim.org Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org	7.3 parsecs away Travel
\|	\|		7.3 parsecs away Travel
\|	\|	cuoichutdi.wordpress.com Chân lý ?n d?u hay trùng h?p tình c?? \| Blog Toán H?c	45.9 parsecs away Travel
\|		Liverpool v?a vô ??ch Premier League, ?i?u này t?o nên m?t th?ng kê thú v?: s? cúp vô ??ch c?a các ??i bóng t?o thành m?t dãy s? Fibonacci. ?i?u này là ng?u nhiên hay có m?t cách lí gi?i toán h?c ?n sau nó? Tôi biên bài báo ng?n v? dãy Fibonacci c?ng nh?...	45.9 parsecs away Travel