nLab category theory (history)

October 19, 2025

• Current (diff)
  by Urs Schreiber on October 19, 2025 at 14:25:46.

September 19, 2025

• Revision 296 (diff)
  by Urs Schreiber on September 19, 2025 at 07:36:05.

September 18, 2025

• Revision 295 (diff)
  by Urs Schreiber on September 18, 2025 at 10:30:53.

September 17, 2025

• Revision 294 (diff)
  by varkor on September 17, 2025 at 13:28:07.

July 13, 2025

• Revision 293 (diff)
  by Naïm Favier on July 13, 2025 at 15:37:06.

June 13, 2025

• Revision 292 (diff)
  by Urs Schreiber on June 13, 2025 at 10:08:22.

May 3, 2025

• Revision 291 (diff)
  by Urs Schreiber on May 3, 2025 at 10:19:05.

May 2, 2025

• Revision 290 (diff)
  by Urs Schreiber on May 2, 2025 at 19:42:33.

May 1, 2025

• Revision 289 (diff)
  by Urs Schreiber on May 1, 2025 at 10:31:54.

January 29, 2025

• Revision 288 (diff)
  by Urs Schreiber on January 29, 2025 at 11:18:33.

January 11, 2025

• Revision 287 (diff)
  by Urs Schreiber on January 11, 2025 at 06:55:07.

July 21, 2024

• Revision 286 (diff)
  by Urs Schreiber on July 21, 2024 at 22:36:19.

April 4, 2024

• Revision 285 (diff)
  by paoloperrone on April 4, 2024 at 18:55:31.

January 4, 2024

• Revision 284 (diff)
  by Urs Schreiber on January 4, 2024 at 06:27:45.

November 18, 2023

• Revision 283 (diff)
  by Urs Schreiber on November 18, 2023 at 05:00:14.

October 31, 2023

• Revision 282 (diff)
  by Urs Schreiber on October 31, 2023 at 16:37:56.

October 21, 2023

• Revision 281 (diff)
  by Urs Schreiber on October 21, 2023 at 10:03:59.

October 10, 2023

• Revision 280 (diff)
  by Urs Schreiber on October 10, 2023 at 16:53:12.

September 27, 2023

• Revision 279 (diff)
  by Urs Schreiber on September 27, 2023 at 07:49:25.

September 2, 2023

• Revision 278 (diff)
  by Urs Schreiber on September 2, 2023 at 15:14:54.

August 25, 2023

• Revision 277 (diff)
  by Urs Schreiber on August 25, 2023 at 08:41:23.

August 7, 2023

• Revision 276 (diff)
  by Urs Schreiber on August 7, 2023 at 15:49:51.

July 28, 2023

• Revision 275 (diff)
  by Urs Schreiber on July 28, 2023 at 10:06:13.

June 4, 2023

• Revision 274 (diff)
  by Urs Schreiber on June 4, 2023 at 13:25:56.

April 29, 2023

• Revision 273 (diff)
  by Urs Schreiber on April 29, 2023 at 19:20:44.

April 6, 2023

• Revision 272 (diff)
  by Urs Schreiber on April 6, 2023 at 06:59:12.

March 18, 2023

• Revision 271 (diff)
  by Urs Schreiber on March 18, 2023 at 13:17:53.

March 5, 2023

• Revision 270 (diff)
  by Urs Schreiber on March 5, 2023 at 16:23:19.

March 3, 2023

• Revision 269 (diff)
  by Urs Schreiber on March 3, 2023 at 05:33:20.

February 6, 2023

• Revision 268 (diff)
  by Urs Schreiber on February 6, 2023 at 19:38:57.
• Revision 267 (diff)
  by Urs Schreiber on February 6, 2023 at 07:00:29.

January 22, 2023

• Revision 266 (diff)
  by Urs Schreiber on January 22, 2023 at 12:49:06.
• Revision 265 (diff)
  by Urs Schreiber on January 22, 2023 at 12:12:59.

October 31, 2022

• Revision 264 (diff)
  by Urs Schreiber on October 31, 2022 at 16:55:48.
• Revision 263 (diff)
  by Urs Schreiber on October 31, 2022 at 15:26:53.

