Outer Web | Explore

Explore >> Select a destination

You are here		www.jeremykun.com Universal Properties \|\| Math ? Programming
\|	\|	bartoszmilewski.com Function Types \| Bartosz Milewski's Programming Cafe	1.7 parsecs away Travel
\|	\|	This is part 9 of Categories for Programmers. Previously: Functoriality. See the Table of Contents. So far I've been glossing over the meaning of function types. A function type is different from other types. Take Integer, for instance: It's just a set of integers. Bool is a two element set. But a function type a->b...	1.7 parsecs away Travel
\|	\|	rakhim.org Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org	2.9 parsecs away Travel
\|	\|	[AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations.	2.9 parsecs away Travel
\|	\|	grossack.site Life in Johnstone's Topological Topos 1 -- Fundamentals \| Chris Grossack's Blog	3.4 parsecs away Travel
\|	\|	Chris Grossack's math blog and professional website.	3.4 parsecs away Travel
\|	\|	reperiendi.wordpress.com Huge firefly larva \| reperiendi	16.2 parsecs away Travel
\|		https://www.youtube.com/watch?v=um4CBW79ZCg	16.2 parsecs away Travel