Michael Shulman
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

fibrational slice
(
fibrational slice(rev # 16)

history
)
by
Mike Shulman
at January 24, 2019 at 11:51:34
categories of variables
(
categories of variables(rev # 5)

history
)
by
Mike Shulman
at November 7, 2018 at 15:03:59
categories of variables
(
categories of variables(rev # 4)

history
)
by
Mike Shulman
at November 6, 2018 at 23:43:29
categories of variables
(
categories of variables(rev # 3)

history
)
by
Mike Shulman
at November 6, 2018 at 15:59:54
categories of variables
(
categories of variables(rev # 2)

history
)
by
Mike Shulman
at November 6, 2018 at 14:14:42
categories of variables
(
categories of variables(rev # 1)

history
)
by
Mike Shulman
at November 6, 2018 at 13:34:50
closed category
(
closed category(rev # 3)

history
)
by
Mike Shulman
at May 31, 2018 at 18:30:48
closed category
(
closed category(rev # 2)

history
)
by
Mike Shulman
at May 29, 2018 at 05:00:11
closed category
(
closed category(rev # 1)

history
)
by
Mike Shulman
at May 28, 2018 at 05:53:16
exponentials in a 2category
(
exponentials in a 2category(rev # 20)

history
)
by
Mike Shulman
at April 17, 2018 at 12:21:31
Sandbox
(
Sandbox(rev # 2)

history
)
by
Mike Shulman
at February 3, 2018 at 22:57:12
Sandbox
(
Sandbox(rev # 1)

history
)
by
Mike Shulman
at January 23, 2018 at 17:27:05
stack semantics
(
stack semantics(rev # 11)

history
)
by
Mike Shulman
at May 30, 2017 at 00:23:27
exponentials in a 2category
(
exponentials in a 2category(rev # 19)

history
)
by
Mike Shulman
at July 30, 2016 at 23: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 2choice
(
axiom of 2choice(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
2categorical logic
(
2categorical logic(rev # 40)

history
)
by
Andrew Stacey
?
at June 12, 2012 at 11:10:00
What is a 2topos
(
What is a 2topos(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 2category
(
exact 2category(rev # 5)

history
)
by
Andrew Stacey
?
at June 12, 2012 at 11:10:00
2pretopos
(
2pretopos(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 npretopos
(
colimits in an npretopos(rev # 14)

history
)
by
Andrew Stacey
?
at June 12, 2012 at 11:10:00
truncated 2topos
(
truncated 2topos(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
2quasitopos
(
2quasitopos(rev # 9)

history
)
by
Andrew Stacey
?
at June 12, 2012 at 11:10:00
2Giraud theorem
(
2Giraud 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
2categorical logic
(
2categorical logic(rev # 41)

history
)
by
Andrew Stacey
?
at June 12, 2012 at 11:10:00
What is a 2topos
(
What is a 2topos(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 2category
(
exact 2category(rev # 6)

history
)
by
Andrew Stacey
?
at June 12, 2012 at 11:10:00
2pretopos
(
2pretopos(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 npretopos
(
colimits in an npretopos(rev # 15)

history
)
by
Andrew Stacey
?
at June 12, 2012 at 11:10:00
truncated 2topos
(
truncated 2topos(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
2quasitopos
(
2quasitopos(rev # 10)

history
)
by
Andrew Stacey
?
at June 12, 2012 at 11:10:00
2Giraud theorem
(
2Giraud 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 2topos
(
What is a 2topos(rev # 17)

history
)
by
Anonymous Coward
?
at June 12, 2012 at 01:46:40
colimits in an npretopos
(
colimits in an npretopos(rev # 13)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:26:55
category of all sets
(
category of all sets(rev # 31)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:26:48
2Giraud theorem
(
2Giraud theorem(rev # 5)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:20:21
exact 2category
(
exact 2category(rev # 4)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:19:45
truncated 2topos
(
truncated 2topos(rev # 9)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:17:45
2categorical logic
(
2categorical logic(rev # 39)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:16:39
size structure
(
size structure(rev # 2)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:16:27
discrete object
(
discrete object(rev # 10)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:12:55
stack semantics
(
stack semantics(rev # 7)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:10:22
2pretopos
(
2pretopos(rev # 12)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:10:15
2quasitopos
(
2quasitopos(rev # 8)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:09:36
duality involution
(
duality involution(rev # 14)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:08:53
fibrational slice
(
fibrational slice(rev # 11)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:08:46
exactness hypothesis
(
exactness hypothesis(rev # 12)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:07:42
comprehensive factorization
(
comprehensive factorization(rev # 16)

history
)
by
Anonymous Coward
?
at June 11, 2012 at 22:07:38
HomePage
(
HomePage(rev # 14)

history
)
by
Anonymous Coward
?
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
2quasitopos
(
2quasitopos(rev # 7)

history
)
by
Andrew Stacey
?
at May 29, 2012 at 22:04:00
2pretopos
(
2pretopos(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
2categorical logic
(
2categorical logic(rev # 38)

history
)
by
Andrew Stacey
?
at May 29, 2012 at 22:04:00
2Giraud theorem
(
2Giraud 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 2topos
(
What is a 2topos(rev # 16)

history
)
by
Andrew Stacey
?
at May 29, 2012 at 22:04:00
definitional equality for 2logic
(
definitional equality for 2logic(rev # 6)

history
)
by
Andrew Stacey
?
at May 29, 2012 at 22:04:00
truncation in an exact 2category
(
truncation in an exact 2category(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 2topos
(
What is a 2topos(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
2categorical logic
(
2categorical 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
2pretopos
(
2pretopos(rev # 10)

history
)
by
Mike Shulman
at May 29, 2012 at 07:51:28
2quasitopos
(
2quasitopos(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 2logic
(
definitional equality for 2logic(rev # 5)

history
)
by
Mike Shulman
at May 29, 2012 at 07:50:46
truncation in an exact 2category
(
truncation in an exact 2category(rev # 11)

history
)
by
Mike Shulman
at May 29, 2012 at 07:50:43
2Giraud theorem
(
2Giraud theorem(rev # 3)

history
)
by
Mike Shulman
at May 29, 2012 at 07:49:02
truncation in an exact 2category
(
truncation in an exact 2category(rev # 10)

history
)
by
Mike Shulman
at May 29, 2012 at 00:59:05
definitional equality for 2logic
(
definitional equality for 2logic(rev # 4)

history
)
by
Mike Shulman
at May 29, 2012 at 00:59:00
« Previous
1
2
3
4
5
6
Next »