Mercurial > hg > Members > kono > Proof > category
graph
-
Added tag current for changeset 14ad6ec8a662Wed, 08 Nov 2017 19:57:43 +0900, by Shinji KONO
-
fix commentWed, 08 Nov 2017 19:57:33 +0900, by Shinji KONO
-
...Wed, 08 Nov 2017 08:40:11 +0900, by Shinji KONO
-
...Wed, 08 Nov 2017 00:09:21 +0900, by Shinji KONO
-
clean upWed, 08 Nov 2017 00:05:50 +0900, by Shinji KONO
-
clean up of pullbackTue, 07 Nov 2017 23:48:46 +0900, by Shinji KONO
-
fix Product and pullbackTue, 07 Nov 2017 17:12:08 +0900, by Shinji KONO
-
fh=gh done. limit from product and equalizer doneMon, 06 Nov 2017 10:10:55 +0900, by Shinji KONO
-
...Sun, 05 Nov 2017 16:33:37 +0900, by Shinji KONO
-
extensionality remainsSun, 05 Nov 2017 13:22:59 +0900, by Shinji KONO
-
Product of Arrow is necessary ...Sat, 04 Nov 2017 15:49:26 +0900, by Shinji KONO
-
two product as in CWMSat, 04 Nov 2017 11:49:45 +0900, by Shinji KONO
-
...Fri, 03 Nov 2017 20:45:46 +0900, by Shinji KONO
-
...Fri, 03 Nov 2017 18:59:03 +0900, by Shinji KONO
-
fix limit from product and equalizer (not yet finished )Fri, 03 Nov 2017 13:31:08 +0900, by Shinji KONO
-
fix completenessThu, 02 Nov 2017 09:00:01 +0900, by Shinji KONO
-
fixMon, 30 Oct 2017 18:18:36 +0900, by Shinji KONO
-
remove comp from limit-toMon, 30 Oct 2017 18:14:41 +0900, by Shinji KONO
-
fix completenessMon, 30 Oct 2017 17:49:58 +0900, by Shinji KONO
-
SetCompleteness done!Mon, 30 Oct 2017 11:57:49 +0900, by Shinji KONO
-
...Fri, 27 Oct 2017 10:01:35 +0900, by Shinji KONO
-
...Mon, 23 Oct 2017 15:21:20 +0900, by Shinji KONO
-
...Mon, 23 Oct 2017 07:52:30 +0900, by Shinji KONO
-
...Sun, 22 Oct 2017 23:36:30 +0900, by Shinji KONO
-
introducd HeterogeneousEqualitySun, 22 Oct 2017 22:42:56 +0900, by Shinji KONO
-
move InitialObject to cat-utilitySat, 12 Aug 2017 16:35:58 +0900, by Shinji KONO
-
maybe monad doneWed, 19 Jul 2017 22:27:35 +0900, by Shinji KONO
-
add maybe-monadWed, 19 Jul 2017 20:38:02 +0900, by Shinji KONO
-
fixSun, 16 Jul 2017 14:05:18 +0900, by Shinji KONO
-
adjoint functor theorem doneThu, 06 Jul 2017 13:50:45 +0900, by Shinji KONO
-
on going ...Thu, 06 Jul 2017 12:22:54 +0900, by Shinji KONO
-
fixThu, 06 Jul 2017 09:54:56 +0900, by Shinji KONO
-
universal mappingWed, 05 Jul 2017 10:35:17 +0900, by Shinji KONO
-
uniqunessWed, 05 Jul 2017 10:30:17 +0900, by Shinji KONO
-
solutionWed, 05 Jul 2017 09:55:31 +0900, by Shinji KONO
-
rewritw solutionWed, 05 Jul 2017 09:39:58 +0900, by Shinji KONO
-
id of Functor FWed, 05 Jul 2017 07:53:07 +0900, by Shinji KONO
-
fixTue, 04 Jul 2017 11:03:37 +0900, by Shinji KONO
-
module introduedTue, 04 Jul 2017 10:26:38 +0900, by Shinji KONO
-
use moduleTue, 04 Jul 2017 10:16:07 +0900, by Shinji KONO
-
functorF and ηTue, 04 Jul 2017 03:39:29 +0900, by Shinji KONO
-
add adjunctionMon, 03 Jul 2017 20:53:14 +0900, by Shinji KONO
-
start adjointMon, 03 Jul 2017 16:40:34 +0900, by Shinji KONO
-
representability theorem done.Mon, 03 Jul 2017 15:35:28 +0900, by Shinji KONO
-
add more lemmaMon, 03 Jul 2017 12:20:26 +0900, by Shinji KONO
-
on going ..Mon, 03 Jul 2017 08:41:01 +0900, by Shinji KONO
-
add revUMon, 03 Jul 2017 07:26:58 +0900, by Shinji KONO
-
add more lemmaSun, 02 Jul 2017 10:17:26 +0900, by Shinji KONO
-
...Sun, 02 Jul 2017 02:18:57 +0900, by Shinji KONO
-
creating natSat, 01 Jul 2017 10:21:34 +0900, by Shinji KONO
-
if K{*}↓U has initial Obj, U is representable done.Sat, 01 Jul 2017 00:12:38 +0900, by Shinji KONO
-
on going ...Fri, 30 Jun 2017 23:36:54 +0900, by Shinji KONO
-
introduce U preservingFri, 30 Jun 2017 21:52:14 +0900, by Shinji KONO
-
fixWed, 28 Jun 2017 17:17:17 +0900, by Shinji KONO
-
add equalizerWed, 28 Jun 2017 08:55:11 +0900, by Shinji KONO
-
add complenessTue, 27 Jun 2017 10:29:06 +0900, by Shinji KONO
-
introduce fArrowMon, 26 Jun 2017 21:58:55 +0900, by Shinji KONO
-
fixMon, 26 Jun 2017 21:23:24 +0900, by Shinji KONO
-
fixMon, 26 Jun 2017 17:41:02 +0900, by Shinji KONO
-
remove arrow's yellowMon, 26 Jun 2017 17:18:23 +0900, by Shinji KONO