ヒビルテ [圏論]
Categories |
本 |
logic-programming |
tDiary |
英語 |
gimp |
ruby |
cygwin |
scheme |
gtk |
quiz |
流行りもの |
時事 |
映画 |
tom |
TV |
URL |
w3m |
ネタ |
Web |
検索 |
論文 |
圏論 |
haskell |
javascript |
machine-learning |
メモ |
向井研 |
CPL |
食 |
ChannelTheory |
linguistics |
SemanticWeb |
logic |
型理論 |
東方 |
continuation |
後で |
Topology via Logic |
ocaml |
modal-logic |
theorem-proving |
hiki |
モデル検査 |
人狼 |
programming-contest |
agda |
probability |
quantum |
音楽 |
coq |
money |
Alloy |
lifehack |
music |
maude |
プロセス代数 |
thinkpad |
game |
security |
linear-programming |
optimization |
Erlang |
iPhone |
mac
- 2001-12-07#p02 向井先生に圏論の話を色々聞いた
- 2002-01-19#p05 来学期のカテゴリー論の勉強会
- 2002-02-19#p02 "Conceptual Mathematics: A First Introduction to Categories" を注文
- 2002-02-20#p04 関手の圏
- 2002-02-21#p02 関手の圏 (2)
- 2002-02-28#p02 春休み中の勉強の途中成果?
- 2002-03-04#p03 categories
- 2002-03-06#p06 A first introductin to categories
- 2002-03-07#p03 A first introductin to categories
- 2002-03-14#p08 圏論
- 2002-03-16#p05 圏論
- 2002-03-19#p02 圏論
- 2002-03-20#p04 Categories, Types and Structures: an introduction to Category Theory for the working computer scientist.
- 2002-03-21#p04 圏論
- 2002-03-29#p06 圏論
- 2002-03-30#p01 圏論
- 2002-03-31#p01 原始帰納関数
- 2002-03-31#p05 linear category がピンとこない、他
- 2002-04-01#p05 Binary operations and diagonal arguments
- 2002-04-03#p03 圏論勉強会の教科書
- 2002-04-05#p05 圏論とか
- 2002-04-10#p02 圏論
- 2002-04-12#p04 カリー化と論理
- 2002-04-13#p01 What the hell are Monads?
- 2002-04-14#p02 YT×S ≅ (YT)S の証明についてのメモ
- 2002-04-16#p01 Monads for functional programming
- 2002-04-16#p07 圏論
- 2002-04-22#p03 A first introduction to categories 読了
- 2002-05-04#p08 群から圏へ
- 2002-05-09#p02 representable functor
- 2002-05-11#p04 monomorphismかつepimorphismはisomorphismの十分条件じゃない
- 2002-05-11#p09 お勉強ノート
- 2002-05-13#p05 T-coalgebra
- 2002-05-13#p07 Lawvere の不動点定理 (Lawvere's diagonal theorem)
- 2002-05-17#p04 section, retraction, monomorphism, epimorphism
- 2002-05-17#p05 カテゴリカルロジック
- 2002-05-19#p07 米田の補題
- 2002-05-31#p03 今日の向井研
- 2002-06-07#p04 monadとF,G-dialgebra
- 2002-06-07#p05 かけ算のような物
- 2002-06-09#p06 T-algebras
- 2002-06-09#p07 Categories for the Working Mathematician
- 2002-06-13#p03 endofunctor
- 2002-06-14#p05 今日の向井研
- 2002-06-28#p02 今日の向井研 (Elementary universal mapping properties その2)
- 2002-06-30#p02 Monad
- 2002-07-04#p02 圏論メモ
- 2002-09-13#p01 exp(A,B)のvariance
- 2002-09-19#p02 adjointって面白いなぁ
- 2002-10-04#p04 Strong Categorical Datatypes I
- 2002-10-13#p02 topos and topology
- 2002-12-31#p02 今年を振り返って (圏論)
- 2003-01-21#p02 "Sketches: Outline with references"
- 2003-01-26#p03 「スケッチ」
- 2003-02-17#p02 cograph
- 2003-02-17#p07 モナド(Monad)
- 2003-03-04#p03 functor category とデータ型
- 2003-03-23#p02 Re: functor category とデータ型
- 2003-06-01#p03 Hylomorphism
- 2003-06-04#p01 木下佳樹, 高橋孝一: 『図式による圏論の形式的証明』, 電子技術総合研究所研究速報, TR95-25, 1995.
- 2003-06-04#p03 Hylomorphism その2
- 2003-06-18#p05 A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
- 2003-06-27#p02 D∞わからーん
- 2003-06-27#p04 Lambek's Lemma
- 2003-06-27#p07 Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors
- 2003-07-04#p01 極限?
- 2003-08-17#p06 comonads
- 2003-09-11#p03 Regular category の中の非決定性オートマトン, 池上 大介 (産総研/CREST)
- 2003-09-11#p04 抽象解釈にみられる圏論的構成について, 西澤 弘毅 (東大/産総研)
- 2003-09-25#p02 Haskellスレ
- 2003-11-27#p02 HaskellのMonad
- 2004-01-22#p03 Re: 街で見かけた数学用語
- 2004-04-03#p01 Polymorphism is not set-theoretic
- 2004-04-10#p01 John Hughes, "Generalising Monads to Arrows"
- 2004-04-25#p01 "Categories for Everybody", Steve Awodey
- 2004-04-28#p01 "Institution Morphisms", Joseph Goguen, Grigore Rosu
- 2004-06-02#p01 Closed Freyd- and kappa-categories, John Power and Hayo Thielecke
- 2004-06-29#p01 V. Vene. Categorical programming with inductive and coinductive types. Diss. Math. Uni. Tartuensis, v. 23, Uni. of Tartu, Aug. 2000. - .ps.gz, .pdf.
- 2004-07-28#p01 FREYD, P. J. 1990. Recursive Types Reduced to Inductive Types. In Proceedings 5th IEEE Annual Symp. on Logic in Computer Science, LICS'90 (Philadelphia, PA, USA, 4-7 June 1990). IEEE Computer Society Press, Los Alamitos, CA, 498-507.
- 2004-07-31#p04 Haskellの代数的データ型は始代数ではない
- 2004-07-31#p05 Haskellの代数的データ型は始代数ではない? (2)
- 2004-07-31#p06 Haskellの代数的データ型は始代数ではない? (3)
- 2004-07-31#p07 Haskellの代数的データ型は始代数ではない? (4)
- 2004-11-07#p02 圏論勉強会開催予定が決定
- 2004-11-20#p01 第一回圏論勉強会
- 2004-12-08#p01 Announce: 圏論勉強会 (第二回)
- 2004-12-09#p05 Category extras
- 2004-12-11#p02 第二回圏論勉強会
- 2005-01-27#p03 Announce: 圏論勉強会(第三回)
- 2005-02-15#p02 不動点と有限直和を持つCCC
- 2005-02-15#p03 不動点と有限直和を持つCCC (2)
- 2005-02-15#p04 不動点と有限直和を持つ distributive category ?
- 2005-02-17#p03 Announce: 圏論勉強会(第四回)
- 2005-02-19#p02 パラメトリシティと不動点
- 2005-02-19#p04 第四回圏論勉強会
- 2005-02-21#p02 monadic catamorphisms
- 2005-02-26#p01 代数的データ型と始代数の話
- 2005-03-03#p01 Representations of First order function types as terminal coalgebras, Thorsten Altenkirch
- 2005-03-08#p01 Hylomorphisms
- 2005-03-08#p02 Hylomorphismと不動点コンビネータ
- 2005-03-08#p03 Hylo Shift Law
- 2005-03-08#p04 Hylomorphismの三つ組み表現 (Hylomorphisms in triplet form)
- 2005-03-08#p06 Cata-HyloFusion / Hylo-AnaFusion
- 2005-03-09#p02 構成的な関数からなる圏
- 2005-03-09#p03 Extensional PERs, Peter J. Freyd, P. Mulry, Giuseppe Rosolini, D. Scott
- 2005-03-09#p04 An introduction to fibrations, topos theory, the effective topos and modest sets, Wesley Phoa
- 2005-03-15#p02 Parametricty and Mulry's Strong Dinaturality - A. Eppendahl
- 2005-03-17#p04 Announce: 圏論勉強会(第五回)
- 2005-03-26#p02 お絵描き圏論
- 2005-03-26#p03 ETBダイアグラム
- 2005-03-27#p01 Traced Premonoidal Categories - Nick Benton and Martin Hyland
- 2005-03-31#p04 Algebraically compact functors - Michael Barr
- 2005-04-11#p02 Announce: 圏論勉強会(第六回)
- 2005-04-15#p01 Announce: 圏論勉強会(第六回) は延期
- 2005-05-03#p02 第六回圏論勉強会
- 2005-06-11#p01 第七回圏論勉強会
- 2005-07-02#p01 第八回圏論勉強会
- 2005-07-27#p01 Categories List in Japanese
- 2005-08-13#p01 第九回圏論勉強会
- 2005-08-25#p04 ファンクタ(functor)とは
- 2005-10-08#p02 第十回圏論勉強会
- 2005-11-12#p01 第十一回圏論勉強会
- 2005-12-18#p01 第十ニ回圏論勉強会
- 2006-01-22#p01 第十三回圏論勉強会
- 2006-02-09#p01 反対圏の実現
- 2006-02-12#p01 第十四回圏論勉強会
- 2006-03-24#p01 The dual of substitution is redecoration. Tarmo Uustalu, Varmo Vene
- 2006-04-07#p01 圏論の解析結果
- 2006-04-30#p01 第十六回圏論勉強会
- 2006-05-14#p01 A groupoid model refutes uniqueness of identity proofs. Martin Hofmann and Thomas Streicher.
- 2006-05-28#p02 第十七回圏論勉強会
- 2006-06-14#p01 融合変換の簡単な例
- 2006-07-09#p01 第十八回圏論勉強会
- 2006-07-23#p01 第十九回圏論勉強会
- 2006-08-13#p01 第二十回圏論勉強会
- 2006-08-27#p01 CPOと始代数
- 2006-09-12#p02 圏論の諸相
- 2006-09-17#p01 第二一回圏論勉強会
- 2006-09-26#p02 Build, Augment and Destroy, Universally. Neil Ghani, Tarmo Uustalu, and Varmo Vene
- 2006-10-08#p01 Arrows, like Monads, are Monoids by Chris Heunen and Bart Jacobs
- 2006-10-12#p01 2-Category by John Power
- 2006-10-15#p01 第二十二回圏論勉強会
- 2006-10-22#p01 monoidal closed functor?
- 2006-10-25#p01 始代数の持ち上げ
- 2006-10-27#p01 Categorical Semantics of Linear Logic For All by Valeria de Paiva
- 2006-10-27#p02 米田の補題と多相ラムダ計算
- 2006-10-31#p01 CPO圏で始代数が存在しないための条件
- 2006-10-31#p02 多相関数≠自然変換
- 2006-10-31#p03 自然変換 ε: F→Id の性質
- 2006-10-31#p04 CPO圏での自然変換の性質
- 2006-11-01#p01 *-autonomous category
- 2006-11-04#p01 topを追加する関手
- 2006-11-10#p01 A note on inconsistencies caused by fixpoints in a cartesian closed category by H. Huwig and A. Poigné
- 2006-11-10#p02 コンマ圏と極限錘
- 2006-11-12#p01 第二十三回圏論勉強会
- 2006-11-27#p03 Reading Notes: Why is Cpo Cocomplete? by Jean Goubault-Larrecq
- 2006-12-01#p02 随伴とモナド
- 2006-12-07#p01 Applicative Programming with Effects by Conor McBride and Ross Paterson
- 2006-12-10#p01 第二十四回圏論勉強会
- 2006-12-14#p01 Domain Theoretic Models Of Polymorphism by Thierry Coquand and Carl A. Gunter
- 2006-12-26#p01 almost epi
- 2007-01-21#p01 第二十五回圏論勉強会
- 2007-02-25#p01 第二十六回圏論勉強会
- 2007-03-25#p01 第二十七回圏論勉強会
- 2007-04-16#p02 「初歩の圏論」富士セミナー
- 2007-04-28#p01 第二十八回圏論勉強会
- 2007-05-15#p02 Introducing categories to the practicing physicist by Bob Coecke
- 2007-06-06#p01 CCC と *-autonomy
- 2007-06-24#p01 第三十回圏論勉強会
- 2007-07-08#p01 第三十一回圏論勉強会
- 2007-08-09#p02 “Topoi: The Categorial Analysis of Logic” by Robert Goldblatt
- 2007-08-12#p02 第三十二回圏論勉強会
- 2007-09-09#p02 第三十三回圏論勉強会
- 2007-10-28#p01 第三十四回圏論勉強会
- 2007-11-04#p01 カテ……
- 2007-12-09#p01 第三十五回圏論勉強会
- 2008-01-13#p01 第三十六回圏論勉強会
- 2008-01-14#p01 “Foundations for structured programming with GADTs” by Patricia Johann and Neil Ghani
- 2008-01-18#p01 米田の補題とCPS変換
- 2008-02-10#p02 第三十七回圏論勉強会
- 2008-03-09#p01 第三十八回圏論勉強会
- 2008-03-11#p02 圏論の講義をYouTubeで
- 2008-03-18#p01 “Category Theoretical Semantics for Pregroup Grammars” by Anne Preller
- 2008-04-01#p01 『圏論による論理学—高階論理とトポス』 清水 義夫
- 2008-04-02#p01 スライスのスライスはスライス
- 2008-04-04#p01 topos の internal language は?
- 2008-04-08#p01 “Co-limits in topoi” by Robert Paré
- 2008-04-10#p01 スライスがCCCのときのプルバックの右随伴
- 2008-04-11#p01 coarbitrary と双対を表す“co-”の由来
- 2008-04-12#p01 第三十九回圏論勉強会
- 2008-04-24#p01 “The Path Category in ALF and AGDA” by Ilya Beylin
- 2008-05-11#p01 第四十回圏論勉強会
- 2008-06-15#p01 第四十一回圏論勉強会
- 2008-06-27#p01 Heinrich Kleisli の写真
- 2008-07-06#p01 第四十二回圏論勉強会
- 2008-07-31#p01 依存型とcatamorphism
- 2008-08-02#p01 Categories with attributes (cwa)
- 2008-08-04#p01 cwaでのユニット型の解釈
- 2008-08-05#p01 Categories with families
- 2008-08-10#p02 第四十三回圏論勉強会
- 2008-08-12#p01 cwaでの自然数型の解釈
- 2008-08-15#p02 The Comonad.Reader » Kan Extensions
- 2008-08-18#p01 自然変換の垂直合成と水平合成
- 2008-09-14#p01 第四十四回圏論勉強会
- 2008-09-28#p01 A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments
- 2008-10-12#p01 第四十五回圏論勉強会
- 2008-11-09#p01 第四十六回圏論勉強会
- 2008-11-12#p02 Algebraic Topology: A guide to literature
- 2008-11-13#p01 “Functorial Semantics of Algebraic Theories” by F. William Lawvere
- 2008-11-24#p01 “Conceptual Mathematics: A First Introduction to Categories” 第二版
- 2008-12-14#p01 第四十七回圏論勉強会
- 2008-12-25#p01 メモ: 『層・圏・トポス』第一章「層」
- 2009-01-11#p01 第四十八回圏論勉強会
- 2009-01-15#p01 圏論屋さんに名前をつけさせるのはやめろってば
- 2009-02-08#p01 第四十九回圏論勉強会
- 2009-03-08#p01 第五十回圏論勉強会＠NII
- 2009-04-12#p01 第五十一回圏論勉強会
- 2009-05-10#p01 第五十二回圏論勉強会
- 2009-06-13#p01 “Data types á la carte” by Wouter Swierstra
- 2009-06-23#p01 Σモノイド—メタ変数と明示的環境を持つ高階構文 by 浜名誠
- 2009-07-12#p01 第五十四回圏論勉強会
- 2009-08-09#p01 第五十五回圏論勉強会
- 2009-09-13#p02 第五十六回圏論勉強会
- 2009-09-20#p01 Introduction to Categorical Programming
- 2009-11-15#p01 第五十八回圏論勉強会
- 2009-12-23#p01 第五十九回圏論勉強会
- 2010-01-17#p01 第六十回圏論勉強会
- 2010-04-17#p01 CLTT読書会第一回
- 2010-05-15#p01 CLTT読書会 第2回
- 2010-06-26#p03 CLTT読書会 第3回
- 2010-07-17#p01 CLTT の 1.1 Fibrations の練習問題
- 2010-07-22#p01 “Generic Programming with Adjunctions” by Ralf Hinze
- 2010-07-25#p01 CLTT の 1.2 Some concrete examples: sets, ω-sets and PERs のノート
- 2010-07-31#p01 CLTT の 1.3 Some general examples のノート
- 2010-08-21#p01 CLTT読書会 第5回
- 2010-08-21#p02 モナド納涼会
- 2010-08-23#p01 CLTT の 1.4 Cloven and split fibrations のノート
- 2010-09-02#p01 CLTT の 1.5 Change-of-base and composition for fibrationsのノート
- 2010-09-07#p01 CLTT の 1.6 Fibrations of signatures のノート
- 2010-09-18#p01 CLTT読書会 第6回
- 2010-12-18#p01 Beyond Classical Domain Theory by Alex Simpson