Michael Shulman
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

exponentials in 2categories
(
exponentials in 2categories(rev # 1)

history
)
by
Mike Shulman
at February 11, 2009 at 05:33:35
2categorical logic
(
2categorical logic(rev # 14)

history
)
by
Mike Shulman
at February 11, 2009 at 05:25:30
exactness hypothesis
(
exactness hypothesis(rev # 2)

history
)
by
Mike Shulman
at February 10, 2009 at 22:35:34
NNO in a 2category
(
NNO in a 2category(rev # 1)

history
)
by
Mike Shulman
at February 10, 2009 at 03:03:51
2categorical logic
(
2categorical logic(rev # 13)

history
)
by
Mike Shulman
at February 10, 2009 at 03:00:24
comprehensive factorization
(
comprehensive factorization(rev # 3)

history
)
by
Mike Shulman
at February 7, 2009 at 06:44:36
truncation in an exact 2category
(
truncation in an exact 2category(rev # 4)

history
)
by
Mike Shulman
at February 7, 2009 at 06:42:32
exact completion of a 2category
(
exact completion of a 2category(rev # 8)

history
)
by
Mike Shulman
at February 6, 2009 at 05:34:31
exact completion of a 2category
(
exact completion of a 2category(rev # 7)

history
)
by
Mike Shulman
at February 6, 2009 at 03:03:11
2categorical logic
(
2categorical logic(rev # 12)

history
)
by
Mike Shulman
at February 5, 2009 at 20:26:08
2categorical logic
(
2categorical logic(rev # 11)

history
)
by
Mike Shulman
at February 5, 2009 at 05:07:29
classifying discrete opfibration
(
classifying discrete opfibration(rev # 1)

history
)
by
Mike Shulman
at February 5, 2009 at 05:07:03
exact completion of a 2category
(
exact completion of a 2category(rev # 6)

history
)
by
Mike Shulman
at February 5, 2009 at 04:56:51
comprehensive factorization
(
comprehensive factorization(rev # 2)

history
)
by
Mike Shulman
at February 5, 2009 at 04:55:52
opposites in an exact 2category
(
opposites in an exact 2category(rev # 2)

history
)
by
Mike Shulman
at February 5, 2009 at 04:53:24
exact completion of a 2category
(
exact completion of a 2category(rev # 5)

history
)
by
Mike Shulman
at February 5, 2009 at 03:50:54
core
(
core(rev # 3)

history
)
by
Mike Shulman
at February 5, 2009 at 03:49:45
2congruence
(
2congruence(rev # 6)

history
)
by
Mike Shulman
at February 5, 2009 at 02:14:53
2internal firstorder logic
(
2internal firstorder logic(rev # 3)

history
)
by
Mike Shulman
at February 4, 2009 at 22:55:58
2internal firstorder logic
(
2internal firstorder logic(rev # 2)

history
)
by
Mike Shulman
at February 4, 2009 at 21:29:52
exact completion of a 2category
(
exact completion of a 2category(rev # 4)

history
)
by
Mike Shulman
at February 4, 2009 at 20:59:35
2congruence
(
2congruence(rev # 5)

history
)
by
Mike Shulman
at February 4, 2009 at 17:59:23
exact completion of a 2category
(
exact completion of a 2category(rev # 3)

history
)
by
Mike Shulman
at February 4, 2009 at 17:54:08
exact completion of a 2category
(
exact completion of a 2category(rev # 2)

history
)
by
Mike Shulman
at February 4, 2009 at 06:57:26
full morphism
(
full morphism(rev # 2)

history
)
by
Mike Shulman
at February 4, 2009 at 04:00:47
full morphism
(
full morphism(rev # 1)

history
)
by
Mike Shulman
at February 4, 2009 at 02:39:21
2categorical logic
(
2categorical logic(rev # 10)

history
)
by
Mike Shulman
at February 3, 2009 at 22:14:41
regular 2category
(
regular 2category(rev # 6)

history
)
by
Mike Shulman
at February 3, 2009 at 20:46:42
exactness hypothesis
(
exactness hypothesis(rev # 1)

history
)
by
Mike Shulman
at February 3, 2009 at 17:14:31
HomePage
(
HomePage(rev # 5)

history
)
by
Mike Shulman
at February 3, 2009 at 16:38:47
2internal firstorder logic
(
2internal firstorder logic(rev # 1)

history
)
by
Mike Shulman
at February 3, 2009 at 04:08:48
fibrational slice
(
fibrational slice(rev # 2)

history
)
by
Mike Shulman
at February 3, 2009 at 01:13:55
comprehensive factorization
(
comprehensive factorization(rev # 1)

history
)
by
Mike Shulman
at February 2, 2009 at 20:19:45
2categorical logic
(
2categorical logic(rev # 9)

history
)
by
Mike Shulman
at February 2, 2009 at 20:06:08
balancedness in npretoposes
(
balancedness in npretoposes(rev # 3)

history
)
by
Mike Shulman
at February 2, 2009 at 19:57:50
core
(
core(rev # 2)

history
)
by
Mike Shulman
at February 2, 2009 at 19:55:02
balancedness in npretoposes
(
balancedness in npretoposes(rev # 2)

history
)
by
Mike Shulman
at January 31, 2009 at 21:17:58
balancedness in npretoposes
(
balancedness in npretoposes(rev # 1)

history
)
by
Mike Shulman
at January 31, 2009 at 20:42:18
2categorical logic
(
2categorical logic(rev # 8)

history
)
by
Mike Shulman
at January 31, 2009 at 19:52:07
axiom of 2choice
(
axiom of 2choice(rev # 2)

history
)
by
Mike Shulman
at January 31, 2009 at 18:46:26
truncation in an exact 2category
(
truncation in an exact 2category(rev # 3)

history
)
by
Mike Shulman
at January 30, 2009 at 20:30:18
2polycongruence
by
Mike Shulman
at January 30, 2009 at 20:15:44
posetal object
(
posetal object(rev # 3)

history
)
by
Mike Shulman
at January 30, 2009 at 20:10:20
groupoidal object
(
groupoidal object(rev # 3)

history
)
by
Mike Shulman
at January 30, 2009 at 20:09:52
discrete object
(
discrete object(rev # 4)

history
)
by
Mike Shulman
at January 30, 2009 at 20:05:58
truncated object
(
truncated object(rev # 1)

history
)
by
Mike Shulman
at January 30, 2009 at 20:03:28
axiom of 2choice
(
axiom of 2choice(rev # 1)

history
)
by
Mike Shulman
at January 30, 2009 at 19:45:53
2categorical logic
(
2categorical logic(rev # 7)

history
)
by
Mike Shulman
at January 30, 2009 at 19:09:30
Grothendieck 2topos
(
Grothendieck 2topos(rev # 4)

history
)
by
Mike Shulman
at January 30, 2009 at 08:07:00
2pretopos
(
2pretopos(rev # 3)

history
)
by
Mike Shulman
at January 30, 2009 at 08:04:41
extensive 2category
(
extensive 2category(rev # 5)

history
)
by
Mike Shulman
at January 30, 2009 at 07:49:31
extensive 2category
(
extensive 2category(rev # 4)

history
)
by
Mike Shulman
at January 30, 2009 at 07:15:23
Grothendieck 2topos
(
Grothendieck 2topos(rev # 3)

history
)
by
Mike Shulman
at January 30, 2009 at 07:01:52
exact 2category
(
exact 2category(rev # 2)

history
)
by
Mike Shulman
at January 30, 2009 at 06:56:21
regular 2category
(
regular 2category(rev # 5)

history
)
by
Mike Shulman
at January 30, 2009 at 06:53:36
2congruence
(
2congruence(rev # 4)

history
)
by
Mike Shulman
at January 30, 2009 at 06:52:51
opposites in an exact 2category
(
opposites in an exact 2category(rev # 1)

history
)
by
Mike Shulman
at January 30, 2009 at 06:24:04
core
(
core(rev # 1)

history
)
by
Mike Shulman
at January 30, 2009 at 06:00:28
coherent 2category
(
coherent 2category(rev # 5)

history
)
by
Mike Shulman
at January 29, 2009 at 23:54:49
Heyting 2category
(
Heyting 2category(rev # 1)

history
)
by
Mike Shulman
at January 29, 2009 at 23:53:16
2pretopos
(
2pretopos(rev # 2)

history
)
by
Mike Shulman
at January 29, 2009 at 23:45:17
2categorical logic
(
2categorical logic(rev # 6)

history
)
by
Mike Shulman
at January 29, 2009 at 23:43:46
coherent 2category
(
coherent 2category(rev # 4)

history
)
by
Mike Shulman
at January 29, 2009 at 05:32:15
ncongruence
(
ncongruence(rev # 2)

history
)
by
Mike Shulman
at January 29, 2009 at 05:05:56
extensive 2category
(
extensive 2category(rev # 3)

history
)
by
Mike Shulman
at January 29, 2009 at 04:49:53
2categorical logic
(
2categorical logic(rev # 5)

history
)
by
Mike Shulman
at January 29, 2009 at 02:08:30
Grothendieck 2topos
(
Grothendieck 2topos(rev # 2)

history
)
by
Mike Shulman
at January 29, 2009 at 02:03:40
2pretopos
(
2pretopos(rev # 1)

history
)
by
Mike Shulman
at January 29, 2009 at 02:02:34
coherent 2category
(
coherent 2category(rev # 3)

history
)
by
Mike Shulman
at January 29, 2009 at 01:58:34
regular 2category
(
regular 2category(rev # 4)

history
)
by
Mike Shulman
at January 29, 2009 at 01:56:57
StreetCBS
(
StreetCBS(rev # 3)

history
)
by
Mike Shulman
at January 29, 2009 at 01:40:15
What is a 2topos
(
What is a 2topos(rev # 5)

history
)
by
Mike Shulman
at January 29, 2009 at 01:38:31
2congruence
(
2congruence(rev # 3)

history
)
by
Mike Shulman
at January 29, 2009 at 01:27:58
extensive 2category
(
extensive 2category(rev # 2)

history
)
by
Mike Shulman
at January 29, 2009 at 01:27:26
exact 2category
(
exact 2category(rev # 1)

history
)
by
Mike Shulman
at January 29, 2009 at 01:24:27
truncation in an exact 2category
(
truncation in an exact 2category(rev # 2)

history
)
by
Mike Shulman
at January 29, 2009 at 01:23:18
ncongruence
(
ncongruence(rev # 1)

history
)
by
Mike Shulman
at January 29, 2009 at 01:22:55
exact completion of a 2category
(
exact completion of a 2category(rev # 1)

history
)
by
Mike Shulman
at January 29, 2009 at 00:50:46
truncation in an exact 2category
(
truncation in an exact 2category(rev # 1)

history
)
by
Mike Shulman
at January 29, 2009 at 00:48:49
2congruence
(
2congruence(rev # 2)

history
)
by
Mike Shulman
at January 28, 2009 at 23:11:54
regular 2category
(
regular 2category(rev # 3)

history
)
by
Mike Shulman
at January 28, 2009 at 22:31:45
regular 2category
(
regular 2category(rev # 2)

history
)
by
Mike Shulman
at January 28, 2009 at 02:53:23
2categorical logic
(
2categorical logic(rev # 4)

history
)
by
Mike Shulman
at January 27, 2009 at 19:26:30
coherent 2category
(
coherent 2category(rev # 2)

history
)
by
Mike Shulman
at January 27, 2009 at 19:24:00
2congruence
(
2congruence(rev # 1)

history
)
by
Mike Shulman
at January 27, 2009 at 19:22:09
discrete object
(
discrete object(rev # 3)

history
)
by
Mike Shulman
at January 27, 2009 at 18:56:05
2categorical logic
(
2categorical logic(rev # 3)

history
)
by
Mike Shulman
at January 27, 2009 at 17:21:36
posetal object
(
posetal object(rev # 2)

history
)
by
Mike Shulman
at January 27, 2009 at 17:16:41
groupoidal object
(
groupoidal object(rev # 2)

history
)
by
Mike Shulman
at January 27, 2009 at 17:16:08
discrete object
(
discrete object(rev # 2)

history
)
by
Mike Shulman
at January 27, 2009 at 17:15:25
extensive 2category
(
extensive 2category(rev # 1)

history
)
by
Mike Shulman
at January 27, 2009 at 17:13:27
coherent 2category
(
coherent 2category(rev # 1)

history
)
by
Mike Shulman
at January 27, 2009 at 17:07:49
What is a 2topos
(
What is a 2topos(rev # 4)

history
)
by
Mike Shulman
at January 27, 2009 at 16:48:34
StreetCBS
(
StreetCBS(rev # 2)

history
)
by
Mike Shulman
at January 27, 2009 at 16:45:28
Grothendieck 2topos
(
Grothendieck 2topos(rev # 1)

history
)
by
Mike Shulman
at January 27, 2009 at 16:43:51
What is a 2topos
(
What is a 2topos(rev # 3)

history
)
by
Mike Shulman
at January 27, 2009 at 04:15:22
fibrational slice
(
fibrational slice(rev # 1)

history
)
by
Mike Shulman
at January 27, 2009 at 04:06:44
regular 2category
(
regular 2category(rev # 1)

history
)
by
Mike Shulman
at January 27, 2009 at 04:04:54
posetal object
(
posetal object(rev # 1)

history
)
by
Mike Shulman
at January 27, 2009 at 04:04:12
groupoidal object
(
groupoidal object(rev # 1)

history
)
by
Mike Shulman
at January 27, 2009 at 04:00:32
« Previous
1
2
3
4
5
6
Next »