September 7, 2022

• Revision 262 (diff)
  by Mike Shulman on September 7, 2022 at 06:47:21.

July 23, 2022

• Revision 261 (diff)
  by Anonymous on July 23, 2022 at 18:14:10.
• Revision 260 (diff)
  by Anonymous on July 23, 2022 at 18:13:10.

May 23, 2022

• Revision 259 (diff)
  by Anonymous on May 23, 2022 at 02:45:09.

October 13, 2021

• Revision 258 (diff)
  by Urs Schreiber on October 13, 2021 at 17:20:54.

October 12, 2021

• Revision 257 (diff)
  by Urs Schreiber on October 12, 2021 at 07:52:47.

September 4, 2021

• Revision 256 (diff)
  by Urs Schreiber on September 4, 2021 at 12:17:23.

September 2, 2021

• Revision 255 (diff)
  by Urs Schreiber on September 2, 2021 at 10:44:50.

August 24, 2021

• Revision 254 (diff)
  by Urs Schreiber on August 24, 2021 at 06:57:14.

April 6, 2021

• Revision 253 (diff)
  by Urs Schreiber on April 6, 2021 at 06:31:13.

November 21, 2020

• Revision 252 (diff)
  by Dmitri Pavlov on November 21, 2020 at 01:12:12.

October 1, 2020

• Revision 251 (diff)
  by ayberkt on October 1, 2020 at 21:21:37.

August 6, 2020

• Revision 250 (diff)
  by Urs Schreiber on August 6, 2020 at 14:05:09.

July 9, 2020

• Revision 249 (diff)
  by Urs Schreiber on July 9, 2020 at 12:04:22.

June 7, 2020

• Revision 248 (diff)
  by Tim Porter on June 7, 2020 at 14:56:43.

January 15, 2020

• Revision 247 (diff)
  by Paolo Perrone on January 15, 2020 at 04:25:03.

November 5, 2019

• Revision 246 (diff)
  by Urs Schreiber on November 5, 2019 at 11:15:42.

August 29, 2019

• Revision 245 (diff)
  by Joe Moeller on August 29, 2019 at 22:08:01.

May 27, 2019

• Revision 244 (diff)
  by Thomas Holder on May 27, 2019 at 19:39:45.

April 29, 2019

• Revision 243 (diff)
  by Urs Schreiber on April 29, 2019 at 17:36:03.

March 8, 2019

• Revision 242 (diff)
  by Urs Schreiber on March 8, 2019 at 14:29:33.
• Revision 241 (diff)
  by Marc on March 8, 2019 at 14:12:53.
• Revision 240 (diff)
  by Urs Schreiber on March 8, 2019 at 14:07:51.

February 8, 2019

• Revision 239 (diff)
  by Urs Schreiber on February 8, 2019 at 12:04:34.

January 19, 2019

• Revision 238 (diff)
  by Urs Schreiber on January 19, 2019 at 16:38:09.

November 3, 2018

• Revision 237 (diff)
  by AlexisHazell on November 3, 2018 at 01:11:21.

August 3, 2018

• Revision 236 (diff)
  by Mike Shulman on August 3, 2018 at 06:32:58.

July 9, 2018

• Revision 235 (diff)
  by David Corfield on July 9, 2018 at 10:35:39.
• Revision 234 (diff)
  by Anonymous on July 9, 2018 at 01:44:45.

June 2, 2018

• Revision 233 (diff)
  by Urs Schreiber on June 2, 2018 at 11:48:05.

April 7, 2018

• Revision 232 (diff)
  by Urs Schreiber on April 7, 2018 at 18:37:31.

March 5, 2018

• Revision 231 (diff)
  by Richard Williamson on March 5, 2018 at 19:48:47.

December 23, 2017

• Revision 230 (diff)
  by Urs Schreiber on December 23, 2017 at 23:03:33.

July 8, 2017

• Revision 229 (diff)
  by Urs Schreiber on July 8, 2017 at 14:05:34.

May 9, 2017

• Revision 228 (diff)
  by Urs Schreiber on May 9, 2017 at 12:51:26.

April 27, 2017

