圏論 | 壱大整域
このページについて ※特に断らない限り、圏はlocally smallであると仮定しています。 ※上から順に読むことを想定しています。 ※定義が書いてない言葉があったりするので、その場合はnLabを見るなりしてください。 ※選択公理は特に断らず使います。 意見・質問・感想・誤字や数学的間違いの指摘などはTwitterで直接リプやDMするか、マシュマロで送ってください。 ★お知らせ★ このページのPDFが紙の本になりました。↓のリンクから購入することができます。 全ての概念はKan拡張である: 第0章～第2章(Cauchy完備化は除く) 全ての概念はKan拡張であるII～豊穣圏論～: 第3章 2-category、豊穣圏 ■PDFの量が多すぎると思うので第0章～Kan拡張のPDF(kan_extension.pdf)までの内容を短くまとめたPDFを作りました⇒可能な限り最短でKan 拡張に到
category in nLab
This page is about the concept in mathematics. For the concept of the same name in philosophy see at category (philosophy). Context Category theory Idea A category consists of a collection of things and binary relationships (or transitions) between them, such that these relationships can be combined and include the “identity” relationship “is the same as.” A category is a quiver (a directed graph
nLab
This is a wiki for collaborative work on Mathematics, Physics, and Philosophy — especially (but far from exclusively) from the higher structures point of view: with a sympathy towards the tools and perspectives of homotopy theory/algebraic topology, homotopy type theory, higher category theory and higher categorical algebra. Contents Purpose The nLab records and explores a wide range of mathematic
沖縄に移住する - ほとラボ
一年ほど前に id:amacbee から「沖縄に会社作る」という話を聞いて「え、沖縄良さそう、行く」ってなったの沖縄に行くことにした。 今月からは沖縄にあるちゅらデータ株式会社というところでデータ分析マンとして働いていく。 churadata.okinawa 沖縄には縁もゆかりもない。 「海ぶどうおいしい✌('ω'✌ )三✌('ω')✌三( ✌'ω')✌ 」とか言っちゃうレベル1の沖縄力。 移住を決めたのも「暖かくて過ごしやすそう」程度のテキトーな動機しかない。 どちらかというと「沖縄に行く」ことよりも「東京を離れる」ことに大きな意味がある。 首都圏一極集中つらい 東京の良いところは「人がたくさんいる」ところで、 東京の悪いところは「人がたくさんいる」ところ。 日本は世界的に見ても極端に人口が首都圏に集中している国で、それによる弊害もまた顕著に現れている。 日本での首都圏一極集中はざっくり
ayapi.github.io
Hackers Barってなに？ Hackers Bar 六本木にハッカーがおもてなしをするバーが誕生します。 「Hackers Bar」は、ハッカーのプログラミングライブや ビジネスメイキングを楽しむ空間です。 ぁゃしすぎだし、まじで営業してんの！？って半信半疑で行ってみたら、 まじで営業してたｗ 存在してたｗｗｗｗ ぉ店自体のくゎしぃレポゎねとらぼにも載ったみたぃ カクテル名が「ブルースクリーン」「スパゲッティ」って不吉すぎるでしょ！ 六本木にできた「Hackers Bar」行ってきた - ねとらぼ ゃってもらったライブコーディング 弟が、ぁゃぴにソファーをくれるって言ってて、 ゃったーってかんじなんだけど、③人掛けでまじデカぃっぽぃ！ ぉ部屋の㊥ゎだぃじょぶっぽぃんだけど、 運ばれてくる時、マンションのエレベーターにちゃんと入るのかな？ …ってことで、それを計算したくて／(^o^)＼
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
