CategoryTheory_CLTTr

CategoryTheory:CLTTr

CLTT読書会

開催概要

• 毎月第三土曜 17:00 から開催予定

• 予定＠Googleカレンダー

• B. Jacobs “Categorical Logic and Type Theory” (CLTT) を読む

• 詳しくはこちら

前身

• CategoryTheory_圏論勉強会

第3回（2010/6/26）

1.4 Cloven and split fibrations

予習メモ

• reindexing (substitution) functor
• cloven / cleavage
• split / splitting
• indexed category
  • pseudo functor
  • split indexed category
• UFam(ω-Sets)

1.5 Change-of-base and composition for fibrations

予習メモ

• change-of-base
  • scone / injective scone
  • UFam(PER)
• strict initial object
  • exercise 1.5.6

第2回（2010/5/15）

• 板書

1.3 Some general examples

Exercises

• 1.3.1
  • only ifの証明（hirataraさんまとめ）
  • ifの証明（hirataraさんまとめ）

第1回（2010/4/17）

• 板書

1.1 Fibrations

予習メモ

• indexing
  • 1. Pointwise (or split) indexing
  • 2. display indexing
    • Sets^→
• substitution
  • weakening
  • contraction
• cartesian morphism
• fibration (or fibred category)
  • codomain functor
  • slice category

Exercises

• Prop 1.1.4, Prop 1.1.6
  • 板書1
  • 板書2
• 1.1.1, 1.1.2
  • 板書

1.2 Some concrete examples: sets, ω-sets and PERs

予習メモ

• Set-indexed families
• ω-Sets
• PER
  • c.f. wikipedia

Exercises

• p32 真ん中
  • 板書
• 1.2.6
  • 板書

2次会

• わびしい姿 1, 2

Last modified : 2010/06/25 16:43:31 JST