• Revision 227 (diff)
  by Urs Schreiber on April 27, 2017 at 16:08:14.
• Revision 226 (diff)
  by David Corfield on April 27, 2017 at 15:06:51.

December 9, 2016

• Revision 225 (diff)
  by Urs Schreiber on December 9, 2016 at 09:51:43.

September 18, 2016

• Revision 224 (diff)
  by Matt Earnshaw on September 18, 2016 at 18:30:16.

March 31, 2016

• Revision 223 (diff)
  by Urs Schreiber on March 31, 2016 at 14:00:28.

March 12, 2016

• Revision 222 (diff)
  by Urs Schreiber on March 12, 2016 at 08:43:33.

September 19, 2015

• Revision 221 (diff)
  by Urs Schreiber on September 19, 2015 at 13:26:23.
• Revision 220 (diff)
  by Urs Schreiber on September 19, 2015 at 12:21:06.

December 12, 2014

• Revision 219 (diff)
  by HewWolff on December 12, 2014 at 01:26:33.

July 5, 2014

• Revision 218 (diff)
  by Todd Trimble on July 5, 2014 at 10:23:09.
• Revision 217 (diff)
  by Todd Trimble on July 5, 2014 at 08:53:50.
• Revision 216 (diff)
  by Urs Schreiber on July 5, 2014 at 01:47:06.

June 3, 2014

• Revision 215 (diff)
  by Adeel Khan on June 3, 2014 at 06:12:41.

May 21, 2014

• Revision 214 (diff)
  by Todd Trimble on May 21, 2014 at 03:14:17.

April 30, 2014

• Revision 213 (diff)
  by Urs Schreiber on April 30, 2014 at 21:22:43.

March 10, 2014

• Revision 212 (diff)
  by Urs Schreiber on March 10, 2014 at 05:09:40.

January 27, 2014

• Revision 211 (diff)
  by Charles Grellois on January 27, 2014 at 04:10:34.

October 2, 2013

• Revision 210 (diff)
  by Urs Schreiber on October 2, 2013 at 10:20:11.

May 27, 2013

• Revision 209 (diff)
  by Urs Schreiber on May 27, 2013 at 16:55:01.

March 12, 2013

• Revision 208 (diff)
  by Urs Schreiber on March 12, 2013 at 21:40:55.

March 5, 2013

• Revision 207 (diff)
  by Mike Shulman on March 5, 2013 at 18:40:45.

October 3, 2012

• Revision 206 (diff)
  by Urs Schreiber on October 3, 2012 at 20:02:37.

September 21, 2012

• Revision 205 (diff)
  by Mike Shulman on September 21, 2012 at 04:28:31.

August 22, 2012

• Revision 204 (diff)
  by Urs Schreiber on August 22, 2012 at 21:53:28.

August 7, 2012

• Revision 203 (diff)
  by Mike Shulman on August 7, 2012 at 23:34:09.

March 15, 2012

• Revision 202 (diff)
  by Urs Schreiber on March 15, 2012 at 15:22:06.

March 13, 2012

• Revision 201 (diff)
  by Yaron on March 13, 2012 at 17:09:55.

March 12, 2012

• Revision 200 (diff)
  by Odysseus on March 12, 2012 at 04:38:30.

January 25, 2012

• Revision 199 (diff)
  by Mike Shulman on January 25, 2012 at 00:29:10.

December 22, 2011

• Revision 198 (diff)
  by Urs Schreiber on December 22, 2011 at 14:52:06.

October 2, 2011

• Revision 197 (diff)
  by Raeder on October 2, 2011 at 15:24:34.

September 20, 2011

• Revision 196 (diff)
  by Urs Schreiber on September 20, 2011 at 21:57:05.

August 21, 2011

• Revision 195 (diff)
  by Urs Schreiber on August 21, 2011 at 23:18:46.

June 29, 2011

• Revision 194 (diff)
  by Anonymous on June 29, 2011 at 04:22:11.

May 12, 2011

• Revision 193 (diff)
  by Urs Schreiber on May 12, 2011 at 12:37:34.

February 13, 2011

• Revision 192 (diff)
  by Toby Bartels on February 13, 2011 at 20:37:33.

