Mercurial > hg > Members > kono > Proof > category
graph
-
...Fri, 26 Feb 2021 02:08:22 +0900, by Shinji KONO
-
Polynominal category and functional completeness beginThu, 25 Feb 2021 18:50:06 +0900, by Shinji KONO
-
...Thu, 25 Feb 2021 13:08:17 +0900, by Shinji KONO
-
...Thu, 25 Feb 2021 11:13:31 +0900, by Shinji KONO
-
bi-cartesianThu, 25 Feb 2021 02:01:37 +0900, by Shinji KONO
-
Topos as pull backTue, 23 Feb 2021 16:32:06 +0900, by Shinji KONO
-
...Tue, 23 Feb 2021 14:11:12 +0900, by Shinji KONO
-
give up burroniMon, 22 Feb 2021 21:31:38 +0900, by Shinji KONO