今朝はめちゃくちゃ寒いです

寒いです。
雪は降っていません。
 
タツから出られずに、圏について考えています。
私の指し示しの数学でこれを理解するという方法を思いつきました。
指し示しは拡張をも指し示すものです。
 
圏は全ての群と全ての準同型写像なのでそこからどうやって拡張するのか
それを調べてみたいと思っています。
 
そして、どんなことが圏になるのか。
指し示し自体が圏なのか
圏ということから新しい発見があるのか
 
楽しみです。