December 29, 2010

• Revision 191 (diff)
  by Yaron on December 29, 2010 at 11:11:53.

November 9, 2010

• Revision 190 (diff)
  by Urs Schreiber on November 9, 2010 at 11:34:47.

October 15, 2010

• Revision 189 (diff)
  by Urs Schreiber on October 15, 2010 at 08:01:30.

October 8, 2010

• Revision 188 (diff)
  by David Corfield on October 8, 2010 at 07:19:26.

October 7, 2010

• Revision 187 (diff)
  by Zoran Škoda on October 7, 2010 at 22:55:14.
• Revision 186 (diff)
  by Urs Schreiber on October 7, 2010 at 21:22:30.
• Revision 185 (diff)
  by Tim Porter on October 7, 2010 at 20:15:19.
• Revision 184 (diff)
  by Urs Schreiber on October 7, 2010 at 19:39:27.
• Revision 183 (diff)
  by Zoran Škoda on October 7, 2010 at 18:57:05.
• Revision 182 (diff)
  by Urs Schreiber on October 7, 2010 at 18:50:17.
• Revision 181 (diff)
  by Urs Schreiber on October 7, 2010 at 17:24:22.

October 6, 2010

• Revision 180 (diff)
  by Zoran Škoda on October 6, 2010 at 17:05:16.

September 1, 2010

• Revision 179 (diff)
  by Zoran Škoda on September 1, 2010 at 15:41:55.

July 21, 2010

• Revision 178 (diff)
  by Urs Schreiber on July 21, 2010 at 21:29:28.

January 5, 2010

• Revision 177 (diff)
  by Andrew Stacey on January 5, 2010 at 13:13:21.
• Revision 176 (diff)
  by Rafael Borowiecki on January 5, 2010 at 02:10:04.

December 24, 2009

• Revision 175 (diff)
  by Toby Bartels on December 24, 2009 at 03:43:22.

December 21, 2009

• Revision 174 (diff)
  by Rafael Borowiecki on December 21, 2009 at 01:06:46.

December 16, 2009

• Revision 173 (diff)
  by Toby Bartels on December 16, 2009 at 21:49:30.
• Revision 172 (diff)
  by Toby Bartels on December 16, 2009 at 07:17:01.
• Revision 171 (diff)
  by Rafael Borowiecki on December 16, 2009 at 06:18:34.

December 15, 2009

• Revision 170 (diff)
  by Toby Bartels on December 15, 2009 at 20:36:18.
• Revision 169 (diff)
  by Rafael Borowiecki on December 15, 2009 at 20:30:04.

December 14, 2009

• Revision 168 (diff)
  by Toby Bartels on December 14, 2009 at 21:40:55.
• Revision 167 (diff)
  by Rafael Borowiecki on December 14, 2009 at 07:13:50.

December 13, 2009

• Revision 166 (diff)
  by Anonymous on December 13, 2009 at 18:15:22.

December 11, 2009

• Revision 165 (diff)
  by Todd Trimble on December 11, 2009 at 13:50:55.

December 10, 2009

• Revision 164 (diff)
  by Toby Bartels on December 10, 2009 at 00:37:30.
• Revision 163 (diff)
  by Rafael Borowiecki on December 10, 2009 at 00:14:54.

December 9, 2009

• Revision 162 (diff)
  by Toby Bartels on December 9, 2009 at 22:00:57.
• Revision 161 (diff)
  by Rafael Borowiecki on December 9, 2009 at 21:28:48.

December 7, 2009

• Revision 160 (diff)
  by Toby Bartels on December 7, 2009 at 20:22:37.
• Revision 159 (diff)
  by Rafael Borowiecki on December 7, 2009 at 02:36:14.

November 29, 2009

• Revision 158 (diff)
  by Toby Bartels on November 29, 2009 at 20:37:54.

November 16, 2009

• Revision 157 (diff)
  by Toby Bartels on November 16, 2009 at 09:13:01.

October 26, 2009

• Revision 156 (diff)
  by Eric Forgy on October 26, 2009 at 04:56:01.
• Revision 155 (diff)
  by MickeyMouse on October 26, 2009 at 04:36:44.

