Michael Shulman Latest Revisions

• exactness hypothesis ( exactness hypothesis(rev # 5) | history )
  by Mike Shulman at February 25, 2009 at 20:44:20
• exactness hypothesis ( exactness hypothesis(rev # 4) | history )
  by Mathieu Dupont? at February 25, 2009 at 19:35:56
• exactness hypothesis ( exactness hypothesis(rev # 3) | history )
  by Mike Shulman at February 25, 2009 at 18:06:25
• n-prefix ( n-prefix(rev # 7) | history )
  by Mike Shulman at February 25, 2009 at 18:01:22
• n-prefix ( n-prefix(rev # 6) | history )
  by Mathieu Dupont? at February 25, 2009 at 17:19:03
• n-prefix ( n-prefix(rev # 5) | history )
  by Mike Shulman at February 25, 2009 at 08:48:27
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 6) | history )
  by Mike Shulman at February 25, 2009 at 08:42:34
• n-prefix ( n-prefix(rev # 4) | history )
  by Toby Bartels? at February 25, 2009 at 08:00:02
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 5) | history )
  by Toby Bartels? at February 25, 2009 at 07:51:45
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 4) | history )
  by Mike Shulman at February 25, 2009 at 06:44:55
• n-prefix ( n-prefix(rev # 3) | history )
  by Mike Shulman at February 25, 2009 at 06:24:06
• classifying cosieve ( classifying cosieve(rev # 4) | history )
  by Mike Shulman at February 25, 2009 at 05:37:03
• duality involution ( duality involution(rev # 9) | history )
  by Mike Shulman at February 24, 2009 at 18:24:54
• classifying discrete opfibration ( classifying discrete opfibration(rev # 5) | history )
  by Mike Shulman at February 24, 2009 at 18:09:35
• fibrational slice ( fibrational slice(rev # 8) | history )
  by Mike Shulman at February 24, 2009 at 17:20:24
• duality involution ( duality involution(rev # 8) | history )
  by Mike Shulman at February 24, 2009 at 05:17:26
• duality involution ( duality involution(rev # 7) | history )
  by Mike Shulman at February 24, 2009 at 04:26:04
• n-prefix ( n-prefix(rev # 2) | history )
  by Toby Bartels? at February 24, 2009 at 01:56:49
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 3) | history )
  by Toby Bartels? at February 24, 2009 at 01:21:04
• Cauchy factorization ( Cauchy factorization(rev # 2) | history )
  by Toby Bartels? at February 24, 2009 at 00:56:34
• duality involution ( duality involution(rev # 6) | history )
  by Mike Shulman at February 23, 2009 at 21:43:04
• classifying discrete opfibration ( classifying discrete opfibration(rev # 4) | history )
  by Mike Shulman at February 23, 2009 at 21:19:01
• duality involution ( duality involution(rev # 5) | history )
  by Mike Shulman at February 23, 2009 at 20:44:05
• classifying discrete opfibration ( classifying discrete opfibration(rev # 3) | history )
  by Mike Shulman at February 23, 2009 at 20:03:40
• exponentials in a 2-category ( exponentials in a 2-category(rev # 16) | history )
  by Mike Shulman at February 23, 2009 at 19:46:39
• exponentials in a 2-category ( exponentials in a 2-category(rev # 15) | history )
  by Mike Shulman at February 23, 2009 at 18:45:53
• duality involution ( duality involution(rev # 4) | history )
  by Mike Shulman at February 23, 2009 at 15:16:02
• duality involution ( duality involution(rev # 3) | history )
  by Mike Shulman at February 23, 2009 at 05:45:31
• duality involution ( duality involution(rev # 2) | history )
  by Mike Shulman at February 23, 2009 at 03:12:10
• What is a 2-topos ( What is a 2-topos(rev # 7) | history )
  by Mike Shulman at February 23, 2009 at 02:36:19
• exponentials in a 2-category ( exponentials in a 2-category(rev # 14) | history )
  by Mike Shulman at February 23, 2009 at 02:30:40
• classifying discrete opfibration ( classifying discrete opfibration(rev # 2) | history )
  by Mike Shulman at February 23, 2009 at 02:27:22
• Grothendieck 2-topos ( Grothendieck 2-topos(rev # 7) | history )
  by Mike Shulman at February 23, 2009 at 02:27:12
• opposites in an exact 2-category ( opposites in an exact 2-category(rev # 3) | history )
  by Mike Shulman at February 23, 2009 at 02:26:22
• duality involution ( duality involution(rev # 1) | history )
  by Mike Shulman at February 23, 2009 at 02:26:20
• 2-categorical logic ( 2-categorical logic(rev # 22) | history )
  by Mike Shulman at February 23, 2009 at 01:17:58
• exponentials in a 2-category ( exponentials in a 2-category(rev # 13) | history )
  by Mike Shulman at February 21, 2009 at 03:07:50
• Heyting 2-category ( Heyting 2-category(rev # 3) | history )
  by Mike Shulman at February 21, 2009 at 02:41:24
• exponentials in a 2-category ( exponentials in a 2-category(rev # 12) | history )
  by Mike Shulman at February 20, 2009 at 23:19:40
• fibrational slice ( fibrational slice(rev # 7) | history )
  by Mike Shulman at February 20, 2009 at 21:40:10
• regular 2-categories and choice ( regular 2-categories and choice(rev # 1) | history )
  by Mike Shulman at February 20, 2009 at 21:36:15
• fibrational slice ( fibrational slice(rev # 6) | history )
  by Mike Shulman at February 20, 2009 at 19:35:07
• comprehensive factorization ( comprehensive factorization(rev # 7) | history )
  by Mike Shulman at February 20, 2009 at 19:32:15
• slice 2-category ( slice 2-category(rev # 3) | history )
  by Mike Shulman at February 20, 2009 at 19:30:35
• fibrational slice ( fibrational slice(rev # 5) | history )
  by Mike Shulman at February 20, 2009 at 05:04:11
• comprehensive factorization ( comprehensive factorization(rev # 6) | history )
  by Mike Shulman at February 20, 2009 at 02:49:29
• exponentials in a 2-category ( exponentials in a 2-category(rev # 11) | history )
  by Mike Shulman at February 19, 2009 at 00:49:35
• exponentials in a 2-category ( exponentials in a 2-category(rev # 10) | history )
  by Mike Shulman at February 18, 2009 at 23:36:44
• balancedness in n-pretoposes ( balancedness in n-pretoposes(rev # 5) | history )
  by Mike Shulman at February 18, 2009 at 04:47:10
• Cauchy factorization ( Cauchy factorization(rev # 1) | history )
  by Mike Shulman at February 17, 2009 at 22:43:56
• balancedness in n-pretoposes ( balancedness in n-pretoposes(rev # 4) | history )
  by Mike Shulman at February 17, 2009 at 22:42:47
• 2-categorical logic ( 2-categorical logic(rev # 21) | history )
  by Mike Shulman at February 17, 2009 at 21:20:15
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 2) | history )
  by Mike Shulman at February 17, 2009 at 21:17:22
• 2-pretopos ( 2-pretopos(rev # 5) | history )
  by Mike Shulman at February 17, 2009 at 18:07:31
• exact 2-category ( exact 2-category(rev # 3) | history )
  by Mike Shulman at February 17, 2009 at 18:04:51
• Heyting 2-category ( Heyting 2-category(rev # 2) | history )
  by Mike Shulman at February 17, 2009 at 18:02:28
• coherent 2-category ( coherent 2-category(rev # 6) | history )
  by Mike Shulman at February 17, 2009 at 17:58:52
• extensive 2-category ( extensive 2-category(rev # 6) | history )
  by Mike Shulman at February 17, 2009 at 17:56:29
• n-congruence ( n-congruence(rev # 3) | history )
  by Mike Shulman at February 17, 2009 at 17:49:22
• n-prefix ( n-prefix(rev # 1) | history )
  by Mike Shulman at February 17, 2009 at 17:48:04
• regular 2-category ( regular 2-category(rev # 7) | history )
  by Mike Shulman at February 17, 2009 at 17:39:09
• truncated object ( truncated object(rev # 5) | history )
  by Mike Shulman at February 17, 2009 at 17:33:11
• What is a 2-topos ( What is a 2-topos(rev # 6) | history )
  by Mike Shulman at February 17, 2009 at 16:19:36
• 2-categorical logic ( 2-categorical logic(rev # 20) | history )
  by Mike Shulman at February 17, 2009 at 16:19:16
• exponentials in a 2-category ( exponentials in a 2-category(rev # 9) | history )
  by Mike Shulman at February 17, 2009 at 15:58:03
• 2-site ( 2-site(rev # 5) | history )
  by Mike Shulman at February 17, 2009 at 15:49:30
• truncated 2-topos ( truncated 2-topos(rev # 7) | history )
  by Mike Shulman at February 17, 2009 at 15:43:12
• truncated object ( truncated object(rev # 4) | history )
  by Mike Shulman at February 17, 2009 at 15:39:52
• truncated 2-topos ( truncated 2-topos(rev # 6) | history )
  by Mike Shulman at February 17, 2009 at 15:11:27
• truncated 2-topos ( truncated 2-topos(rev # 5) | history )
  by Toby Bartels? at February 17, 2009 at 08:54:35
• 2-site ( 2-site(rev # 4) | history )
  by Toby Bartels? at February 17, 2009 at 08:39:16
• truncated object ( truncated object(rev # 3) | history )
  by Toby Bartels? at February 17, 2009 at 08:33:41
• truncated 2-topos ( truncated 2-topos(rev # 4) | history )
  by Mike Shulman at February 17, 2009 at 07:48:43
• truncated object ( truncated object(rev # 2) | history )
  by Mike Shulman at February 17, 2009 at 07:12:32
• truncated 2-topos ( truncated 2-topos(rev # 3) | history )
  by Mike Shulman at February 17, 2009 at 07:08:50
• 2-site ( 2-site(rev # 3) | history )
  by Mike Shulman at February 17, 2009 at 07:06:55
• Grothendieck 2-topos ( Grothendieck 2-topos(rev # 6) | history )
  by Mike Shulman at February 17, 2009 at 07:06:38
• 2-geometric morphism
  by Mike Shulman at February 17, 2009 at 06:39:53
• truncated 2-topos ( truncated 2-topos(rev # 2) | history )
  by Toby Bartels? at February 17, 2009 at 04:17:14
• exponentials in a 2-category ( exponentials in a 2-category(rev # 8) | history )
  by Toby Bartels? at February 17, 2009 at 03:33:16
• 2-site ( 2-site(rev # 2) | history )
  by Toby Bartels? at February 16, 2009 at 23:48:56
• truncated 2-topos ( truncated 2-topos(rev # 1) | history )
  by Mike Shulman at February 16, 2009 at 20:01:29
• 2-site ( 2-site(rev # 1) | history )
  by Mike Shulman at February 16, 2009 at 20:00:14
• 2-categorical logic ( 2-categorical logic(rev # 19) | history )
  by Mike Shulman at February 16, 2009 at 19:43:40
• eso-generator ( eso-generator(rev # 1) | history )
  by Mike Shulman at February 16, 2009 at 19:40:45
• Grothendieck 2-topos ( Grothendieck 2-topos(rev # 5) | history )
  by Mike Shulman at February 16, 2009 at 19:37:18
• exponentials in a 2-category ( exponentials in a 2-category(rev # 7) | history )
  by Mike Shulman at February 16, 2009 at 18:50:57
• exponentials in a 2-category ( exponentials in a 2-category(rev # 6) | history )
  by Mike Shulman at February 16, 2009 at 04:16:03
• exponentials in a 2-category ( exponentials in a 2-category(rev # 5) | history )
  by Mike Shulman at February 15, 2009 at 23:07:52
• fibrational slice ( fibrational slice(rev # 4) | history )
  by Mike Shulman at February 15, 2009 at 23:04:19
• exponentials in a 2-category ( exponentials in a 2-category(rev # 4) | history )
  by Toby Bartels? at February 15, 2009 at 18:59:59
• exponentials in a 2-category ( exponentials in a 2-category(rev # 3) | history )
  by Toby Bartels? at February 15, 2009 at 00:10:22
• exponentials in a 2-category ( exponentials in a 2-category(rev # 2) | history )
  by Mike Shulman at February 14, 2009 at 17:40:24
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 1) | history )
  by Mike Shulman at February 14, 2009 at 17:35:14
• 2-pretopos ( 2-pretopos(rev # 4) | history )
  by Mike Shulman at February 14, 2009 at 17:34:32
• fibrational slice ( fibrational slice(rev # 3) | history )
  by Mike Shulman at February 14, 2009 at 17:32:47
• 2-categorical logic ( 2-categorical logic(rev # 18) | history )
  by Mike Shulman at February 14, 2009 at 17:31:48
• slice 2-category ( slice 2-category(rev # 2) | history )
  by Mike Shulman at February 14, 2009 at 17:20:54
• comprehensive factorization ( comprehensive factorization(rev # 5) | history )
  by Mike Shulman at February 13, 2009 at 06:33:09
• truncation in an exact 2-category ( truncation in an exact 2-category(rev # 5) | history )
  by Mike Shulman at February 13, 2009 at 06:01:17