Mercurial > hg > Members > kono > Proof > category
graph
-
fix monad/adjunction definitionSat, 11 Nov 2017 21:34:58 +0900, by Shinji KONO
-
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
-
fixSun, 25 Jun 2017 13:03:33 +0900, by Shinji KONO
-
on going ...Sat, 24 Jun 2017 08:34:36 +0900, by Shinji KONO
-
initialObject doneFri, 23 Jun 2017 21:43:09 +0900, by Shinji KONO
-
introduce one element setFri, 23 Jun 2017 21:20:10 +0900, by Shinji KONO
-
OneFri, 23 Jun 2017 19:11:36 +0900, by Shinji KONO
-
fixFri, 23 Jun 2017 10:07:34 +0900, by Shinji KONO
-
add desciptive lemmaThu, 22 Jun 2017 08:56:32 +0900, by Shinji KONO
-
on going ..Tue, 20 Jun 2017 22:44:09 +0900, by Shinji KONO
-
on going ...Tue, 20 Jun 2017 22:36:15 +0900, by Shinji KONO
-
fixTue, 20 Jun 2017 16:36:01 +0900, by Shinji KONO
-
initital obj uniquness doneMon, 19 Jun 2017 18:49:21 +0900, by Shinji KONO
-
on going ..Wed, 14 Jun 2017 11:37:48 +0900, by Shinji KONO
-
initial Object's arrow foundWed, 14 Jun 2017 10:37:41 +0900, by Shinji KONO
-
Representational Functor preserve limit doneTue, 13 Jun 2017 22:53:44 +0900, by Shinji KONO
-
t0f=t0 doneTue, 13 Jun 2017 22:36:54 +0900, by Shinji KONO
-
fixTue, 13 Jun 2017 10:15:24 +0900, by Shinji KONO
-
natural transformation in representable functorMon, 12 Jun 2017 23:25:39 +0900, by Shinji KONO
-
on going ...Mon, 12 Jun 2017 18:11:23 +0900, by Shinji KONO
-
on gogingMon, 12 Jun 2017 16:35:34 +0900, by Shinji KONO
-
freyd2Mon, 12 Jun 2017 10:50:02 +0900, by Shinji KONO
-
fixThu, 08 Jun 2017 19:48:02 +0900, by Shinji KONO
-
fix for new agdaThu, 08 Jun 2017 19:26:12 +0900, by Shinji KONO
-
another snat-cong approachThu, 08 Jun 2017 12:53:54 +0900, by Shinji KONO
-
comm2Mon, 05 Jun 2017 21:42:21 +0900, by Shinji KONO
-
two field again ...Mon, 05 Jun 2017 20:52:22 +0900, by Shinji KONO
-
makeEqu/makeProd does not woekMon, 05 Jun 2017 18:57:15 +0900, by Shinji KONO
-
prove fe=ge in limit-toMon, 05 Jun 2017 14:16:36 +0900, by Shinji KONO
-
Set Completeness unfinishedSat, 03 Jun 2017 09:46:59 +0900, by Shinji KONO
-
fixFri, 02 Jun 2017 16:50:49 +0900, by Shinji KONO
-
try two field againFri, 02 Jun 2017 15:45:15 +0900, by Shinji KONO
-
on going ...Thu, 25 May 2017 08:27:03 +0900, by Shinji KONO
-
lemma-equ retryTue, 23 May 2017 10:39:18 +0900, by Shinji KONO
-
dead endTue, 23 May 2017 10:37:39 +0900, by Shinji KONO
-
fixMon, 22 May 2017 12:04:34 +0900, by Shinji KONO
-
fixSun, 21 May 2017 19:53:58 +0900, by Shinji KONO
-
on going ..Mon, 15 May 2017 18:09:33 +0900, by Shinji KONO
-
slid rewriteSun, 14 May 2017 16:46:54 +0900, by Shinji KONO
-
on going ...Sun, 14 May 2017 13:53:26 +0900, by Shinji KONO
-
dead endSun, 14 May 2017 09:55:10 +0900, by Shinji KONO
-
fixFri, 12 May 2017 13:45:31 +0900, by Shinji KONO
-
on going ...Fri, 12 May 2017 10:25:05 +0900, by Shinji KONO
-
on going ..Thu, 11 May 2017 17:06:27 +0900, by Shinji KONO
-
on oging ...Thu, 11 May 2017 15:58:34 +0900, by Shinji KONO
-
cequ introducedThu, 11 May 2017 14:49:17 +0900, by Shinji KONO
-
anothter approachWed, 03 May 2017 18:14:49 +0900, by Shinji KONO
-
closeWed, 03 May 2017 10:52:39 +0900, by Shinji KONO
-
another approachTue, 02 May 2017 00:31:00 +0900, by Shinji KONO
-
to case for equ lemmaSat, 29 Apr 2017 22:22:20 +0900, by Shinji KONO
-
...Fri, 28 Apr 2017 19:00:50 +0900, by Shinji KONO
-
one yelllowFri, 28 Apr 2017 18:50:13 +0900, by Shinji KONO
-
dead endFri, 28 Apr 2017 17:13:29 +0900, by Shinji KONO
-
sproj approachThu, 27 Apr 2017 20:54:16 +0900, by Shinji KONO
-
look like dead endThu, 27 Apr 2017 10:51:29 +0900, by Shinji KONO
-
...Wed, 26 Apr 2017 00:55:30 +0900, by Shinji KONO
-
fixTue, 25 Apr 2017 11:24:27 +0900, by Shinji KONO
-
fixMon, 24 Apr 2017 22:26:59 +0900, by Shinji KONO
-
fixMon, 24 Apr 2017 21:08:57 +0900, by Shinji KONO
-
yelloow remainsMon, 24 Apr 2017 20:44:21 +0900, by Shinji KONO
-
lemma-equMon, 24 Apr 2017 12:17:41 +0900, by Shinji KONO