Thu, 22 Oct 2015 01:45:40 +0000 |
HackBot |
<tswett> le/rn category/A category is an enriched category where the enriching category is the category of classes.
|
Thu, 24 Sep 2015 23:19:20 +0000 |
HackBot |
<tswett> le/rn category/A category is just a category object in the category of classes.
|
Sun, 16 Nov 2014 19:44:12 +0000 |
HackBot |
<shachaf> revert 5134
|
Sun, 16 Mar 2014 01:52:15 +0000 |
HackBot |
<oerjan> revert
|
Sun, 16 Mar 2014 01:51:13 +0000 |
HackBot |
<elliott> revert 1
|
Wed, 31 Jul 2013 20:53:16 +0000 |
HackBot |
<Bike> revert
|
Wed, 31 Jul 2013 20:46:16 +0000 |
HackBot |
<FreeFull> for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done
|
Fri, 05 Apr 2013 20:22:38 +0000 |
HackBot |
<oerjan> revert
|
Fri, 05 Apr 2013 20:22:06 +0000 |
HackBot |
<oerjan> learn Category theory is the theory of categories.
|
Tue, 19 Feb 2013 21:47:27 +0000 |
HackBot |
<elliott> echo "Categories are just a special case of bicategories." >wisdom/category
|
Thu, 16 Feb 2012 19:42:32 +0000 |
HackBot |
Initial import.
|