4·
5 months agoDoesn’t that construction only work in categories that also contain their own morphisms as objects since a profunctor maps (Cᵒᵖ × C) → Set and not the same like (Cᵒᵖ × C) → C? Since the category of Haskell types special, containing its own morphisms, so the profunctor could be like (haskᵒᵖ × hask) -> hask? or I just don’t understand it.
https://without.boats/index.xml http://lambda-the-ultimate.org/rss.xml https://www.defmacro.org/feed.xml https://deadsimpletech.com/rss/ https://samwho.dev/rss.xml https://egtheory.wordpress.com/feed/ https://lispblog.xach.com/rss https://www.tfeb.org/fragments/feeds/all.atom.xml https://ludic.mataroa.blog/rss/ https://www.haskellforall.com/feeds/posts/default http://verisimilitudes.net/rss.xml https://www.paulgraham.com/rss.html https://funcall.blogspot.com/feeds/posts/default https://xeiaso.net/blog.rss https://www.davidpriver.com/feed.xml https://pixel-druid.com/feed.rss https://www.benkuhn.net/index.xml https://danluu.com/atom.xml https://lackofimagination.org/index.xml http://blog.fogus.me/feed/ https://borretti.me/feed.xml https://greydanus.github.io/feed.xml https://www.charlespetzold.com/rss.xml https://brendangregg.com/blog/rss.xml https://eev.ee/feeds/blog.atom.xml https://boehs.org/in/blog.xml https://blog.lancelot.life/feed.xml https://www.gingerbill.org/article/index.xml https://www.marginalia.nu//log/index.xml https://www.nearly42.org/feed/ https://transactional.blog/feed.xml https://undeadly.org/cgi?action=rss https://feeds.feedburner.com/incodeblog https://consteval.ca/feed.xml https://steve-yegge.blogspot.com/atom.xml https://blog.computationalcomplexity.org/feeds/posts/default https://fasterthanli.me/index.xml https://ludic.mataroa.blog/rss/ https://blog.netbsd.org/tnf/feed/entries/atom https://meowni.ca/atom.xml https://brendaneich.com/feed/ https://semantic-domain.blogspot.com/feeds/posts/default https://moonbase.lgbt/blog/atom.xml https://faultlore.com/blah/rss.xml