Michael Shulman Latest Revisions

• Sandbox
  by Anonymous at September 23, 2024 at 03:37:09
• @@IdF53
  by Anonymous at September 23, 2024 at 03:37:08
• 1'"
  by Anonymous at September 23, 2024 at 03:37:05
• znhpQnjs')) OR 313=(SELECT 313 FROM PG_SLEEP(15))--
  by Anonymous at September 23, 2024 at 03:37:03
• acFiRnJ1' OR 423=(SELECT 423 FROM PG_SLEEP(15))--
  by Anonymous at September 23, 2024 at 03:37:01
• 1 waitfor delay '0:0:15' --
  by Anonymous at September 23, 2024 at 03:36:59
• 0"XOR(if(now()=sysdate(),sleep(15),0))XOR"Z
  by Anonymous at September 23, 2024 at 03:36:57
• if(now()=sysdate(),sleep(15),0)
  by Anonymous at September 23, 2024 at 03:36:55
• -1' OR 2+922-922-1=0+0+0+1 or 'HuoHr6AI'='
  by Anonymous at September 23, 2024 at 03:36:52
• -1 OR 2+484-484-1=0+0+0+1
  by Anonymous at September 23, 2024 at 03:36:50
• VwWuCZUK ( VwWuCZUK(rev # 4) | history )
  by Anonymous at September 23, 2024 at 03:36:48
• eso-generator ( eso-generator(rev # 2) | history )
  by i NQ8dg A0? at September 22, 2024 at 23:30:04
• 2-congruence ( 2-congruence(rev # 8) | history )
  by Steve Awodey? at September 9, 2024 at 19:15:16
• exact completion of a 2-category ( exact completion of a 2-category(rev # 10) | history )
  by Steve Awodey? at September 9, 2024 at 18:21:47
• Anonymous
  by Anonymous at July 27, 2024 at 04:11:28
• adjunctions in 2-logic ( adjunctions in 2-logic(rev # 2) | history )
  by andré hirschowitz? at April 18, 2024 at 20:21:49
• regular 2-category ( regular 2-category(rev # 9) | history )
  by Jonathan Osser? at March 23, 2024 at 08:53:48
• classifying discrete opfibration ( classifying discrete opfibration(rev # 15) | history )
  by Anodyne Howard? at January 2, 2023 at 17:50:17
• exact completion of a 2-category ( exact completion of a 2-category(rev # 9) | history )
  by Mike Shulman at April 8, 2021 at 11:02:45
• n-congruence ( n-congruence(rev # 4) | history )
  by Mike Shulman at April 8, 2021 at 11:01:54
• VwWuCZUK ( VwWuCZUK(rev # 3) | history )
  by Mike Shulman at March 3, 2019 at 22:53:22
• fibrational slice ( fibrational slice(rev # 16) | history )
  by Mike Shulman at January 24, 2019 at 16:51:34
• categories of variables ( categories of variables(rev # 5) | history )
  by Mike Shulman at November 7, 2018 at 20:03:59
• categories of variables ( categories of variables(rev # 4) | history )
  by Mike Shulman at November 7, 2018 at 04:43:29
• categories of variables ( categories of variables(rev # 3) | history )
  by Mike Shulman at November 6, 2018 at 20:59:54
• categories of variables ( categories of variables(rev # 2) | history )
  by Mike Shulman at November 6, 2018 at 19:14:42
• categories of variables ( categories of variables(rev # 1) | history )
  by Mike Shulman at November 6, 2018 at 18:34:50
• closed category ( closed category(rev # 3) | history )
  by Mike Shulman at May 31, 2018 at 22:30:48
• closed category ( closed category(rev # 2) | history )
  by Mike Shulman at May 29, 2018 at 09:00:11
• closed category ( closed category(rev # 1) | history )
  by Mike Shulman at May 28, 2018 at 09:53:16
• exponentials in a 2-category ( exponentials in a 2-category(rev # 20) | history )
  by Mike Shulman at April 17, 2018 at 16:21:31
• VwWuCZUK ( VwWuCZUK(rev # 2) | history )
  by Mike Shulman at February 4, 2018 at 03:57:12
• VwWuCZUK ( VwWuCZUK(rev # 1) | history )
  by Mike Shulman at January 23, 2018 at 22:27:05
• stack semantics ( stack semantics(rev # 11) | history )
  by Mike Shulman at May 30, 2017 at 04:23:27
• exponentials in a 2-category ( exponentials in a 2-category(rev # 19) | history )
  by Mike Shulman at July 31, 2016 at 03: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 at June 12, 2012 at 01:46:40
• colimits in an n-pretopos ( colimits in an n-pretopos(rev # 13) | history )
  by Anonymous at June 11, 2012 at 22:26:55
• category of all sets ( category of all sets(rev # 31) | history )
  by Anonymous at June 11, 2012 at 22:26:48
• 2-Giraud theorem ( 2-Giraud theorem(rev # 5) | history )
  by Anonymous at June 11, 2012 at 22:20:21
• exact 2-category ( exact 2-category(rev # 4) | history )
  by Anonymous at June 11, 2012 at 22:19:45
• truncated 2-topos ( truncated 2-topos(rev # 9) | history )
  by Anonymous at June 11, 2012 at 22:17:45
• 2-categorical logic ( 2-categorical logic(rev # 39) | history )
  by Anonymous at June 11, 2012 at 22:16:39
• size structure ( size structure(rev # 2) | history )
  by Anonymous at June 11, 2012 at 22:16:27
• discrete object ( discrete object(rev # 10) | history )
  by Anonymous at June 11, 2012 at 22:12:55
• stack semantics ( stack semantics(rev # 7) | history )
  by Anonymous at June 11, 2012 at 22:10:22
• 2-pretopos ( 2-pretopos(rev # 12) | history )
  by Anonymous at June 11, 2012 at 22:10:15
• 2-quasitopos ( 2-quasitopos(rev # 8) | history )
  by Anonymous at June 11, 2012 at 22:09:36
• duality involution ( duality involution(rev # 14) | history )
  by Anonymous at June 11, 2012 at 22:08:53
• fibrational slice ( fibrational slice(rev # 11) | history )
  by Anonymous at June 11, 2012 at 22:08:46
• exactness hypothesis ( exactness hypothesis(rev # 12) | history )
  by Anonymous at June 11, 2012 at 22:07:42
• comprehensive factorization ( comprehensive factorization(rev # 16) | history )
  by Anonymous at June 11, 2012 at 22:07:38
• HomePage ( HomePage(rev # 14) | history )
  by Anonymous 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