September 26, 2009

• Revision 154 (diff)
  by Jon Awbrey on September 26, 2009 at 13:40:21.

September 25, 2009

• Revision 153 (diff)
  by Todd Trimble on September 25, 2009 at 18:58:07.
• Revision 152 (diff)
  by Rafael Borowiecki on September 25, 2009 at 17:03:20.
• Revision 151 (diff)
  by Rafael Borowiecki on September 25, 2009 at 16:01:16.
• Revision 150 (diff)
  by Rafael Borowiecki on September 25, 2009 at 15:31:04.
• Revision 149 (diff)
  by Rafael Borowiecki on September 25, 2009 at 14:33:04.
• Revision 148 (diff)
  by Todd Trimble on September 25, 2009 at 05:44:45.
• Revision 147 (diff)
  by Toby Bartels on September 25, 2009 at 01:05:13.

September 24, 2009

• Revision 146 (diff)
  by Mike Shulman on September 24, 2009 at 04:51:08.
• Revision 145 (diff)
  by David Roberts on September 24, 2009 at 04:04:06.
• Revision 144 (diff)
  by Rafael Borowiecki on September 24, 2009 at 00:41:58.

September 22, 2009

• Revision 143 (diff)
  by Urs Schreiber on September 22, 2009 at 20:03:36.

September 20, 2009

• Revision 142 (diff)
  by Toby Bartels on September 20, 2009 at 18:53:47.
• Revision 141 (diff)
  by Todd Trimble on September 20, 2009 at 17:03:22.
• Revision 140 (diff)
  by Rafael Borowiecki on September 20, 2009 at 13:16:51.

September 16, 2009

• Revision 139 (diff)
  by Todd Trimble on September 16, 2009 at 19:32:08.
• Revision 138 (diff)
  by Toby Bartels on September 16, 2009 at 18:45:19.
• Revision 137 (diff)
  by Jon Awbrey on September 16, 2009 at 17:00:42.
• Revision 136 (diff)
  by Todd Trimble on September 16, 2009 at 16:05:10.
• Revision 135 (diff)
  by Jon Awbrey on September 16, 2009 at 14:38:18.
• Revision 134 (diff)
  by Todd Trimble on September 16, 2009 at 13:33:32.
• Revision 133 (diff)
  by Toby Bartels on September 16, 2009 at 01:51:26.
• Revision 132 (diff)
  by Jon Awbrey on September 16, 2009 at 01:10:36.

September 15, 2009

• Revision 131 (diff)
  by Todd Trimble on September 15, 2009 at 22:37:43.
• Revision 130 (diff)
  by Jon Awbrey on September 15, 2009 at 20:56:37.
• Revision 129 (diff)
  by Jon Awbrey on September 15, 2009 at 19:20:17.
• Revision 128 (diff)
  by Jon Awbrey on September 15, 2009 at 18:40:20.
• Revision 127 (diff)
  by Urs Schreiber on September 15, 2009 at 17:20:28.

September 13, 2009

• Revision 126 (diff)
  by Toby Bartels on September 13, 2009 at 00:04:06.

September 6, 2009

• Revision 125 (diff)
  by Todd Trimble on September 6, 2009 at 15:44:02.
• Revision 124 (diff)
  by Todd Trimble on September 6, 2009 at 14:59:19.
• Revision 123 (diff)
  by Rafael Borowiecki on September 6, 2009 at 03:27:48.

September 5, 2009

• Revision 122 (diff)
  by Urs Schreiber on September 5, 2009 at 18:27:54.

September 4, 2009

• Revision 121 (diff)
  by Mike Shulman on September 4, 2009 at 01:34:36.

September 3, 2009

• Revision 120 (diff)
  by Rafael Borowiecki on September 3, 2009 at 20:17:35.

September 2, 2009

• Revision 119 (diff)
  by Todd Trimble on September 2, 2009 at 18:27:23.
• Revision 118 (diff)
  by Mike Shulman on September 2, 2009 at 10:58:10.
• Revision 117 (diff)
  by Urs Schreiber on September 2, 2009 at 10:30:28.
