Mercurial > hg > Members > kono > Proof > category
graph
-
preinital full subcategory done2016-08-30, by Shinji KONO
-
fix limit2016-08-30, by Shinji KONO
-
equ2016-08-29, by Shinji KONO
-
clean up2016-08-29, by Shinji KONO
-
add rest of equation2016-08-29, by Shinji KONO
-
initialFullSubCategory2016-08-29, by Shinji KONO
-
f=g if equalizer k has right inverse2016-08-28, by Shinji KONO
-
add discrete2016-03-27, by Shinji KONO
-
functor constraint does not work well on distribution law2016-03-26, by Shinji KONO
-
add another method as a comment2016-03-26, by Shinji KONO
-
clean up2016-03-26, by Shinji KONO
-
limit-to done2016-03-26, by Shinji KONO
-
nat commute in limit-to2016-03-26, by Shinji KONO
-
...2016-03-26, by Shinji KONO
-
add Nil2016-03-26, by Shinji KONO