<h2 class="e-heading">ソース</h2><p class="e-p">PDF: <a href="https://kmt.bucket.uniuiq.me/math/180412_uniuiq_def-2-category.pdf" target="_blank" rel="noopener noreferrer nofollow" class="e-link">180412_uniuiq_def-2-category.pdf</a></p><h2 class="e-heading">初出</h2><p class="e-p">2017年12月5日に旧版を旧ブログにアップ？</p><p class="e-p">https://unununum.hatenablog.com/entry/2017/12/05/000128 (リンク切れ)</p><p class="e-p">そのときのPDFを一部改修したのがこのバージョン</p><h2 class="e-heading">内容紹介</h2><p class="e-p">2-圏の定義。それ以上でもそれ以下でもない。</p><h2 class="e-heading">keywords</h2><p class="e-p">2-圏, lax 関手, lax 自然変換, modificaion</p>