• Revision 116 (diff)
  by Todd Trimble on September 2, 2009 at 01:01:20.

September 1, 2009

• Revision 115 (diff)
  by Zoran Škoda on September 1, 2009 at 23:36:49.
• Revision 114 (diff)
  by Urs Schreiber on September 1, 2009 at 22:34:28.
• Revision 113 (diff)
  by John Baez on September 1, 2009 at 19:46:37.
• Revision 112 (diff)
  by Rafael Borowiecki on September 1, 2009 at 00:39:28.

August 31, 2009

• Revision 111 (diff)
  by Toby Bartels on August 31, 2009 at 14:10:37.
• Revision 110 (diff)
  by Urs Schreiber on August 31, 2009 at 06:51:16.
• Revision 109 (diff)
  by Toby Bartels on August 31, 2009 at 04:25:43.
• Revision 108 (diff)
  by Rafael Borowiecki on August 31, 2009 at 01:08:40.
• Revision 107 (diff)
  by Toby Bartels on August 31, 2009 at 00:35:16.
• Revision 106 (diff)
  by Rafael Borowiecki on August 31, 2009 at 00:22:22.

August 22, 2009

• Revision 105 (diff)
  by Toby Bartels on August 22, 2009 at 05:30:46.
• Revision 104 (diff)
  by Rafael Borowiecki on August 22, 2009 at 04:07:42.
• Revision 103 (diff)
  by Rafael Borowiecki on August 22, 2009 at 03:25:55.
• Revision 102 (diff)
  by Toby Bartels on August 22, 2009 at 01:41:46.
• Revision 101 (diff)
  by Rafael Borowiecki on August 22, 2009 at 01:18:39.
• Revision 100 (diff)
  by Toby Bartels on August 22, 2009 at 00:24:44.

August 21, 2009

• Revision 99 (diff)
  by Rafael Borowiecki on August 21, 2009 at 23:54:36.
• Revision 98 (diff)
  by Rafael Borowiecki on August 21, 2009 at 23:04:49.
• Revision 97 (diff)
  by Toby Bartels on August 21, 2009 at 17:40:34.
• Revision 96 (diff)
  by Rafael Borowiecki on August 21, 2009 at 17:25:07.
• Revision 95 (diff)
  by Rafael Borowiecki on August 21, 2009 at 13:28:44.

August 20, 2009

• Revision 94 (diff)
  by Roger Witte on August 20, 2009 at 22:24:58.
• Revision 93 (diff)
  by Urs Schreiber on August 20, 2009 at 08:34:14.
• Revision 92 (diff)
  by Toby Bartels on August 20, 2009 at 07:42:03.
• Revision 91 (diff)
  by David Roberts on August 20, 2009 at 02:20:30.
• Revision 90 (diff)
  by Toby Bartels on August 20, 2009 at 01:22:29.

August 19, 2009

• Revision 89 (diff)
  by Toby Bartels on August 19, 2009 at 19:04:51.
• Revision 88 (diff)
  by David Roberts on August 19, 2009 at 14:11:29.
• Revision 87 (diff)
  by Urs Schreiber on August 19, 2009 at 13:49:42.
• Revision 86 (diff)
  by David Roberts on August 19, 2009 at 13:23:17.
• Revision 85 (diff)
  by Urs Schreiber on August 19, 2009 at 11:39:40.
• Revision 84 (diff)
  by Toby Bartels on August 19, 2009 at 06:01:52.
• Revision 83 (diff)
  by David Roberts on August 19, 2009 at 03:58:02.

August 18, 2009

• Revision 82 (diff)
  by Toby Bartels on August 18, 2009 at 23:54:09.
• Revision 81 (diff)
  by Urs Schreiber on August 18, 2009 at 22:18:17.
• Revision 80 (diff)
  by Mike Shulman on August 18, 2009 at 20:39:24.

August 17, 2009

• Revision 79 (diff)
  by David Corfield on August 17, 2009 at 08:02:51.
• Revision 78 (diff)
  by David Roberts on August 17, 2009 at 05:28:30.
• Revision 77 (diff)
  by John Baez on August 17, 2009 at 05:21:20.
