Michael Shulman
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

definitional equality for 2logic
(
definitional equality for 2logic(rev # 4)

history
)
by
Mike Shulman
at May 29, 2012 at 00:59:00
What is a 2topos
(
What is a 2topos(rev # 14)

history
)
by
Mike Shulman
at May 29, 2012 at 00:58:55
category of all sets
(
category of all sets(rev # 28)

history
)
by
Mike Shulman
at May 29, 2012 at 00:56:29
2Giraud theorem
(
2Giraud theorem(rev # 2)

history
)
by
Mike Shulman
at May 29, 2012 at 00:56:13
2categorical logic
(
2categorical logic(rev # 36)

history
)
by
Mike Shulman
at May 29, 2012 at 00:51:56
discrete object
(
discrete object(rev # 7)

history
)
by
Mike Shulman
at May 29, 2012 at 00:51:04
2pretopos
(
2pretopos(rev # 9)

history
)
by
Mike Shulman
at May 29, 2012 at 00:50:58
2quasitopos
(
2quasitopos(rev # 5)

history
)
by
Mike Shulman
at May 29, 2012 at 00:50:55
Mike Shulman
(
Mike Shulman(rev # 2)

history
)
by
Mike Shulman
at May 29, 2012 at 00:42:03
HomePage
(
HomePage(rev # 10)

history
)
by
Mike Shulman
at May 29, 2012 at 00:41:36
exactness hypothesis
(
exactness hypothesis(rev # 9)

history
)
by
Mike Shulman
at May 29, 2012 at 00:41:24
comprehensive factorization
(
comprehensive factorization(rev # 13)

history
)
by
Mike Shulman
at May 29, 2012 at 00:41:14
HomePage
(
HomePage(rev # 9)

history
)
by
Andrew Stacey
?
at May 29, 2012 at 00:39:43
What is a 2topos
(
What is a 2topos(rev # 13)

history
)
by
Tim Campion
?
at May 10, 2012 at 01:07:26
truncation in an exact 2category
(
truncation in an exact 2category(rev # 9)

history
)
by
Andrew Stacey
?
at April 17, 2012 at 11:01:48
stack semantics
(
stack semantics(rev # 6)

history
)
by
Andrew Stacey
?
at April 17, 2012 at 11:01:12
exactness hypothesis
(
exactness hypothesis(rev # 8)

history
)
by
Andrew Stacey
?
at April 17, 2012 at 11:00:37
discrete object
(
discrete object(rev # 6)

history
)
by
Andrew Stacey
?
at April 17, 2012 at 11:00:04
definitional equality for 2logic
(
definitional equality for 2logic(rev # 3)

history
)
by
Andrew Stacey
?
at April 17, 2012 at 10:59:39
comprehensive factorization
(
comprehensive factorization(rev # 12)

history
)
by
Andrew Stacey
?
at April 17, 2012 at 10:59:10
category of all sets
(
category of all sets(rev # 27)

history
)
by
Andrew Stacey
?
at April 17, 2012 at 10:57:45
2quasitopos
(
2quasitopos(rev # 4)

history
)
by
Andrew Stacey
?
at April 17, 2012 at 10:57:02
2categorical logic
(
2categorical logic(rev # 35)

history
)
by
Andrew Stacey
?
at April 17, 2012 at 10:56:19
What is a 2topos
(
What is a 2topos(rev # 12)

history
)
by
Andrew Stacey
?
at April 17, 2012 at 10:55:47
What is a 2topos
(
What is a 2topos(rev # 11)

history
)
by
Anonymous Coward
?
at April 16, 2012 at 05:23:20
2pretopos
(
2pretopos(rev # 8)

history
)
by
Mike Shulman
at April 13, 2012 at 20:36:57
duality involution
(
duality involution(rev # 13)

history
)
by
Mike Shulman
at April 13, 2012 at 20:36:32
What is a 2topos
(
What is a 2topos(rev # 10)

history
)
by
Anonymous Coward
?
at April 10, 2012 at 13:53:22
truncation in an exact 2category
(
truncation in an exact 2category(rev # 8)

history
)
by
Anonymous Coward
?
at April 10, 2012 at 13:53:03
stack semantics
(
stack semantics(rev # 5)

history
)
by
Anonymous Coward
?
at April 10, 2012 at 13:52:38
exactness hypothesis
(
exactness hypothesis(rev # 7)

history
)
by
Anonymous Coward
?
at April 10, 2012 at 13:52:14
duality involution
(
duality involution(rev # 12)

history
)
by
Anonymous Coward
?
at April 10, 2012 at 13:51:48
discrete object
(
discrete object(rev # 5)

history
)
by
Anonymous Coward
?
at April 10, 2012 at 13:51:28
definitional equality for 2logic
(
definitional equality for 2logic(rev # 2)

history
)
by
Anonymous Coward
?
at April 10, 2012 at 13:51:11
comprehensive factorization
(
comprehensive factorization(rev # 11)

history
)
by
Anonymous Coward
?
at April 10, 2012 at 13:50:48
category of all sets
(
category of all sets(rev # 26)

history
)
by
Anonymous Coward
?
at April 10, 2012 at 13:49:29
2quasitopos
(
2quasitopos(rev # 3)

history
)
by
Anonymous Coward
?
at April 10, 2012 at 13:49:01
2pretopos
(
2pretopos(rev # 7)

history
)
by
Anonymous Coward
?
at April 10, 2012 at 13:48:39
2categorical logic
(
2categorical logic(rev # 34)

history
)
by
Anonymous Coward
?
at April 10, 2012 at 13:48:11
ntopos for large n
(
ntopos for large n(rev # 6)

history
)
by
Mike Shulman
at February 7, 2012 at 20:28:48
internal logic of a 2category
(
internal logic of a 2category(rev # 15)

history
)
by
Mike Shulman
at May 31, 2011 at 16:22:43
functor comprehension principle
(
functor comprehension principle(rev # 4)

history
)
by
Mike Shulman
at May 31, 2011 at 16:22:20
axiom of 2choice
(
axiom of 2choice(rev # 4)

history
)
by
Toby Bartels
?
at March 17, 2011 at 19:20:23
exactness hypothesis
(
exactness hypothesis(rev # 6)

history
)
by
Urs Schreiber
?
at October 6, 2010 at 22:53:59
full morphism
(
full morphism(rev # 8)

history
)
by
Jamie Vicary
?
at July 21, 2010 at 13:08:28
stack semantics
(
stack semantics(rev # 4)

history
)
by
Mike Shulman
at April 23, 2010 at 00:57:35
header size test
(
header size test(rev # 4)

history
)
by
Mike Shulman
at April 12, 2010 at 19:18:32
adjunctions in 2logic
by
Mike Shulman
at March 26, 2010 at 04:29:27
internal logic of a 2category
(
internal logic of a 2category(rev # 14)

history
)
by
Mike Shulman
at March 26, 2010 at 04:20:39
functor comprehension principle
(
functor comprehension principle(rev # 3)

history
)
by
Mike Shulman
at March 24, 2010 at 22:39:11
functor comprehension principle
(
functor comprehension principle(rev # 2)

history
)
by
Mike Shulman
at March 24, 2010 at 19:57:40
2categorical logic
(
2categorical logic(rev # 33)

history
)
by
Mike Shulman
at March 24, 2010 at 19:51:21
full morphism
(
full morphism(rev # 7)

history
)
by
Mike Shulman
at March 24, 2010 at 19:42:31
full morphism
(
full morphism(rev # 6)

history
)
by
Mike Shulman
at March 24, 2010 at 16:01:18
stack semantics
(
stack semantics(rev # 3)

history
)
by
Mike Shulman
at March 23, 2010 at 06:29:45
functor comprehension principle
(
functor comprehension principle(rev # 1)

history
)
by
Mike Shulman
at March 20, 2010 at 11:28:24
2categorical logic
(
2categorical logic(rev # 32)

history
)
by
Mike Shulman
at March 20, 2010 at 11:08:35
internal logic of a 2category
(
internal logic of a 2category(rev # 13)

history
)
by
Mike Shulman
at March 20, 2010 at 11:07:38
categorified logic
(
categorified logic(rev # 7)

history
)
by
Toby Bartels
?
at March 19, 2010 at 20:11:01
stack semantics
(
stack semantics(rev # 2)

history
)
by
Mike Shulman
at March 18, 2010 at 20:55:23
stack semantics
(
stack semantics(rev # 1)

history
)
by
Mike Shulman
at March 18, 2010 at 05:46:16
HomePage
(
HomePage(rev # 8)

history
)
by
Mike Shulman
at March 18, 2010 at 05:16:10
full morphism
(
full morphism(rev # 5)

history
)
by
Mike Shulman
at March 17, 2010 at 15:30:20
truncation in an exact 2category
(
truncation in an exact 2category(rev # 7)

history
)
by
Mike Shulman
at March 17, 2010 at 15:29:28
categorified logic
(
categorified logic(rev # 6)

history
)
by
Bas Spitters
?
at March 12, 2010 at 20:48:28
classifying discrete opfibration
(
classifying discrete opfibration(rev # 13)

history
)
by
Mike Shulman
at March 11, 2010 at 02:32:11
classifying discrete opfibration
(
classifying discrete opfibration(rev # 12)

history
)
by
Mike Shulman
at March 11, 2010 at 01:42:01
2quasitopos
(
2quasitopos(rev # 2)

history
)
by
Mike Shulman
at March 10, 2010 at 23:45:37
2quasitopos
(
2quasitopos(rev # 1)

history
)
by
Mike Shulman
at March 10, 2010 at 22:30:31
truncation in an exact 2category
(
truncation in an exact 2category(rev # 6)

history
)
by
Mike Shulman
at March 10, 2010 at 22:29:49
2categorical logic
(
2categorical logic(rev # 31)

history
)
by
Mike Shulman
at March 10, 2010 at 21:35:04
internal logic of a 2category
(
internal logic of a 2category(rev # 12)

history
)
by
Mike Shulman
at March 10, 2010 at 21:34:25
internal logic of a 2category
(
internal logic of a 2category(rev # 11)

history
)
by
Mike Shulman
at March 10, 2010 at 20:53:37
definitional equality for 2logic
(
definitional equality for 2logic(rev # 1)

history
)
by
Mike Shulman
at March 10, 2010 at 20:34:51
2categorical logic
(
2categorical logic(rev # 30)

history
)
by
Mike Shulman
at March 10, 2010 at 20:34:35
product types in a 2category
by
Mike Shulman
at March 10, 2010 at 20:09:37
2pretopos
(
2pretopos(rev # 6)

history
)
by
Mike Shulman
at March 10, 2010 at 20:04:53
truncated 2topos
(
truncated 2topos(rev # 8)

history
)
by
Mike Shulman
at March 10, 2010 at 20:03:54
2site
(
2site(rev # 6)

history
)
by
Mike Shulman
at March 10, 2010 at 20:02:49
2Giraud theorem
(
2Giraud theorem(rev # 1)

history
)
by
Mike Shulman
at March 10, 2010 at 20:02:06
duality involution
(
duality involution(rev # 11)

history
)
by
Mike Shulman
at March 9, 2010 at 05:25:52
fibrational slice
(
fibrational slice(rev # 10)

history
)
by
Mike Shulman
at March 9, 2010 at 05:25:33
duality involution
(
duality involution(rev # 10)

history
)
by
Mike Shulman
at March 8, 2010 at 21:46:16
dependent types in a 2category
by
Mike Shulman
at March 2, 2010 at 01:17:30
internal logic of a 2category
(
internal logic of a 2category(rev # 10)

history
)
by
Mike Shulman
at March 2, 2010 at 01:17:09
2categorical logic
(
2categorical logic(rev # 29)

history
)
by
Mike Shulman
at March 2, 2010 at 01:03:01
2categorical logic
(
2categorical logic(rev # 28)

history
)
by
Mike Shulman
at March 1, 2010 at 22:41:26
internal logic of a 2category
(
internal logic of a 2category(rev # 9)

history
)
by
Mike Shulman
at March 1, 2010 at 22:24:47
internal logic of a 2category
(
internal logic of a 2category(rev # 8)

history
)
by
Mike Shulman
at March 1, 2010 at 21:14:36
functorially dependent types
(
functorially dependent types(rev # 3)

history
)
by
Mike Shulman
at March 1, 2010 at 20:46:13
internal logic of a 2category
(
internal logic of a 2category(rev # 7)

history
)
by
Mike Shulman
at March 1, 2010 at 03:14:15
internal logic of a 2category
(
internal logic of a 2category(rev # 6)

history
)
by
Mike Shulman
at February 28, 2010 at 08:39:23
functorially dependent types
(
functorially dependent types(rev # 2)

history
)
by
Mike Shulman
at February 26, 2010 at 22:31:27
2categorical logic
(
2categorical logic(rev # 27)

history
)
by
Mike Shulman
at February 26, 2010 at 22:31:21
internal logic of a 2category
(
internal logic of a 2category(rev # 5)

history
)
by
Mike Shulman
at February 26, 2010 at 22:29:27
functorially dependent types
(
functorially dependent types(rev # 1)

history
)
by
Mike Shulman
at February 26, 2010 at 21:44:41
2categorical logic
(
2categorical logic(rev # 26)

history
)
by
Mike Shulman
at February 26, 2010 at 21:03:11
regular 2categories and choice
(
regular 2categories and choice(rev # 3)

history
)
by
David Roberts
?
at February 19, 2010 at 06:21:58
classifying discrete opfibration
(
classifying discrete opfibration(rev # 11)

history
)
by
Mike Shulman
at January 22, 2010 at 20:13:31
2categorical logic collated
by
Mike Shulman
at January 22, 2010 at 20:06:43
« Previous
1
2
3
4
5
6
Next »