Elektrine lite

← Feed

varkor

varkor@mathstodon.xyz

<p>Category theorist and type theorist. I make <a href="http://q.uiver.app" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">http://</span><span class="">q.uiver.app</span><span class="invisible"></span></a>. Rust compiler team alumnus.</p>

Posts

  • Post #2855278

    If anyone has a copy of Eilenberg&amp;#39;s 1960 paper &amp;quot;Abstract description of some basic functors&amp;quot; (in which, along with Watts&amp;#39; paper, the &amp;quot;Eilenberg–Watts theorem&amp;quot; first appears) that they&amp;#39;d be happy to share with me, I&amp;#39;d be very grateful – please let me know!