• about
• hyuki
• 20190711102338
• 順序を保つ写像を関手と見なすときの自然変換
• esaで数式が書ける
• 世界に一つだけの花
• 順序集合を圏と見なした圏ではすべての図式は可換になる
• 順序集合と見なせる関手圏
• 20190710134828
• 20190710223700
• 群から群への関手は群準同型にほかならない
• 関手を線形表現とみなす
• 関手圏
• 関手と見なした二つの左G集合の間の自然変換
• 20190710114459
• 20190708164255
• 20190708163342
• 20190708163049
• 20190708162601
• 20190708155630