<?xml version="1.0" encoding="UTF-8"?>
<feed xmlns="http://www.w3.org/2005/Atom" xmlns:dw="https://www.dreamwidth.org">
  <id>tag:dreamwidth.org,2016-12-25:2614584</id>
  <title>timelets</title>
  <subtitle>timelets</subtitle>
  <author>
    <name>timelets</name>
  </author>
  <link rel="alternate" type="text/html" href="https://timelets.dreamwidth.org/"/>
  <link rel="self" type="text/xml" href="https://timelets.dreamwidth.org/data/atom"/>
  <updated>2017-12-23T18:26:08Z</updated>
  <dw:journal username="timelets" type="personal"/>
  <entry>
    <id>tag:dreamwidth.org,2016-12-25:2614584:743203</id>
    <link rel="alternate" type="text/html" href="https://timelets.dreamwidth.org/743203.html"/>
    <link rel="self" type="text/xml" href="https://timelets.dreamwidth.org/data/atom/?itemid=743203"/>
    <title>External vs Internal</title>
    <published>2017-12-23T18:24:32Z</published>
    <updated>2017-12-23T18:26:08Z</updated>
    <category term="set"/>
    <category term="category"/>
    <dw:security>public</dw:security>
    <dw:reply-count>0</dw:reply-count>
    <content type="html">I keep forgetting that external diagrams lose some info to elevate the level of abstraction. The lost info is partially (?) recovered by the introduction of the concepts of injective, surjective, bijective, etc.&lt;br /&gt;&lt;br /&gt;&lt;img src="https://timelets.dreamwidth.org/file/58861.png" width="600/"&gt;&lt;br /&gt;&lt;br /&gt;-- figure from Lawvere and Rosenbrugh, 2003.&lt;br /&gt;&lt;br /&gt;&lt;img src="https://www.dreamwidth.org/tools/commentcount?user=timelets&amp;ditemid=743203" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/&gt; comments</content>
  </entry>
</feed>
