Outer Web | Explore

Explore >> Select a destination

You are here		bartoszmilewski.com Coverages and Sites \| Bartosz Milewski's Programming Cafe
\|	\|	blog.sigfpe.com A Neighborhood of Infinity: Some thoughts on reasoning and monads	13.3 parsecs away Travel
\|	\|	[AI summary] The post explores the relationship between Haskell's do-notation and category theory, arguing that it serves as an internal language for reasoning within categories equipped with monads.	13.3 parsecs away Travel
\|	\|	cronokirby.com Categorical Graphs - Cronokirby	14.3 parsecs away Travel
\|	\|	- Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/	14.3 parsecs away Travel
\|	\|	thehighergeometer.wordpress.com A fun "little" example of a crossed module - theHigherGeometer	14.2 parsecs away Travel
\|	\|	I've been looking back at my very first published paper (for "reasons"), and in it there is the group $latex C^\infty(X,\mathrm{PU})$, where $latex X$ is a compact manifold, and $latex \mathrm{PU}$ is the Banach Lie group of projective unitary operators on an infinite-dimensional separable Hilbert space (one needs to take the norm topology here). This...	14.2 parsecs away Travel
\|	\|	gbracha.blogspot.com Room 101: Reflecting on Functional Programming	31.8 parsecs away Travel
\|		In this post, I wanted to make a case for reflection in the context of pure functional programming. I don't know that pure functional langua...	31.8 parsecs away Travel