2016-03-07から1日間の記事一覧

Steve Awodey の Category Theory を読む : Chapter 1

Steve Awodey の Category Theory を読む シリーズトップ はじめに 1.2 Functions of sets 1.4 Examples of categories 圏 Definition 1.2 poset category が poset であること Functor は monotone function monotone function は Functor an example from …