• Revision 76 (diff)
  by Charles Wells on August 17, 2009 at 01:46:31.

August 16, 2009

• Revision 75 (diff)
  by Toby Bartels on August 16, 2009 at 19:43:07.
• Revision 74 (diff)
  by David Roberts on August 16, 2009 at 11:47:41.

August 14, 2009

• Revision 73 (diff)
  by Urs Schreiber on August 14, 2009 at 18:31:57.
• Revision 72 (diff)
  by Rafael Borowiecki on August 14, 2009 at 15:00:10.
• Revision 71 (diff)
  by Toby Bartels on August 14, 2009 at 07:24:27.
• Revision 70 (diff)
  by David Roberts on August 14, 2009 at 06:59:19.
• Revision 69 (diff)
  by David Roberts on August 14, 2009 at 00:20:45.

August 13, 2009

• Revision 68 (diff)
  by Rafael Borowiecki on August 13, 2009 at 21:06:55.
• Revision 67 (diff)
  by Toby Bartels on August 13, 2009 at 20:33:37.
• Revision 66 (diff)
  by Rafael Borowiecki on August 13, 2009 at 20:17:34.
• Revision 65 (diff)
  by Toby Bartels on August 13, 2009 at 19:13:34.
• Revision 64 (diff)
  by Rafael Borowiecki on August 13, 2009 at 17:56:05.

August 3, 2009

• Revision 63 (diff)
  by John Baez on August 3, 2009 at 10:05:42.

August 1, 2009

• Revision 62 (diff)
  by Toby Bartels on August 1, 2009 at 04:33:28.
• Revision 61 (diff)
  by Rafael Borowiecki on August 1, 2009 at 02:56:54.

July 30, 2009

• Revision 60 (diff)
  by Urs Schreiber on July 30, 2009 at 15:28:56.
• Revision 59 (diff)
  by David Roberts on July 30, 2009 at 03:27:01.
• Revision 58 (diff)
  by Toby Bartels on July 30, 2009 at 00:19:14.

July 29, 2009

• Revision 57 (diff)
  by Urs Schreiber on July 29, 2009 at 22:41:46.
• Revision 56 (diff)
  by Toby Bartels on July 29, 2009 at 21:39:21.
• Revision 55 (diff)
  by Rafael Borowiecki on July 29, 2009 at 20:32:55.
• Revision 54 (diff)
  by Rafael Borowiecki on July 29, 2009 at 19:30:33.
• Revision 53 (diff)
  by Toby Bartels on July 29, 2009 at 00:09:35.

July 28, 2009

• Revision 52 (diff)
  by Rafael Borowiecki on July 28, 2009 at 22:20:33.
• Revision 51 (diff)
  by Toby Bartels on July 28, 2009 at 19:28:23.
• Revision 50 (diff)
  by Rafael Borowiecki on July 28, 2009 at 18:17:04.
• Revision 49 (diff)
  by Rafael Borowiecki on July 28, 2009 at 15:49:43.

July 26, 2009

• Revision 48 (diff)
  by John Baez on July 26, 2009 at 12:19:36.

July 23, 2009

• Revision 47 (diff)
  by Toby Bartels on July 23, 2009 at 21:48:32.
• Revision 46 (diff)
  by John Baez on July 23, 2009 at 21:00:33.

July 22, 2009

• Revision 45 (diff)
  by Toby Bartels on July 22, 2009 at 16:21:05.
• Revision 44 (diff)
  by Urs Schreiber on July 22, 2009 at 09:57:02.

July 20, 2009

• Revision 43 (diff)
  by Toby Bartels on July 20, 2009 at 07:19:12.
• Revision 42 (diff)
  by Rafael Borowiecki on July 20, 2009 at 04:38:41.

July 19, 2009

• Revision 41 (diff)
  by Toby Bartels on July 19, 2009 at 23:07:31.

July 18, 2009

• Revision 40 (diff)
  by Rafael Borowiecki on July 18, 2009 at 19:29:43.

July 12, 2009

• Revision 39 (diff)
  by Toby Bartels on July 12, 2009 at 20:49:25.
• Revision 38 (diff)
  by Toby Bartels on July 12, 2009 at 19:57:30.

