<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<oembed>
  <author_name>hitotakuchan</author_name>
  <author_url>https://blog.hatena.ne.jp/hitotakuchan/</author_url>
  <blog_title>俺の Colimit を越えてゆけ</blog_title>
  <blog_url>https://www.orecoli.com/</blog_url>
  <categories>
    <anon>数学</anon>
    <anon>数学-圏論</anon>
  </categories>
  <description>Steve Awodey の Category Theory を読む シリーズトップ 5.2 Pullbacks Proposition 5.5 Exercise 3 5.3 Properties of pullbacks Two pullbacks lemma Proposition 5.10 Example 5.13 5.4 Limits Proposition 5.14 5.6 Colimits Direct limits of groups 参考書籍 5.2 Pullbacks Proposition 5.5 only if case しか証明されていないので、if case の証明を…</description>
  <height>190</height>
  <html>&lt;iframe src=&quot;https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.orecoli.com%2Fentry%2F2016%2F04%2F30%2F145404&quot; title=&quot;Steve Awodey の Category Theory を読む : Chapter 5 - 俺の Colimit を越えてゆけ&quot; class=&quot;embed-card embed-blogcard&quot; scrolling=&quot;no&quot; frameborder=&quot;0&quot; style=&quot;display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;&quot;&gt;&lt;/iframe&gt;</html>
  <image_url>http://ecx.images-amazon.com/images/I/41pAXg0Mh8L.jpg</image_url>
  <provider_name>Hatena Blog</provider_name>
  <provider_url>https://hatena.blog</provider_url>
  <published>2016-04-30 14:54:04</published>
  <title>Steve Awodey の Category Theory を読む : Chapter 5</title>
  <type>rich</type>
  <url>https://www.orecoli.com/entry/2016/04/30/145404</url>
  <version>1.0</version>
  <width>100%</width>
</oembed>
