Michael Shulman
Latest Revisions
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
2-categorical logic
(
2-categorical logic(rev # 38)
|
history
)
by
Andrew Stacey
?
at May 29, 2012 at 22:04:00
2-Giraud theorem
(
2-Giraud theorem(rev # 4)
|
history
)
by
Andrew Stacey
?
at May 29, 2012 at 22:04:00
category of all sets
(
category of all sets(rev # 30)
|
history
)
by
Andrew Stacey
?
at May 29, 2012 at 22:04:00
What is a 2-topos
(
What is a 2-topos(rev # 16)
|
history
)
by
Andrew Stacey
?
at May 29, 2012 at 22:04:00
definitional equality for 2-logic
(
definitional equality for 2-logic(rev # 6)
|
history
)
by
Andrew Stacey
?
at May 29, 2012 at 22:04:00
truncation in an exact 2-category
(
truncation in an exact 2-category(rev # 12)
|
history
)
by
Andrew Stacey
?
at May 29, 2012 at 22:04:00
HomePage
(
HomePage(rev # 11)
|
history
)
by
Mike Shulman
at May 29, 2012 at 07:51:59
What is a 2-topos
(
What is a 2-topos(rev # 15)
|
history
)
by
Mike Shulman
at May 29, 2012 at 07:51:35
category of all sets
(
category of all sets(rev # 29)
|
history
)
by
Mike Shulman
at May 29, 2012 at 07:51:35
2-categorical logic
(
2-categorical logic(rev # 37)
|
history
)
by
Mike Shulman
at May 29, 2012 at 07:51:31
discrete object
(
discrete object(rev # 8)
|
history
)
by
Mike Shulman
at May 29, 2012 at 07:51:30
2-pretopos
(
2-pretopos(rev # 10)
|
history
)
by
Mike Shulman
at May 29, 2012 at 07:51:28
2-quasitopos
(
2-quasitopos(rev # 6)
|
history
)
by
Mike Shulman
at May 29, 2012 at 07:51:27
Mike Shulman
(
Mike Shulman(rev # 3)
|
history
)
by
Mike Shulman
at May 29, 2012 at 07:51:26
comprehensive factorization
(
comprehensive factorization(rev # 14)
|
history
)
by
Mike Shulman
at May 29, 2012 at 07:51:21
exactness hypothesis
(
exactness hypothesis(rev # 10)
|
history
)
by
Mike Shulman
at May 29, 2012 at 07:51:19
definitional equality for 2-logic
(
definitional equality for 2-logic(rev # 5)
|
history
)
by
Mike Shulman
at May 29, 2012 at 07:50:46
truncation in an exact 2-category
(
truncation in an exact 2-category(rev # 11)
|
history
)
by
Mike Shulman
at May 29, 2012 at 07:50:43
2-Giraud theorem
(
2-Giraud theorem(rev # 3)
|
history
)
by
Mike Shulman
at May 29, 2012 at 07:49:02
truncation in an exact 2-category
(
truncation in an exact 2-category(rev # 10)
|
history
)
by
Mike Shulman
at May 29, 2012 at 00:59:05
definitional equality for 2-logic
(
definitional equality for 2-logic(rev # 4)
|
history
)
by
Mike Shulman
at May 29, 2012 at 00:59:00
What is a 2-topos
(
What is a 2-topos(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
2-Giraud theorem
(
2-Giraud theorem(rev # 2)
|
history
)
by
Mike Shulman
at May 29, 2012 at 00:56:13
2-categorical logic
(
2-categorical 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
2-pretopos
(
2-pretopos(rev # 9)
|
history
)
by
Mike Shulman
at May 29, 2012 at 00:50:58
2-quasitopos
(
2-quasitopos(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 2-topos
(
What is a 2-topos(rev # 13)
|
history
)
by
Tim Campion
?
at May 10, 2012 at 01:07:26
truncation in an exact 2-category
(
truncation in an exact 2-category(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 2-logic
(
definitional equality for 2-logic(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
2-quasitopos
(
2-quasitopos(rev # 4)
|
history
)
by
Andrew Stacey
?
at April 17, 2012 at 10:57:02
2-categorical logic
(
2-categorical logic(rev # 35)
|
history
)
by
Andrew Stacey
?
at April 17, 2012 at 10:56:19
What is a 2-topos
(
What is a 2-topos(rev # 12)
|
history
)
by
Andrew Stacey
?
at April 17, 2012 at 10:55:47
What is a 2-topos
(
What is a 2-topos(rev # 11)
|
history
)
by
Anonymous
at April 16, 2012 at 05:23:20
2-pretopos
(
2-pretopos(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 2-topos
(
What is a 2-topos(rev # 10)
|
history
)
by
Anonymous
at April 10, 2012 at 13:53:22
truncation in an exact 2-category
(
truncation in an exact 2-category(rev # 8)
|
history
)
by
Anonymous
at April 10, 2012 at 13:53:03
stack semantics
(
stack semantics(rev # 5)
|
history
)
by
Anonymous
at April 10, 2012 at 13:52:38
exactness hypothesis
(
exactness hypothesis(rev # 7)
|
history
)
by
Anonymous
at April 10, 2012 at 13:52:14
duality involution
(
duality involution(rev # 12)
|
history
)
by
Anonymous
at April 10, 2012 at 13:51:48
discrete object
(
discrete object(rev # 5)
|
history
)
by
Anonymous
at April 10, 2012 at 13:51:28
definitional equality for 2-logic
(
definitional equality for 2-logic(rev # 2)
|
history
)
by
Anonymous
at April 10, 2012 at 13:51:11
comprehensive factorization
(
comprehensive factorization(rev # 11)
|
history
)
by
Anonymous
at April 10, 2012 at 13:50:48
category of all sets
(
category of all sets(rev # 26)
|
history
)
by
Anonymous
at April 10, 2012 at 13:49:29
2-quasitopos
(
2-quasitopos(rev # 3)
|
history
)
by
Anonymous
at April 10, 2012 at 13:49:01
2-pretopos
(
2-pretopos(rev # 7)
|
history
)
by
Anonymous
at April 10, 2012 at 13:48:39
2-categorical logic
(
2-categorical logic(rev # 34)
|
history
)
by
Anonymous
at April 10, 2012 at 13:48:11
n-topos for large n
(
n-topos for large n(rev # 6)
|
history
)
by
Mike Shulman
at February 7, 2012 at 20:28:48
internal logic of a 2-category
(
internal logic of a 2-category(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 2-choice
(
axiom of 2-choice(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 2-logic
(
adjunctions in 2-logic(rev # 1)
|
history
)
by
Mike Shulman
at March 26, 2010 at 04:29:27
internal logic of a 2-category
(
internal logic of a 2-category(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
2-categorical logic
(
2-categorical 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
2-categorical logic
(
2-categorical logic(rev # 32)
|
history
)
by
Mike Shulman
at March 20, 2010 at 11:08:35
internal logic of a 2-category
(
internal logic of a 2-category(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 2-category
(
truncation in an exact 2-category(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
2-quasitopos
(
2-quasitopos(rev # 2)
|
history
)
by
Mike Shulman
at March 10, 2010 at 23:45:37
2-quasitopos
(
2-quasitopos(rev # 1)
|
history
)
by
Mike Shulman
at March 10, 2010 at 22:30:31
truncation in an exact 2-category
(
truncation in an exact 2-category(rev # 6)
|
history
)
by
Mike Shulman
at March 10, 2010 at 22:29:49
2-categorical logic
(
2-categorical logic(rev # 31)
|
history
)
by
Mike Shulman
at March 10, 2010 at 21:35:04
internal logic of a 2-category
(
internal logic of a 2-category(rev # 12)
|
history
)
by
Mike Shulman
at March 10, 2010 at 21:34:25
internal logic of a 2-category
(
internal logic of a 2-category(rev # 11)
|
history
)
by
Mike Shulman
at March 10, 2010 at 20:53:37
definitional equality for 2-logic
(
definitional equality for 2-logic(rev # 1)
|
history
)
by
Mike Shulman
at March 10, 2010 at 20:34:51
2-categorical logic
(
2-categorical logic(rev # 30)
|
history
)
by
Mike Shulman
at March 10, 2010 at 20:34:35
product types in a 2-category
by
Mike Shulman
at March 10, 2010 at 20:09:37
2-pretopos
(
2-pretopos(rev # 6)
|
history
)
by
Mike Shulman
at March 10, 2010 at 20:04:53
truncated 2-topos
(
truncated 2-topos(rev # 8)
|
history
)
by
Mike Shulman
at March 10, 2010 at 20:03:54
2-site
(
2-site(rev # 6)
|
history
)
by
Mike Shulman
at March 10, 2010 at 20:02:49
2-Giraud theorem
(
2-Giraud theorem(rev # 1)
|
history
)
by
Mike Shulman
at March 10, 2010 at 20:02:06
« Previous
1
2
3
4
5
6
Next »