July 10, 2009

• Revision 37 (diff)
  by Rafael Borowiecki on July 10, 2009 at 04:28:46.
• Revision 36 (diff)
  by Rafael Borowiecki on July 10, 2009 at 00:21:10.

July 9, 2009

• Revision 35 (diff)
  by Rafael Borowiecki on July 9, 2009 at 23:25:46.
• Revision 34 (diff)
  by Rafael Borowiecki on July 9, 2009 at 09:16:35.
• Revision 33 (diff)
  by Rafael Borowiecki on July 9, 2009 at 08:44:43.

July 8, 2009

• Revision 32 (diff)
  by Rafael Borowiecki on July 8, 2009 at 03:15:06.
• Revision 31 (diff)
  by Rafael Borowiecki on July 8, 2009 at 02:26:05.

July 7, 2009

• Revision 30 (diff)
  by Toby Bartels on July 7, 2009 at 18:24:30.
• Revision 29 (diff)
  by Tim on July 7, 2009 at 17:52:37.
• Revision 28 (diff)
  by Toby Bartels on July 7, 2009 at 17:03:01.
• Revision 27 (diff)
  by Eric Forgy on July 7, 2009 at 15:56:11.
• Revision 26 (diff)
  by Rafael Borowiecki on July 7, 2009 at 15:19:27.
• Revision 25 (diff)
  by Toby Bartels on July 7, 2009 at 08:22:44.
• Revision 24 (diff)
  by Eric Forgy on July 7, 2009 at 06:05:35.
• Revision 23 (diff)
  by Rafael Borowiecki on July 7, 2009 at 05:36:07.

May 8, 2009

• Revision 22 (diff)
  by Toby Bartels on May 8, 2009 at 03:27:24.

March 27, 2009

• Revision 21 (diff)
  by Toby Bartels on March 27, 2009 at 02:28:57.

March 19, 2009

• Revision 20 (diff)
  by Toby Bartels on March 19, 2009 at 05:39:46.

March 17, 2009

• Revision 19 (diff)
  by Toby Bartels on March 17, 2009 at 16:17:23.

March 12, 2009

• Revision 18 (diff)
  by Toby Bartels on March 12, 2009 at 02:13:52.
• Revision 17 (diff)
  by Toby Bartels on March 12, 2009 at 01:28:00.

January 15, 2009

• Revision 16 (diff)
  by Toby Bartels on January 15, 2009 at 18:32:36.

January 14, 2009

• Revision 15 (diff)
  by Toby Bartels on January 14, 2009 at 22:53:42.

January 10, 2009

• Revision 14 (diff)
  by Toby Bartels on January 10, 2009 at 05:44:06.

January 8, 2009

• Revision 13 (diff)
  by Toby Bartels on January 8, 2009 at 22:36:14.

January 7, 2009

• Revision 12 (diff)
  by Urs Schreiber on January 7, 2009 at 19:20:59.

January 5, 2009

• Revision 11 (diff)
  by Toby Bartels on January 5, 2009 at 22:08:36.
• Revision 10 (diff)
  by Toby Bartels on January 5, 2009 at 21:36:56.
• Revision 9 (diff)
  by Toby Bartels on January 5, 2009 at 05:35:02.

January 3, 2009

• Revision 8 (diff)
  by Urs Schreiber on January 3, 2009 at 17:09:17.

January 2, 2009

• Revision 7 (diff)
  by Urs Schreiber on January 2, 2009 at 14:26:00.

December 25, 2008

• Revision 6 (diff)
  by Toby Bartels on December 25, 2008 at 07:38:16.
• Revision 5 (diff)
  by Toby Bartels on December 25, 2008 at 04:03:30.

December 20, 2008

• Revision 4 (diff)
  by Urs Schreiber on December 20, 2008 at 18:27:15.

December 16, 2008

• Revision 3 (diff)
  by Urs Schreiber on December 16, 2008 at 10:30:38.

December 8, 2008

• Revision 2 (diff)
  by John Baez on December 8, 2008 at 03:22:14.

November 30, 2008

• Revision 1
  by Urs Schreiber on November 30, 2008 at 20:20:40.