Michael Shulman
Recently Revised

March 20, 2010

• functor comprehension principle
  by Mike Shulman at March 20, 2010 11:28:24 from 66.95.7.228
• 2-categorical logic ( diff | history )
  by Mike Shulman at March 20, 2010 11:08:35 from 66.95.7.228
• internal logic of a 2-category ( diff | history )
  by Mike Shulman at March 20, 2010 11:07:38 from 66.95.7.228

March 19, 2010

• categorified logic ( diff | history )
  by Toby Bartels? at March 19, 2010 20:11:01 from 75.117.107.103

March 18, 2010

• stack semantics ( diff | history )
  by Mike Shulman at March 18, 2010 20:55:23 from 128.164.17.16
• HomePage ( diff | history )
  by Mike Shulman at March 18, 2010 05:16:10 from 173.73.124.4

March 17, 2010

• full morphism ( diff | history )
  by Mike Shulman at March 17, 2010 15:30:20 from 128.164.17.16
• truncation in an exact 2-category ( diff | history )
  by Mike Shulman at March 17, 2010 15:29:28 from 128.164.17.16

March 11, 2010

• classifying discrete opfibration ( diff | history )
  by Mike Shulman at March 11, 2010 02:32:11 from 75.3.151.132

March 10, 2010

• 2-quasitopos ( diff | history )
  by Mike Shulman at March 10, 2010 23:45:37 from 75.3.151.132
• definitional equality for 2-logic
  by Mike Shulman at March 10, 2010 20:34:51 from 128.135.197.116
• product types in a 2-category
  by Mike Shulman at March 10, 2010 20:09:37 from 128.135.197.116
• 2-pretopos ( diff | history )
  by Mike Shulman at March 10, 2010 20:04:53 from 128.135.197.116
• truncated 2-topos ( diff | history )
  by Mike Shulman at March 10, 2010 20:03:54 from 128.135.197.116
• 2-site ( diff | history )
  by Mike Shulman at March 10, 2010 20:02:49 from 128.135.197.116
• 2-Giraud theorem
  by Mike Shulman at March 10, 2010 20:02:06 from 128.135.197.116

March 9, 2010

• duality involution ( diff | history )
  by Mike Shulman at March 9, 2010 05:25:52 from 75.3.151.132
• fibrational slice ( diff | history )
  by Mike Shulman at March 9, 2010 05:25:33 from 75.3.151.132

March 2, 2010

• dependent types in a 2-category
  by Mike Shulman at March 2, 2010 01:17:30 from 75.3.151.132

March 1, 2010

• functorially dependent types ( diff | history )
  by Mike Shulman at March 1, 2010 20:46:13 from 128.135.230.139

February 19, 2010

• regular 2-categories and choice ( diff | history )
  by David Roberts? at February 19, 2010 06:21:58 from 203.24.207.229

January 22, 2010

• 2-categorical logic collated
  by Mike Shulman at January 22, 2010 20:06:43 from 75.3.151.132

December 23, 2009

• size structure
  by Mike Shulman at December 23, 2009 06:36:12 from 67.189.60.12

December 22, 2009

• classifying cosieve ( diff | history )
  by Mike Shulman at December 22, 2009 07:23:28 from 67.189.60.12

December 20, 2009

• comprehensive factorization ( diff | history )
  by Mike Shulman at December 20, 2009 06:53:03 from 173.8.161.189
• regular 2-category ( diff | history )
  by Mike Shulman at December 20, 2009 06:52:38 from 173.8.161.189
• Heyting 2-category ( diff | history )
  by Mike Shulman at December 20, 2009 06:52:14 from 173.8.161.189
• Beck-Chevalley condition > history ( diff | history )
  by Mike Shulman at December 20, 2009 06:51:51 from 173.8.161.189

November 18, 2009

• balancedness in n-pretoposes ( diff | history )
  by Mike Shulman at November 18, 2009 19:53:57 from 128.135.230.26

October 28, 2009

• header size test ( diff | history )
  by Toby Bartels? at October 28, 2009 17:13:51 from 173.51.68.54
• 2-congruence ( diff | history )
  by Mike Shulman at October 28, 2009 04:46:52 from 75.3.140.104

