Michael Shulman Latest Revisions

• classifying cosieve ( classifying cosieve(rev # 3) | history )
  by Mike Shulman at February 13, 2009 at 06:01:05
• NNO in a 2-category ( NNO in a 2-category(rev # 3) | history )
  by Mike Shulman at February 13, 2009 at 05:28:19
• comprehensive factorization ( comprehensive factorization(rev # 4) | history )
  by Mike Shulman at February 13, 2009 at 05:23:58
• classifying cosieve ( classifying cosieve(rev # 2) | history )
  by Mike Shulman at February 13, 2009 at 04:14:12
• NNO in a 2-category ( NNO in a 2-category(rev # 2) | history )
  by Mike Shulman at February 13, 2009 at 04:07:06
• core ( core(rev # 4) | history )
  by Mike Shulman at February 13, 2009 at 03:36:05
• 2-internal first-order logic ( 2-internal first-order logic(rev # 6) | history )
  by Mike Shulman at February 13, 2009 at 03:35:28
• internal logic of a 2-category ( internal logic of a 2-category(rev # 1) | history )
  by Mike Shulman at February 13, 2009 at 03:35:03
• exponentials in 2-categories ( exponentials in 2-categories(rev # 3) | history )
  by Mike Shulman at February 13, 2009 at 03:34:27
• exponentials in a 2-category ( exponentials in a 2-category(rev # 1) | history )
  by Mike Shulman at February 13, 2009 at 03:34:14
• 2-categorical logic ( 2-categorical logic(rev # 17) | history )
  by Mike Shulman at February 13, 2009 at 03:33:52
• classifying cosieve ( classifying cosieve(rev # 1) | history )
  by Mike Shulman at February 13, 2009 at 03:33:07
• 2-categorical logic ( 2-categorical logic(rev # 16) | history )
  by Mike Shulman at February 13, 2009 at 03:02:33
• 2-internal first-order logic ( 2-internal first-order logic(rev # 5) | history )
  by Mike Shulman at February 12, 2009 at 18:33:36
• full morphism ( full morphism(rev # 4) | history )
  by Mike Shulman at February 12, 2009 at 16:21:57
• full morphism ( full morphism(rev # 3) | history )
  by Mike Shulman at February 12, 2009 at 13:25:12
• exponentials in 2-categories ( exponentials in 2-categories(rev # 2) | history )
  by Mike Shulman at February 11, 2009 at 07:11:58
• axiom of 2-choice ( axiom of 2-choice(rev # 3) | history )
  by Mike Shulman at February 11, 2009 at 06:41:19
• 2-categorical logic ( 2-categorical logic(rev # 15) | history )
  by Mike Shulman at February 11, 2009 at 06:34:17
• 2-internal first-order logic ( 2-internal first-order logic(rev # 4) | history )
  by Mike Shulman at February 11, 2009 at 06:32:03
• exponentials in 2-categories ( exponentials in 2-categories(rev # 1) | history )
  by Mike Shulman at February 11, 2009 at 05:33:35
• 2-categorical logic ( 2-categorical logic(rev # 14) | history )
  by Mike Shulman at February 11, 2009 at 05:25:30
• exactness hypothesis ( exactness hypothesis(rev # 2) | history )
  by Mike Shulman at February 10, 2009 at 22:35:34
• NNO in a 2-category ( NNO in a 2-category(rev # 1) | history )
  by Mike Shulman at February 10, 2009 at 03:03:51
• 2-categorical logic ( 2-categorical logic(rev # 13) | history )
  by Mike Shulman at February 10, 2009 at 03:00:24
• comprehensive factorization ( comprehensive factorization(rev # 3) | history )
  by Mike Shulman at February 7, 2009 at 06:44:36
• truncation in an exact 2-category ( truncation in an exact 2-category(rev # 4) | history )
  by Mike Shulman at February 7, 2009 at 06:42:32
• exact completion of a 2-category ( exact completion of a 2-category(rev # 8) | history )
  by Mike Shulman at February 6, 2009 at 05:34:31
• exact completion of a 2-category ( exact completion of a 2-category(rev # 7) | history )
  by Mike Shulman at February 6, 2009 at 03:03:11
• 2-categorical logic ( 2-categorical logic(rev # 12) | history )
  by Mike Shulman at February 5, 2009 at 20:26:08
• 2-categorical logic ( 2-categorical logic(rev # 11) | history )
  by Mike Shulman at February 5, 2009 at 05:07:29
• classifying discrete opfibration ( classifying discrete opfibration(rev # 1) | history )
  by Mike Shulman at February 5, 2009 at 05:07:03
• exact completion of a 2-category ( exact completion of a 2-category(rev # 6) | history )
  by Mike Shulman at February 5, 2009 at 04:56:51
• comprehensive factorization ( comprehensive factorization(rev # 2) | history )
  by Mike Shulman at February 5, 2009 at 04:55:52
• opposites in an exact 2-category ( opposites in an exact 2-category(rev # 2) | history )
  by Mike Shulman at February 5, 2009 at 04:53:24
• exact completion of a 2-category ( exact completion of a 2-category(rev # 5) | history )
  by Mike Shulman at February 5, 2009 at 03:50:54
• core ( core(rev # 3) | history )
  by Mike Shulman at February 5, 2009 at 03:49:45
• 2-congruence ( 2-congruence(rev # 6) | history )
  by Mike Shulman at February 5, 2009 at 02:14:53
• 2-internal first-order logic ( 2-internal first-order logic(rev # 3) | history )
  by Mike Shulman at February 4, 2009 at 22:55:58
• 2-internal first-order logic ( 2-internal first-order logic(rev # 2) | history )
  by Mike Shulman at February 4, 2009 at 21:29:52
• exact completion of a 2-category ( exact completion of a 2-category(rev # 4) | history )
  by Mike Shulman at February 4, 2009 at 20:59:35
• 2-congruence ( 2-congruence(rev # 5) | history )
  by Mike Shulman at February 4, 2009 at 17:59:23
• exact completion of a 2-category ( exact completion of a 2-category(rev # 3) | history )
  by Mike Shulman at February 4, 2009 at 17:54:08
• exact completion of a 2-category ( exact completion of a 2-category(rev # 2) | history )
  by Mike Shulman at February 4, 2009 at 06:57:26
• full morphism ( full morphism(rev # 2) | history )
  by Mike Shulman at February 4, 2009 at 04:00:47
• full morphism ( full morphism(rev # 1) | history )
  by Mike Shulman at February 4, 2009 at 02:39:21
• 2-categorical logic ( 2-categorical logic(rev # 10) | history )
  by Mike Shulman at February 3, 2009 at 22:14:41
• regular 2-category ( regular 2-category(rev # 6) | history )
  by Mike Shulman at February 3, 2009 at 20:46:42
• exactness hypothesis ( exactness hypothesis(rev # 1) | history )
  by Mike Shulman at February 3, 2009 at 17:14:31
• HomePage ( HomePage(rev # 5) | history )
  by Mike Shulman at February 3, 2009 at 16:38:47
• 2-internal first-order logic ( 2-internal first-order logic(rev # 1) | history )
  by Mike Shulman at February 3, 2009 at 04:08:48
• fibrational slice ( fibrational slice(rev # 2) | history )
  by Mike Shulman at February 3, 2009 at 01:13:55
• comprehensive factorization ( comprehensive factorization(rev # 1) | history )
  by Mike Shulman at February 2, 2009 at 20:19:45
• 2-categorical logic ( 2-categorical logic(rev # 9) | history )
  by Mike Shulman at February 2, 2009 at 20:06:08
• balancedness in n-pretoposes ( balancedness in n-pretoposes(rev # 3) | history )
  by Mike Shulman at February 2, 2009 at 19:57:50
• core ( core(rev # 2) | history )
  by Mike Shulman at February 2, 2009 at 19:55:02
• balancedness in n-pretoposes ( balancedness in n-pretoposes(rev # 2) | history )
  by Mike Shulman at January 31, 2009 at 21:17:58
• balancedness in n-pretoposes ( balancedness in n-pretoposes(rev # 1) | history )
  by Mike Shulman at January 31, 2009 at 20:42:18
• 2-categorical logic ( 2-categorical logic(rev # 8) | history )
  by Mike Shulman at January 31, 2009 at 19:52:07
• axiom of 2-choice ( axiom of 2-choice(rev # 2) | history )
  by Mike Shulman at January 31, 2009 at 18:46:26
• truncation in an exact 2-category ( truncation in an exact 2-category(rev # 3) | history )
  by Mike Shulman at January 30, 2009 at 20:30:18
• 2-polycongruence
  by Mike Shulman at January 30, 2009 at 20:15:44
• posetal object ( posetal object(rev # 3) | history )
  by Mike Shulman at January 30, 2009 at 20:10:20
• groupoidal object ( groupoidal object(rev # 3) | history )
  by Mike Shulman at January 30, 2009 at 20:09:52
• discrete object ( discrete object(rev # 4) | history )
  by Mike Shulman at January 30, 2009 at 20:05:58
• truncated object ( truncated object(rev # 1) | history )
  by Mike Shulman at January 30, 2009 at 20:03:28
• axiom of 2-choice ( axiom of 2-choice(rev # 1) | history )
  by Mike Shulman at January 30, 2009 at 19:45:53
• 2-categorical logic ( 2-categorical logic(rev # 7) | history )
  by Mike Shulman at January 30, 2009 at 19:09:30
• Grothendieck 2-topos ( Grothendieck 2-topos(rev # 4) | history )
  by Mike Shulman at January 30, 2009 at 08:07:00
• 2-pretopos ( 2-pretopos(rev # 3) | history )
  by Mike Shulman at January 30, 2009 at 08:04:41
• extensive 2-category ( extensive 2-category(rev # 5) | history )
  by Mike Shulman at January 30, 2009 at 07:49:31
• extensive 2-category ( extensive 2-category(rev # 4) | history )
  by Mike Shulman at January 30, 2009 at 07:15:23
• Grothendieck 2-topos ( Grothendieck 2-topos(rev # 3) | history )
  by Mike Shulman at January 30, 2009 at 07:01:52
• exact 2-category ( exact 2-category(rev # 2) | history )
  by Mike Shulman at January 30, 2009 at 06:56:21
• regular 2-category ( regular 2-category(rev # 5) | history )
  by Mike Shulman at January 30, 2009 at 06:53:36
• 2-congruence ( 2-congruence(rev # 4) | history )
  by Mike Shulman at January 30, 2009 at 06:52:51
• opposites in an exact 2-category ( opposites in an exact 2-category(rev # 1) | history )
  by Mike Shulman at January 30, 2009 at 06:24:04
• core ( core(rev # 1) | history )
  by Mike Shulman at January 30, 2009 at 06:00:28
• coherent 2-category ( coherent 2-category(rev # 5) | history )
  by Mike Shulman at January 29, 2009 at 23:54:49
• Heyting 2-category ( Heyting 2-category(rev # 1) | history )
  by Mike Shulman at January 29, 2009 at 23:53:16
• 2-pretopos ( 2-pretopos(rev # 2) | history )
  by Mike Shulman at January 29, 2009 at 23:45:17
• 2-categorical logic ( 2-categorical logic(rev # 6) | history )
  by Mike Shulman at January 29, 2009 at 23:43:46
• coherent 2-category ( coherent 2-category(rev # 4) | history )
  by Mike Shulman at January 29, 2009 at 05:32:15
• n-congruence ( n-congruence(rev # 2) | history )
  by Mike Shulman at January 29, 2009 at 05:05:56
• extensive 2-category ( extensive 2-category(rev # 3) | history )
  by Mike Shulman at January 29, 2009 at 04:49:53
• 2-categorical logic ( 2-categorical logic(rev # 5) | history )
  by Mike Shulman at January 29, 2009 at 02:08:30
• Grothendieck 2-topos ( Grothendieck 2-topos(rev # 2) | history )
  by Mike Shulman at January 29, 2009 at 02:03:40
• 2-pretopos ( 2-pretopos(rev # 1) | history )
  by Mike Shulman at January 29, 2009 at 02:02:34
• coherent 2-category ( coherent 2-category(rev # 3) | history )
  by Mike Shulman at January 29, 2009 at 01:58:34
• regular 2-category ( regular 2-category(rev # 4) | history )
  by Mike Shulman at January 29, 2009 at 01:56:57
• StreetCBS ( StreetCBS(rev # 3) | history )
  by Mike Shulman at January 29, 2009 at 01:40:15
• What is a 2-topos ( What is a 2-topos(rev # 5) | history )
  by Mike Shulman at January 29, 2009 at 01:38:31
• 2-congruence ( 2-congruence(rev # 3) | history )
  by Mike Shulman at January 29, 2009 at 01:27:58
• extensive 2-category ( extensive 2-category(rev # 2) | history )
  by Mike Shulman at January 29, 2009 at 01:27:26
• exact 2-category ( exact 2-category(rev # 1) | history )
  by Mike Shulman at January 29, 2009 at 01:24:27
• truncation in an exact 2-category ( truncation in an exact 2-category(rev # 2) | history )
  by Mike Shulman at January 29, 2009 at 01:23:18
• n-congruence ( n-congruence(rev # 1) | history )
  by Mike Shulman at January 29, 2009 at 01:22:55
• exact completion of a 2-category ( exact completion of a 2-category(rev # 1) | history )
  by Mike Shulman at January 29, 2009 at 00:50:46
• truncation in an exact 2-category ( truncation in an exact 2-category(rev # 1) | history )
  by Mike Shulman at January 29, 2009 at 00:48:49
• 2-congruence ( 2-congruence(rev # 2) | history )
  by Mike Shulman at January 28, 2009 at 23:11:54