Thu, 10 Jun 2010 22:00:06 +0200 | Kevin Walker | CH_* action -- gluing compatibility | changeset | files |
Wed, 09 Jun 2010 13:21:55 +0200 | Kevin Walker | associativity for CH_* action | changeset | files |
Mon, 07 Jun 2010 18:14:11 +0200 | Kevin Walker | remark about EB_n-algebras from n-cats | changeset | files |