<?xml version="1.0" encoding="UTF-8"?>
 <rdf:RDF xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://web.resource.org/cc/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:admin="http://webns.net/mvcb/">
  <channel rdf:about="http://pinboard.in">
    <title>Pinboard (pragmatrix)</title>
    <link>https://pinboard.in/u:pragmatrix/public/</link>
    <description>recent bookmarks from pragmatrix</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html"/>
	<rdf:li rdf:resource="http://www.cs.man.ac.uk/~david/categories/book/book.pdf"/>
	<rdf:li rdf:resource="http://tickblog.wordpress.com/2012/02/11/category-theory-cheat-post/"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html">
    <title>Functors, Applicatives, And Monads In Pictures - adit.io</title>
    <dc:date>2014-08-13T08:15:17+00:00</dc:date>
    <link>http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html</link>
    <dc:creator>pragmatrix</dc:creator><dc:subject>functional haskell monads programming visualization learning tutorial funny functors category-theory</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:pragmatrix/b:0766f33edca6/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:monads"/>
	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:visualization"/>
	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:learning"/>
	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:tutorial"/>
	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:funny"/>
	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:functors"/>
	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:category-theory"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cs.man.ac.uk/~david/categories/book/book.pdf">
    <title>www.cs.man.ac.uk/~david/categories/book/book.pdf</title>
    <dc:date>2014-05-22T09:51:03+00:00</dc:date>
    <link>http://www.cs.man.ac.uk/~david/categories/book/book.pdf</link>
    <dc:creator>pragmatrix</dc:creator><dc:subject>category-theory pdf book</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:pragmatrix/b:dfd170b0c946/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:category-theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:pdf"/>
	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:book"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://tickblog.wordpress.com/2012/02/11/category-theory-cheat-post/">
    <title>Category Theory Cheat Post (WiP) « blog . by . paul</title>
    <dc:date>2012-02-12T21:53:43+00:00</dc:date>
    <link>http://tickblog.wordpress.com/2012/02/11/category-theory-cheat-post/</link>
    <dc:creator>pragmatrix</dc:creator><dc:subject>category-theory mathematics type-theory</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:pragmatrix/b:56fbde944f50/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:category-theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:pragmatrix/t:type-theory"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>