<div class="chatlog__message-group">
  <div id="chatlog__message-container-408167120204201995" class="chatlog__message-container" data-message-id="408167120204201995">
    <div class="chatlog__message">
      <div class="chatlog__message-aside"><img class="chatlog__avatar" src="https://cdn.discordapp.com/avatars/293624673265123328/accd07acc220a18568ba46a6e9ede18a.png?size=512" alt="Avatar" loading="lazy"></div>
      <div class="chatlog__message-primary">
        <div class="chatlog__header"><span class="chatlog__author" style="color:rgb(17,128,106)" title="koher" data-user-id="293624673265123328">koher</span> <a href="/channels/400483073743126558?category=archived&amp;channel=math&amp;message_id=408167120204201995"><span class="chatlog__timestamp" title="Wednesday, January 31, 2018 7:50 AM"></span></a><a href="#chatlog__message-container-408167120204201995">1/31/2018 7:50 AM</a></div>
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">Swift における型（単純化のため、 <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">Equatable</code> を満たす型のみ）を対象とし、関数を射とします（引数の型が始域、戻り値の型が終域）。二つの関数 f: (X) -&gt; Y, g: (X) -&gt; Y があり、任意の x: X について関数 f(x) == g(x) が成り立つとき、 f と g は等しいものとします。このとき、任意の射 f1: (X) -&gt; Y, f2: (Y) -&gt; Z に対して f12: (X) -&gt; Z = f2(f1(X)) が存在し、結合律、単位律が成り立つ（つまり、このような対象と射の集まりは圏な）のではないでしょうか？</span></div>
      </div>
    </div>
  </div>
</div>