<h2 class="e-heading">ソース</h2><p class="e-p">PDF: <a href="https://kmt.bucket.uniuiq.me/math/171217_uniuiq_Barr-theorem.pdf" target="_blank" rel="noopener noreferrer nofollow" class="e-link">171217_uniuiq_Barr-theorem.pdf</a></p><h2 class="e-heading">初出</h2><p class="e-p">2017年12月12日あたりに旧ブログにアップ？</p><p class="e-p">https://unununum.hatenablog.com/entry/2017/12/16/194858 (リンク切れ)</p><h2 class="e-heading">内容紹介</h2><p class="e-p">次のPDFで書きかけになっていた、Barrの定理の証明を行ったもの。</p><div class="e-link-card" data-href="https://sizu.me/uiq/posts/7an5vdd9hfoa" data-title="フィルターとネット 2017｜uni-uiq" data-description="313字"><a class="e-link-card__anchor" href="https://sizu.me/uiq/posts/7an5vdd9hfoa" rel="noreferrer noopener" target="_blank"><div class="e-link-card__title">フィルターとネット 2017｜uni-uiq</div><div class="e-link-card__hostname"><img src="https://icons.duckduckgo.com/ip3/sizu.me.ico" referrerpolicy="no-referrer" /><span>sizu.me</span></div></a></div><p class="e-p">超フィルターを色々計算して頑張る。</p><h2 class="e-heading">keywords</h2><p class="e-p">Barrの定理, Lax Alegebra, モナド, 超フィルター</p>