Michael Shulman
Latest Revisions

• Sandbox ( Sandbox(rev # 3) | history )
  by Mike Shulman at March 3, 2019 at 17:53:22
• fibrational slice ( fibrational slice(rev # 16) | history )
  by Mike Shulman at January 24, 2019 at 11:51:34
• categories of variables ( categories of variables(rev # 5) | history )
  by Mike Shulman at November 7, 2018 at 15:03:59
• categories of variables ( categories of variables(rev # 4) | history )
  by Mike Shulman at November 6, 2018 at 23:43:29
• categories of variables ( categories of variables(rev # 3) | history )
  by Mike Shulman at November 6, 2018 at 15:59:54
• categories of variables ( categories of variables(rev # 2) | history )
  by Mike Shulman at November 6, 2018 at 14:14:42
• categories of variables ( categories of variables(rev # 1) | history )
  by Mike Shulman at November 6, 2018 at 13:34:50
• closed category ( closed category(rev # 3) | history )
  by Mike Shulman at May 31, 2018 at 18:30:48
• closed category ( closed category(rev # 2) | history )
  by Mike Shulman at May 29, 2018 at 05:00:11
• closed category ( closed category(rev # 1) | history )
  by Mike Shulman at May 28, 2018 at 05:53:16
• exponentials in a 2-category ( exponentials in a 2-category(rev # 20) | history )
  by Mike Shulman at April 17, 2018 at 12:21:31
• Sandbox ( Sandbox(rev # 2) | history )
  by Mike Shulman at February 3, 2018 at 22:57:12
• Sandbox ( Sandbox(rev # 1) | history )
  by Mike Shulman at January 23, 2018 at 17:27:05
• stack semantics ( stack semantics(rev # 11) | history )
  by Mike Shulman at May 30, 2017 at 00:23:27
• exponentials in a 2-category ( exponentials in a 2-category(rev # 19) | history )
  by Mike Shulman at July 30, 2016 at 23:24:48
• classifying discrete opfibration ( classifying discrete opfibration(rev # 14) | history )
  by David Roberts? at May 12, 2015 at 03:34:52
• fibrational slice ( fibrational slice(rev # 15) | history )
  by David Roberts? at March 28, 2015 at 07:17:31
• fibrational slice ( fibrational slice(rev # 14) | history )
  by Mike Shulman at August 14, 2014 at 05:06:53
• axiom of 2-choice ( axiom of 2-choice(rev # 5) | history )
  by Mike Shulman at August 18, 2013 at 07:02:41
• stack semantics ( stack semantics(rev # 10) | history )
  by Mike Shulman at January 8, 2013 at 08:40:26
• HomePage ( HomePage(rev # 16) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• 2-categorical logic ( 2-categorical logic(rev # 40) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• What is a 2-topos ( What is a 2-topos(rev # 18) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• fibrational slice ( fibrational slice(rev # 12) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• discrete object ( discrete object(rev # 11) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• exact 2-category ( exact 2-category(rev # 5) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• 2-pretopos ( 2-pretopos(rev # 13) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• comprehensive factorization ( comprehensive factorization(rev # 17) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• exactness hypothesis ( exactness hypothesis(rev # 13) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 14) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• truncated 2-topos ( truncated 2-topos(rev # 10) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• duality involution ( duality involution(rev # 15) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• category of all sets ( category of all sets(rev # 32) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• size structure ( size structure(rev # 3) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• stack semantics ( stack semantics(rev # 8) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• 2-quasitopos ( 2-quasitopos(rev # 9) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• 2-Giraud theorem ( 2-Giraud theorem(rev # 6) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• HomePage ( HomePage(rev # 17) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• 2-categorical logic ( 2-categorical logic(rev # 41) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• What is a 2-topos ( What is a 2-topos(rev # 19) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• fibrational slice ( fibrational slice(rev # 13) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• discrete object ( discrete object(rev # 12) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• exact 2-category ( exact 2-category(rev # 6) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• 2-pretopos ( 2-pretopos(rev # 14) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• comprehensive factorization ( comprehensive factorization(rev # 18) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• exactness hypothesis ( exactness hypothesis(rev # 14) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 15) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• truncated 2-topos ( truncated 2-topos(rev # 11) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• duality involution ( duality involution(rev # 16) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• category of all sets ( category of all sets(rev # 33) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• size structure ( size structure(rev # 4) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• stack semantics ( stack semantics(rev # 9) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• 2-quasitopos ( 2-quasitopos(rev # 10) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• 2-Giraud theorem ( 2-Giraud theorem(rev # 7) | history )
  by Andrew Stacey? at June 12, 2012 at 11:10:00
• HomePage ( HomePage(rev # 15) | history )
  by Zoran Škoda? at June 12, 2012 at 04:45:38
• What is a 2-topos ( What is a 2-topos(rev # 17) | history )
  by Anonymous Coward? at June 12, 2012 at 01:46:40
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 13) | history )
  by Anonymous Coward? at June 11, 2012 at 22:26:55
• category of all sets ( category of all sets(rev # 31) | history )
  by Anonymous Coward? at June 11, 2012 at 22:26:48
• 2-Giraud theorem ( 2-Giraud theorem(rev # 5) | history )
  by Anonymous Coward? at June 11, 2012 at 22:20:21
• exact 2-category ( exact 2-category(rev # 4) | history )
  by Anonymous Coward? at June 11, 2012 at 22:19:45
• truncated 2-topos ( truncated 2-topos(rev # 9) | history )
  by Anonymous Coward? at June 11, 2012 at 22:17:45
• 2-categorical logic ( 2-categorical logic(rev # 39) | history )
  by Anonymous Coward? at June 11, 2012 at 22:16:39
• size structure ( size structure(rev # 2) | history )
  by Anonymous Coward? at June 11, 2012 at 22:16:27
• discrete object ( discrete object(rev # 10) | history )
  by Anonymous Coward? at June 11, 2012 at 22:12:55
• stack semantics ( stack semantics(rev # 7) | history )
  by Anonymous Coward? at June 11, 2012 at 22:10:22
• 2-pretopos ( 2-pretopos(rev # 12) | history )
  by Anonymous Coward? at June 11, 2012 at 22:10:15
• 2-quasitopos ( 2-quasitopos(rev # 8) | history )
  by Anonymous Coward? at June 11, 2012 at 22:09:36
• duality involution ( duality involution(rev # 14) | history )
  by Anonymous Coward? at June 11, 2012 at 22:08:53
• fibrational slice ( fibrational slice(rev # 11) | history )
  by Anonymous Coward? at June 11, 2012 at 22:08:46
• exactness hypothesis ( exactness hypothesis(rev # 12) | history )
  by Anonymous Coward? at June 11, 2012 at 22:07:42
• comprehensive factorization ( comprehensive factorization(rev # 16) | history )
  by Anonymous Coward? at June 11, 2012 at 22:07:38
• HomePage ( HomePage(rev # 14) | history )
  by Anonymous Coward? at June 11, 2012 at 21:44:28
• HomePage ( HomePage(rev # 12) | history )
  by Andrew Stacey? at May 29, 2012 at 22:04:00
• comprehensive factorization ( comprehensive factorization(rev # 15) | history )
  by Andrew Stacey? at May 29, 2012 at 22:04:00
• exactness hypothesis ( exactness hypothesis(rev # 11) | history )
  by Andrew Stacey? at May 29, 2012 at 22:04:00
• HomePage ( HomePage(rev # 13) | history )
  by Andrew Stacey? at May 29, 2012 at 22:04:00
• Mike Shulman ( Mike Shulman(rev # 4) | history )
  by Andrew Stacey? at May 29, 2012 at 22:04:00
• 2-quasitopos ( 2-quasitopos(rev # 7) | history )
  by Andrew Stacey? at May 29, 2012 at 22:04:00
• 2-pretopos ( 2-pretopos(rev # 11) | history )
  by Andrew Stacey? at May 29, 2012 at 22:04:00
• discrete object ( discrete object(rev # 9) | history )
  by Andrew Stacey? at May 29, 2012 at 22:04:00
• 2-categorical logic ( 2-categorical logic(rev # 38) | history )
  by Andrew Stacey? at May 29, 2012 at 22:04:00
• 2-Giraud theorem ( 2-Giraud theorem(rev # 4) | history )
  by Andrew Stacey? at May 29, 2012 at 22:04:00
• category of all sets ( category of all sets(rev # 30) | history )
  by Andrew Stacey? at May 29, 2012 at 22:04:00
• What is a 2-topos ( What is a 2-topos(rev # 16) | history )
  by Andrew Stacey? at May 29, 2012 at 22:04:00
• definitional equality for 2-logic ( definitional equality for 2-logic(rev # 6) | history )
  by Andrew Stacey? at May 29, 2012 at 22:04:00
• truncation in an exact 2-category ( truncation in an exact 2-category(rev # 12) | history )
  by Andrew Stacey? at May 29, 2012 at 22:04:00
• HomePage ( HomePage(rev # 11) | history )
  by Mike Shulman at May 29, 2012 at 07:51:59
• What is a 2-topos ( What is a 2-topos(rev # 15) | history )
  by Mike Shulman at May 29, 2012 at 07:51:35
• category of all sets ( category of all sets(rev # 29) | history )
  by Mike Shulman at May 29, 2012 at 07:51:35
• 2-categorical logic ( 2-categorical logic(rev # 37) | history )
  by Mike Shulman at May 29, 2012 at 07:51:31
• discrete object ( discrete object(rev # 8) | history )
  by Mike Shulman at May 29, 2012 at 07:51:30
• 2-pretopos ( 2-pretopos(rev # 10) | history )
  by Mike Shulman at May 29, 2012 at 07:51:28
• 2-quasitopos ( 2-quasitopos(rev # 6) | history )
  by Mike Shulman at May 29, 2012 at 07:51:27
• Mike Shulman ( Mike Shulman(rev # 3) | history )
  by Mike Shulman at May 29, 2012 at 07:51:26
• comprehensive factorization ( comprehensive factorization(rev # 14) | history )
  by Mike Shulman at May 29, 2012 at 07:51:21
• exactness hypothesis ( exactness hypothesis(rev # 10) | history )
  by Mike Shulman at May 29, 2012 at 07:51:19
• definitional equality for 2-logic ( definitional equality for 2-logic(rev # 5) | history )
  by Mike Shulman at May 29, 2012 at 07:50:46
• truncation in an exact 2-category ( truncation in an exact 2-category(rev # 11) | history )
  by Mike Shulman at May 29, 2012 at 07:50:43
• 2-Giraud theorem ( 2-Giraud theorem(rev # 3) | history )
  by Mike Shulman at May 29, 2012 at 07:49:02
• truncation in an exact 2-category ( truncation in an exact 2-category(rev # 10) | history )
  by Mike Shulman at May 29, 2012 at 00:59:05