Michael Shulman
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

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 2category
(
exponentials in a 2category(rev # 16)

history
)
by
Mike Shulman
at February 23, 2009 at 19:46:39
exponentials in a 2category
(
exponentials in a 2category(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 2topos
(
What is a 2topos(rev # 7)

history
)
by
Mike Shulman
at February 23, 2009 at 02:36:19
exponentials in a 2category
(
exponentials in a 2category(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 2topos
(
Grothendieck 2topos(rev # 7)

history
)
by
Mike Shulman
at February 23, 2009 at 02:27:12
opposites in an exact 2category
(
opposites in an exact 2category(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
2categorical logic
(
2categorical logic(rev # 22)

history
)
by
Mike Shulman
at February 23, 2009 at 01:17:58
exponentials in a 2category
(
exponentials in a 2category(rev # 13)

history
)
by
Mike Shulman
at February 21, 2009 at 03:07:50
Heyting 2category
(
Heyting 2category(rev # 3)

history
)
by
Mike Shulman
at February 21, 2009 at 02:41:24
exponentials in a 2category
(
exponentials in a 2category(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 2categories and choice
(
regular 2categories 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 2category
(
slice 2category(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 2category
(
exponentials in a 2category(rev # 11)

history
)
by
Mike Shulman
at February 19, 2009 at 00:49:35
exponentials in a 2category
(
exponentials in a 2category(rev # 10)

history
)
by
Mike Shulman
at February 18, 2009 at 23:36:44
balancedness in npretoposes
(
balancedness in npretoposes(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 npretoposes
(
balancedness in npretoposes(rev # 4)

history
)
by
Mike Shulman
at February 17, 2009 at 22:42:47
2categorical logic
(
2categorical logic(rev # 21)

history
)
by
Mike Shulman
at February 17, 2009 at 21:20:15
colimits in an npretopos
(
colimits in an npretopos(rev # 2)

history
)
by
Mike Shulman
at February 17, 2009 at 21:17:22
2pretopos
(
2pretopos(rev # 5)

history
)
by
Mike Shulman
at February 17, 2009 at 18:07:31
exact 2category
(
exact 2category(rev # 3)

history
)
by
Mike Shulman
at February 17, 2009 at 18:04:51
Heyting 2category
(
Heyting 2category(rev # 2)

history
)
by
Mike Shulman
at February 17, 2009 at 18:02:28
coherent 2category
(
coherent 2category(rev # 6)

history
)
by
Mike Shulman
at February 17, 2009 at 17:58:52
extensive 2category
(
extensive 2category(rev # 6)

history
)
by
Mike Shulman
at February 17, 2009 at 17:56:29
ncongruence
(
ncongruence(rev # 3)

history
)
by
Mike Shulman
at February 17, 2009 at 17:49:22
nprefix
(
nprefix(rev # 1)

history
)
by
Mike Shulman
at February 17, 2009 at 17:48:04
regular 2category
(
regular 2category(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 2topos
(
What is a 2topos(rev # 6)

history
)
by
Mike Shulman
at February 17, 2009 at 16:19:36
2categorical logic
(
2categorical logic(rev # 20)

history
)
by
Mike Shulman
at February 17, 2009 at 16:19:16
exponentials in a 2category
(
exponentials in a 2category(rev # 9)

history
)
by
Mike Shulman
at February 17, 2009 at 15:58:03
2site
(
2site(rev # 5)

history
)
by
Mike Shulman
at February 17, 2009 at 15:49:30
truncated 2topos
(
truncated 2topos(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 2topos
(
truncated 2topos(rev # 6)

history
)
by
Mike Shulman
at February 17, 2009 at 15:11:27
truncated 2topos
(
truncated 2topos(rev # 5)

history
)
by
Toby Bartels
?
at February 17, 2009 at 08:54:35
2site
(
2site(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 2topos
(
truncated 2topos(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 2topos
(
truncated 2topos(rev # 3)

history
)
by
Mike Shulman
at February 17, 2009 at 07:08:50
2site
(
2site(rev # 3)

history
)
by
Mike Shulman
at February 17, 2009 at 07:06:55
Grothendieck 2topos
(
Grothendieck 2topos(rev # 6)

history
)
by
Mike Shulman
at February 17, 2009 at 07:06:38
2geometric morphism
by
Mike Shulman
at February 17, 2009 at 06:39:53
truncated 2topos
(
truncated 2topos(rev # 2)

history
)
by
Toby Bartels
?
at February 17, 2009 at 04:17:14
exponentials in a 2category
(
exponentials in a 2category(rev # 8)

history
)
by
Toby Bartels
?
at February 17, 2009 at 03:33:16
2site
(
2site(rev # 2)

history
)
by
Toby Bartels
?
at February 16, 2009 at 23:48:56
truncated 2topos
(
truncated 2topos(rev # 1)

history
)
by
Mike Shulman
at February 16, 2009 at 20:01:29
2site
(
2site(rev # 1)

history
)
by
Mike Shulman
at February 16, 2009 at 20:00:14
2categorical logic
(
2categorical logic(rev # 19)

history
)
by
Mike Shulman
at February 16, 2009 at 19:43:40
esogenerator
by
Mike Shulman
at February 16, 2009 at 19:40:45
Grothendieck 2topos
(
Grothendieck 2topos(rev # 5)

history
)
by
Mike Shulman
at February 16, 2009 at 19:37:18
exponentials in a 2category
(
exponentials in a 2category(rev # 7)

history
)
by
Mike Shulman
at February 16, 2009 at 18:50:57
exponentials in a 2category
(
exponentials in a 2category(rev # 6)

history
)
by
Mike Shulman
at February 16, 2009 at 04:16:03
exponentials in a 2category
(
exponentials in a 2category(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 2category
(
exponentials in a 2category(rev # 4)

history
)
by
Toby Bartels
?
at February 15, 2009 at 18:59:59
exponentials in a 2category
(
exponentials in a 2category(rev # 3)

history
)
by
Toby Bartels
?
at February 15, 2009 at 00:10:22
exponentials in a 2category
(
exponentials in a 2category(rev # 2)

history
)
by
Mike Shulman
at February 14, 2009 at 17:40:24
colimits in an npretopos
(
colimits in an npretopos(rev # 1)

history
)
by
Mike Shulman
at February 14, 2009 at 17:35:14
2pretopos
(
2pretopos(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
2categorical logic
(
2categorical logic(rev # 18)

history
)
by
Mike Shulman
at February 14, 2009 at 17:31:48
slice 2category
(
slice 2category(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 2category
(
truncation in an exact 2category(rev # 5)

history
)
by
Mike Shulman
at February 13, 2009 at 06:01:17
classifying cosieve
(
classifying cosieve(rev # 3)

history
)
by
Mike Shulman
at February 13, 2009 at 06:01:05
NNO in a 2category
(
NNO in a 2category(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 2category
(
NNO in a 2category(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
2internal firstorder logic
(
2internal firstorder logic(rev # 6)

history
)
by
Mike Shulman
at February 13, 2009 at 03:35:28
internal logic of a 2category
(
internal logic of a 2category(rev # 1)

history
)
by
Mike Shulman
at February 13, 2009 at 03:35:03
exponentials in 2categories
(
exponentials in 2categories(rev # 3)

history
)
by
Mike Shulman
at February 13, 2009 at 03:34:27
exponentials in a 2category
(
exponentials in a 2category(rev # 1)

history
)
by
Mike Shulman
at February 13, 2009 at 03:34:14
2categorical logic
(
2categorical 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
2categorical logic
(
2categorical logic(rev # 16)

history
)
by
Mike Shulman
at February 13, 2009 at 03:02:33
2internal firstorder logic
(
2internal firstorder 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 2categories
(
exponentials in 2categories(rev # 2)

history
)
by
Mike Shulman
at February 11, 2009 at 07:11:58
axiom of 2choice
(
axiom of 2choice(rev # 3)

history
)
by
Mike Shulman
at February 11, 2009 at 06:41:19
2categorical logic
(
2categorical logic(rev # 15)

history
)
by
Mike Shulman
at February 11, 2009 at 06:34:17
2internal firstorder logic
(
2internal firstorder logic(rev # 4)

history
)
by
Mike Shulman
at February 11, 2009 at 06:32:03
« Previous
1
2
3
4
5
6
Next »