March 7, 2009

• category of all sets ( diff | history )
  by Mike Shulman at March 7, 2009 16:30:28 from 75.3.140.11

March 6, 2009

• n-topos for large n ( diff | history )
  by Mike Shulman at March 6, 2009 17:33:21 from 128.135.197.233

March 2, 2009

• colimits in an n-pretopos ( diff | history )
  by Toby Bartels? at March 2, 2009 23:49:42 from 71.104.234.95

February 28, 2009

• What is a 2-topos ( diff | history )
  by Mike Shulman at February 28, 2009 14:40:13 from 75.3.140.11
• Cauchy factorization ( diff | history )
  by Mike Shulman at February 28, 2009 05:19:27 from 75.3.140.11

February 27, 2009

• exponentials in a 2-category ( diff | history )
  by Jacques Distler? at February 27, 2009 14:59:16 from 128.83.114.63

February 26, 2009

• n-prefix ( diff | history )
  by Toby Bartels? at February 26, 2009 23:31:28 from 71.104.234.95

February 25, 2009

• exactness hypothesis ( diff | history )
  by Mike Shulman at February 25, 2009 20:44:20 from 128.135.194.221

February 23, 2009

• Grothendieck 2-topos ( diff | history )
  by Mike Shulman at February 23, 2009 02:27:12 from 75.3.140.11
• opposites in an exact 2-category ( diff | history )
  by Mike Shulman at February 23, 2009 02:26:22 from 75.3.140.11

February 20, 2009

• slice 2-category ( diff | history )
  by Mike Shulman at February 20, 2009 19:30:35 from 75.3.140.11

February 17, 2009

• exact 2-category ( diff | history )
  by Mike Shulman at February 17, 2009 18:04:51 from 75.3.140.11
• coherent 2-category ( diff | history )
  by Mike Shulman at February 17, 2009 17:58:52 from 75.3.140.11
• extensive 2-category ( diff | history )
  by Mike Shulman at February 17, 2009 17:56:29 from 75.3.140.11
• n-congruence ( diff | history )
  by Mike Shulman at February 17, 2009 17:49:22 from 75.3.140.11
• truncated object ( diff | history )
  by Mike Shulman at February 17, 2009 17:33:11 from 75.3.140.11
• 2-geometric morphism
  by Mike Shulman at February 17, 2009 06:39:53 from 75.3.140.11

February 16, 2009

• eso-generator
  by Mike Shulman at February 16, 2009 19:40:45 from 128.135.197.7

February 13, 2009

• NNO in a 2-category ( diff | history )
  by Mike Shulman at February 13, 2009 05:28:19 from 75.3.140.11
• core ( diff | history )
  by Mike Shulman at February 13, 2009 03:36:05 from 75.3.140.11
• 2-internal first-order logic ( diff | history )
  by Mike Shulman at February 13, 2009 03:35:28 from 75.3.140.11
• exponentials in 2-categories ( diff | history )
  by Mike Shulman at February 13, 2009 03:34:27 from 75.3.140.11

February 11, 2009

• axiom of 2-choice ( diff | history )
  by Mike Shulman at February 11, 2009 06:41:19 from 75.3.140.11

February 6, 2009

• exact completion of a 2-category ( diff | history )
  by Mike Shulman at February 6, 2009 05:34:31 from 75.3.140.11

January 30, 2009

• 2-polycongruence
  by Mike Shulman at January 30, 2009 20:15:44 from 75.3.140.11
• posetal object ( diff | history )
  by Mike Shulman at January 30, 2009 20:10:20 from 75.3.140.11
• groupoidal object ( diff | history )
  by Mike Shulman at January 30, 2009 20:09:52 from 75.3.140.11
• discrete object ( diff | history )
  by Mike Shulman at January 30, 2009 20:05:58 from 75.3.140.11

January 29, 2009

• StreetCBS ( diff | history )
  by Mike Shulman at January 29, 2009 01:40:15 from 75.3.140.11

January 27, 2009

• WeberYS2T
  by Mike Shulman at January 27, 2009 03:04:56 from 75.3.140.11

January 19, 2009

• Mike Shulman
  by Mike Shulman at January 19, 2009 20:10:17 from 75.3.140.11