Michael Shulman Latest Revisions

Redirected from "defect field theories".

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

« Previous 1 2 3 4 5 6 Next »