Michael Shulman Latest Revisions

• duality involution ( duality involution(rev # 11) | history )
  by Mike Shulman at March 9, 2010 at 05:25:52
• fibrational slice ( fibrational slice(rev # 10) | history )
  by Mike Shulman at March 9, 2010 at 05:25:33
• duality involution ( duality involution(rev # 10) | history )
  by Mike Shulman at March 8, 2010 at 21:46:16
• dependent types in a 2-category
  by Mike Shulman at March 2, 2010 at 01:17:30
• internal logic of a 2-category ( internal logic of a 2-category(rev # 10) | history )
  by Mike Shulman at March 2, 2010 at 01:17:09
• 2-categorical logic ( 2-categorical logic(rev # 29) | history )
  by Mike Shulman at March 2, 2010 at 01:03:01
• 2-categorical logic ( 2-categorical logic(rev # 28) | history )
  by Mike Shulman at March 1, 2010 at 22:41:26
• internal logic of a 2-category ( internal logic of a 2-category(rev # 9) | history )
  by Mike Shulman at March 1, 2010 at 22:24:47
• internal logic of a 2-category ( internal logic of a 2-category(rev # 8) | history )
  by Mike Shulman at March 1, 2010 at 21:14:36
• functorially dependent types ( functorially dependent types(rev # 3) | history )
  by Mike Shulman at March 1, 2010 at 20:46:13
• internal logic of a 2-category ( internal logic of a 2-category(rev # 7) | history )
  by Mike Shulman at March 1, 2010 at 03:14:15
• internal logic of a 2-category ( internal logic of a 2-category(rev # 6) | history )
  by Mike Shulman at February 28, 2010 at 08:39:23
• functorially dependent types ( functorially dependent types(rev # 2) | history )
  by Mike Shulman at February 26, 2010 at 22:31:27
• 2-categorical logic ( 2-categorical logic(rev # 27) | history )
  by Mike Shulman at February 26, 2010 at 22:31:21
• internal logic of a 2-category ( internal logic of a 2-category(rev # 5) | history )
  by Mike Shulman at February 26, 2010 at 22:29:27
• functorially dependent types ( functorially dependent types(rev # 1) | history )
  by Mike Shulman at February 26, 2010 at 21:44:41
• 2-categorical logic ( 2-categorical logic(rev # 26) | history )
  by Mike Shulman at February 26, 2010 at 21:03:11
• regular 2-categories and choice ( regular 2-categories and choice(rev # 3) | history )
  by David Roberts? at February 19, 2010 at 06:21:58
• classifying discrete opfibration ( classifying discrete opfibration(rev # 11) | history )
  by Mike Shulman at January 22, 2010 at 20:13:31
• 2-categorical logic collated
  by Mike Shulman at January 22, 2010 at 20:06:43
• classifying discrete opfibration ( classifying discrete opfibration(rev # 10) | history )
  by Mike Shulman at January 1, 2010 at 21:00:46
• regular 2-categories and choice ( regular 2-categories and choice(rev # 2) | history )
  by Mike Shulman at January 1, 2010 at 05:00:55
• classifying discrete opfibration ( classifying discrete opfibration(rev # 9) | history )
  by Toby Bartels? at December 23, 2009 at 21:42:06
• fibrational slice ( fibrational slice(rev # 9) | history )
  by Mike Shulman at December 23, 2009 at 17:05:02
• classifying discrete opfibration ( classifying discrete opfibration(rev # 8) | history )
  by Mike Shulman at December 23, 2009 at 07:25:43
• size structure ( size structure(rev # 1) | history )
  by Mike Shulman at December 23, 2009 at 06:36:12
• classifying discrete opfibration ( classifying discrete opfibration(rev # 7) | history )
  by Mike Shulman at December 23, 2009 at 06:32:21
• classifying discrete opfibration ( classifying discrete opfibration(rev # 6) | history )
  by Mike Shulman at December 22, 2009 at 08:09:38
• classifying cosieve ( classifying cosieve(rev # 7) | history )
  by Mike Shulman at December 22, 2009 at 07:23:28
• comprehensive factorization ( comprehensive factorization(rev # 10) | history )
  by Mike Shulman at December 20, 2009 at 06:53:03
• regular 2-category ( regular 2-category(rev # 8) | history )
  by Mike Shulman at December 20, 2009 at 06:52:38
• Heyting 2-category ( Heyting 2-category(rev # 5) | history )
  by Mike Shulman at December 20, 2009 at 06:52:14
• Beck-Chevalley condition > history ( Beck-Chevalley condition > history(rev # 2) | history )
  by Mike Shulman at December 20, 2009 at 06:51:51
• Beck-Chevalley condition > history ( Beck-Chevalley condition > history(rev # 1) | history )
  by Anonymous at December 20, 2009 at 03:20:27
• comprehensive factorization ( comprehensive factorization(rev # 9) | history )
  by Anonymous at December 20, 2009 at 03:15:19
• Heyting 2-category ( Heyting 2-category(rev # 4) | history )
  by Anonymous at December 20, 2009 at 03:14:55
• balancedness in n-pretoposes ( balancedness in n-pretoposes(rev # 7) | history )
  by Mike Shulman at November 18, 2009 at 19:53:57
• header size test ( header size test(rev # 3) | history )
  by Toby Bartels? at October 28, 2009 at 17:13:51
• 2-congruence ( 2-congruence(rev # 7) | history )
  by Mike Shulman at October 28, 2009 at 04:46:52
• header size test ( header size test(rev # 2) | history )
  by Toby Bartels? at October 28, 2009 at 01:08:49
• header size test ( header size test(rev # 1) | history )
  by Mike Shulman at October 27, 2009 at 05:26:26
• HomePage ( HomePage(rev # 7) | history )
  by Mike Shulman at October 27, 2009 at 05:05:18
• comprehensive factorization ( comprehensive factorization(rev # 8) | history )
  by Mike Shulman at June 10, 2009 at 05:20:13
• categorified logic ( categorified logic(rev # 5) | history )
  by David Corfield? at April 21, 2009 at 14:11:35
• categorified logic ( categorified logic(rev # 4) | history )
  by David Corfield? at April 20, 2009 at 07:16:08
• categorified logic ( categorified logic(rev # 3) | history )
  by David Corfield? at April 17, 2009 at 15:36:54
• internal logic of a 2-category ( internal logic of a 2-category(rev # 4) | history )
  by David Corfield? at April 17, 2009 at 15:02:47
• categorified logic ( categorified logic(rev # 2) | history )
  by David Corfield? at April 17, 2009 at 14:55:34
• classifying cosieve ( classifying cosieve(rev # 6) | history )
  by Mike Shulman at March 7, 2009 at 16:45:49
• category of all sets ( category of all sets(rev # 25) | history )
  by Mike Shulman at March 7, 2009 at 16:30:28
• category of all sets ( category of all sets(rev # 24) | history )
  by Mike Shulman at March 7, 2009 at 15:51:20
• category of all sets ( category of all sets(rev # 23) | history )
  by Toby Bartels? at March 7, 2009 at 07:37:46
• category of all sets ( category of all sets(rev # 22) | history )
  by Mike Shulman at March 7, 2009 at 06:55:48
• category of all sets ( category of all sets(rev # 21) | history )
  by Mike Shulman at March 7, 2009 at 04:24:25
• category of all sets ( category of all sets(rev # 20) | history )
  by Toby Bartels? at March 6, 2009 at 21:46:33
• category of all sets ( category of all sets(rev # 19) | history )
  by Mike Shulman at March 6, 2009 at 17:33:41
• n-topos for large n ( n-topos for large n(rev # 5) | history )
  by Mike Shulman at March 6, 2009 at 17:33:21
• category of all sets ( category of all sets(rev # 18) | history )
  by Mike Shulman at March 6, 2009 at 16:15:25
• n-topos for large n ( n-topos for large n(rev # 4) | history )
  by Toby Bartels? at March 6, 2009 at 05:27:21
• category of all sets ( category of all sets(rev # 17) | history )
  by Toby Bartels? at March 6, 2009 at 05:12:41
• n-topos for large n ( n-topos for large n(rev # 3) | history )
  by Mike Shulman at March 6, 2009 at 03:29:17
• category of all sets ( category of all sets(rev # 16) | history )
  by Mike Shulman at March 6, 2009 at 03:23:28
• category of all sets ( category of all sets(rev # 15) | history )
  by Toby Bartels? at March 5, 2009 at 23:09:30
• n-topos for large n ( n-topos for large n(rev # 2) | history )
  by Toby Bartels? at March 5, 2009 at 22:10:40
• category of all sets ( category of all sets(rev # 14) | history )
  by Mike Shulman at March 5, 2009 at 06:20:29
• n-topos for large n ( n-topos for large n(rev # 1) | history )
  by Mike Shulman at March 5, 2009 at 04:24:45
• 2-categorical logic ( 2-categorical logic(rev # 25) | history )
  by Mike Shulman at March 5, 2009 at 03:35:41
• category of all sets ( category of all sets(rev # 13) | history )
  by Mike Shulman at March 5, 2009 at 03:32:47
• category of all sets ( category of all sets(rev # 12) | history )
  by Toby Bartels? at March 5, 2009 at 02:42:56
• category of all sets ( category of all sets(rev # 11) | history )
  by Mike Shulman at March 4, 2009 at 22:08:17
• category of all sets ( category of all sets(rev # 10) | history )
  by Toby Bartels? at March 4, 2009 at 08:46:34
• category of all sets ( category of all sets(rev # 9) | history )
  by Mike Shulman at March 4, 2009 at 02:15:26
• category of all sets ( category of all sets(rev # 8) | history )
  by Mike Shulman at March 3, 2009 at 18:29:53
• category of all sets ( category of all sets(rev # 7) | history )
  by Toby Bartels? at March 3, 2009 at 00:15:06
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 12) | history )
  by Toby Bartels? at March 2, 2009 at 23:49:42
• category of all sets ( category of all sets(rev # 6) | history )
  by Mike Shulman at March 2, 2009 at 01:05:39
• category of all sets ( category of all sets(rev # 5) | history )
  by Mike Shulman at March 1, 2009 at 22:30:29
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 11) | history )
  by Mike Shulman at March 1, 2009 at 22:23:19
• internal logic of a 2-category ( internal logic of a 2-category(rev # 3) | history )
  by Toby Bartels? at March 1, 2009 at 05:18:06
• category of all sets ( category of all sets(rev # 4) | history )
  by Toby Bartels? at March 1, 2009 at 05:11:46
• internal logic of a 2-category ( internal logic of a 2-category(rev # 2) | history )
  by Mike Shulman at March 1, 2009 at 04:18:36
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 10) | history )
  by Toby Bartels? at March 1, 2009 at 04:10:34
• 2-categorical logic ( 2-categorical logic(rev # 24) | history )
  by Mike Shulman at February 28, 2009 at 23:25:21
• HomePage ( HomePage(rev # 6) | history )
  by Mike Shulman at February 28, 2009 at 18:33:20
• category of all sets ( category of all sets(rev # 3) | history )
  by Mike Shulman at February 28, 2009 at 18:25:14
• categorified logic ( categorified logic(rev # 1) | history )
  by Mike Shulman at February 28, 2009 at 15:44:59
• What is a 2-topos ( What is a 2-topos(rev # 9) | history )
  by Mike Shulman at February 28, 2009 at 14:40:13
• 2-categorical logic ( 2-categorical logic(rev # 23) | history )
  by Mike Shulman at February 28, 2009 at 14:38:56
• balancedness in n-pretoposes ( balancedness in n-pretoposes(rev # 6) | history )
  by Mike Shulman at February 28, 2009 at 05:25:18
• Cauchy factorization ( Cauchy factorization(rev # 3) | history )
  by Mike Shulman at February 28, 2009 at 05:19:27
• category of all sets ( category of all sets(rev # 2) | history )
  by Mike Shulman at February 28, 2009 at 04:22:06
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 9) | history )
  by Mike Shulman at February 28, 2009 at 03:44:07
• category of all sets ( category of all sets(rev # 1) | history )
  by Mike Shulman at February 28, 2009 at 01:44:16
• classifying cosieve ( classifying cosieve(rev # 5) | history )
  by Mike Shulman at February 28, 2009 at 00:38:22
• What is a 2-topos ( What is a 2-topos(rev # 8) | history )
  by Mike Shulman at February 27, 2009 at 23:24:17
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 8) | history )
  by Mike Shulman at February 27, 2009 at 18:38:44
• exponentials in a 2-category ( exponentials in a 2-category(rev # 18) | history )
  by Jacques Distler? at February 27, 2009 at 14:59:16
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 7) | history )
  by Toby Bartels? at February 26, 2009 at 23:42:37
• n-prefix ( n-prefix(rev # 8) | history )
  by Toby Bartels? at February 26, 2009 at 23:31:28
• exponentials in a 2-category ( exponentials in a 2-category(rev # 17) | history )
  by Mike Shulman at February 26, 2009 at 17:53:24