Spahn
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

reflective subcategory of a topos
(
reflective subcategory of a topos(rev # 11)

history
)
by
Stephan Alexander Spahn
?
at December 9, 2012 at 22:49:44
étale topos
(
étale topos(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at December 9, 2012 at 22:40:43
Segal condition
(
Segal condition(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at December 9, 2012 at 22:23:49
étale topos
(
étale topos(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at December 9, 2012 at 20:14:09
reflective subcategory of a topos
(
reflective subcategory of a topos(rev # 10)

history
)
by
Stephan Alexander Spahn
?
at December 9, 2012 at 18:22:30
Ad(K)
by
Stephan Alexander Spahn
?
at December 9, 2012 at 17:17:16
reflective subcategory of a topos
(
reflective subcategory of a topos(rev # 9)

history
)
by
Stephan Alexander Spahn
?
at December 9, 2012 at 16:28:38
reflective subcategory of a topos
(
reflective subcategory of a topos(rev # 8)

history
)
by
Stephan Alexander Spahn
?
at December 9, 2012 at 03:53:22
reflective subcategory of a topos
(
reflective subcategory of a topos(rev # 7)

history
)
by
Stephan Alexander Spahn
?
at December 8, 2012 at 23:09:50
reflective subcategory of a topos
(
reflective subcategory of a topos(rev # 6)

history
)
by
Stephan Alexander Spahn
?
at December 8, 2012 at 20:58:15
reflective subcategory of a topos
(
reflective subcategory of a topos(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at December 8, 2012 at 19:52:05
reflective subcategory of a topos
(
reflective subcategory of a topos(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at December 8, 2012 at 17:29:57
reflective subcategory of a topos
(
reflective subcategory of a topos(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at December 8, 2012 at 04:55:11
reflective subcategory of a topos
(
reflective subcategory of a topos(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at December 8, 2012 at 04:01:53
reflective subcategory of a topos
(
reflective subcategory of a topos(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 8, 2012 at 01:53:56
total category
by
Stephan Alexander Spahn
?
at December 8, 2012 at 01:39:42
étale topos
(
étale topos(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 7, 2012 at 04:21:22
LawvereTierney operator
by
Stephan Alexander Spahn
?
at December 6, 2012 at 05:21:05
ngram
by
Stephan Alexander Spahn
?
at December 6, 2012 at 04:29:06
étale types
(
étale types(rev # 14)

history
)
by
Stephan Alexander Spahn
?
at December 6, 2012 at 01:41:12
étale types
(
étale types(rev # 13)

history
)
by
Stephan Alexander Spahn
?
at December 6, 2012 at 00:40:26
étale types
(
étale types(rev # 12)

history
)
by
Stephan Alexander Spahn
?
at December 5, 2012 at 01:14:55
étale types
(
étale types(rev # 11)

history
)
by
Stephan Alexander Spahn
?
at December 5, 2012 at 00:26:40
étale types
(
étale types(rev # 10)

history
)
by
Stephan Alexander Spahn
?
at December 4, 2012 at 23:24:12
internal formulation of cohesion
(
internal formulation of cohesion(rev # 17)

history
)
by
Stephan Alexander Spahn
?
at December 4, 2012 at 23:18:34
étale types
(
étale types(rev # 9)

history
)
by
Stephan Alexander Spahn
?
at December 4, 2012 at 03:23:42
étale types
(
étale types(rev # 8)

history
)
by
Stephan Alexander Spahn
?
at December 4, 2012 at 02:20:13
étale types
(
étale types(rev # 7)

history
)
by
Stephan Alexander Spahn
?
at December 3, 2012 at 22:50:38
étale types
(
étale types(rev # 6)

history
)
by
Stephan Alexander Spahn
?
at December 3, 2012 at 21:52:22
étale types
(
étale types(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at December 3, 2012 at 21:17:19
étale types
(
étale types(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at December 3, 2012 at 20:33:03
étale types
(
étale types(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at December 3, 2012 at 16:57:04
étale types
(
étale types(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at December 3, 2012 at 13:51:43
Alexandre Miquel
by
Stephan Alexander Spahn
?
at December 3, 2012 at 13:12:22
étale types
(
étale types(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 3, 2012 at 12:25:15
Piclosure
(
Piclosure(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 23:46:24
Piclosure
(
Piclosure(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 21:31:15
Piclosure
(
Piclosure(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 18:48:25
factorization system
(
factorization system(rev # 7)

history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 18:28:30
Pifactorization system
(
Pifactorization system(rev # 7)

history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 18:27:35
factorization system
(
factorization system(rev # 6)

history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 17:33:00
factorization system
(
factorization system(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 15:59:53
factorization system
(
factorization system(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 04:53:03
Pifactorization system
(
Pifactorization system(rev # 6)

history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 04:30:32
Pifactorization system
(
Pifactorization system(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 03:50:34
Pifactorization system
(
Pifactorization system(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 03:18:21
factorization system
(
factorization system(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 02:50:04
Pifactorization system
(
Pifactorization system(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 01:48:23
Pifactorization system
(
Pifactorization system(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 00:41:37
Pifactorization system
(
Pifactorization system(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 1, 2012 at 20:29:50
factorization system
(
factorization system(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at December 1, 2012 at 20:15:50
factorization system
(
factorization system(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 1, 2012 at 06:00:30
HTT, A.2 model categories
(
HTT, A.2 model categories(rev # 19)

history
)
by
Stephan Alexander Spahn
?
at December 1, 2012 at 05:26:55
(n,1)category in Ho TT
by
Stephan Alexander Spahn
?
at December 1, 2012 at 05:18:02
classical lambda calculus in modern dress
(
classical lambda calculus in modern dress(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at December 1, 2012 at 00:50:42
internal formulation of cohesion
(
internal formulation of cohesion(rev # 16)

history
)
by
Stephan Alexander Spahn
?
at November 30, 2012 at 05:58:25
internal formulation of cohesion
(
internal formulation of cohesion(rev # 15)

history
)
by
Stephan Alexander Spahn
?
at November 30, 2012 at 03:56:40
internal formulation of cohesion
(
internal formulation of cohesion(rev # 14)

history
)
by
Stephan Alexander Spahn
?
at November 30, 2012 at 02:18:20
internal formulation of cohesion
(
internal formulation of cohesion(rev # 13)

history
)
by
Stephan Alexander Spahn
?
at November 29, 2012 at 23:52:08
internal formulation of cohesion
(
internal formulation of cohesion(rev # 12)

history
)
by
Stephan Alexander Spahn
?
at November 29, 2012 at 23:05:36
internal formulation of cohesion
(
internal formulation of cohesion(rev # 11)

history
)
by
Stephan Alexander Spahn
?
at November 29, 2012 at 20:22:05
internal formulation of cohesion
(
internal formulation of cohesion(rev # 10)

history
)
by
Stephan Alexander Spahn
?
at November 29, 2012 at 18:44:20
internal formulation of cohesion
(
internal formulation of cohesion(rev # 9)

history
)
by
Stephan Alexander Spahn
?
at November 29, 2012 at 17:47:07
homotopy type theory and Voevodsky's univalent foundations
by
Stephan Alexander Spahn
?
at November 29, 2012 at 16:35:36
dictionary Ho CTHo TT
(
dictionary Ho CTHo TT(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at November 29, 2012 at 15:58:13
Empty 952
by
Stephan Alexander Spahn
?
at November 29, 2012 at 15:07:19
heterogenous equality
by
Stephan Alexander Spahn
?
at November 29, 2012 at 14:03:20
classical lambda calculus in modern dress
(
classical lambda calculus in modern dress(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at November 29, 2012 at 04:58:50
classical lambda calculus in modern dress
(
classical lambda calculus in modern dress(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at November 29, 2012 at 03:07:33
classical lambda calculus in modern dress
(
classical lambda calculus in modern dress(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at November 29, 2012 at 01:41:52
classical lambda calculus in modern dress
(
classical lambda calculus in modern dress(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at November 29, 2012 at 00:45:23
setoid
by
Stephan Alexander Spahn
?
at November 28, 2012 at 01:23:48
a syntactical approach to weak omegagroupoids
by
Stephan Alexander Spahn
?
at November 28, 2012 at 01:23:07
infinitesimal cohesive type theory
(
infinitesimal cohesive type theory(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at November 26, 2012 at 23:44:20
infinitesimal cohesive type theory
(
infinitesimal cohesive type theory(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at November 26, 2012 at 22:43:27
internal formulation of cohesion
(
internal formulation of cohesion(rev # 8)

history
)
by
Stephan Alexander Spahn
?
at November 26, 2012 at 21:27:48
infinitesimal cohesive type theory
(
infinitesimal cohesive type theory(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at November 26, 2012 at 20:54:37
infinitesimal cohesive type theory
(
infinitesimal cohesive type theory(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at November 26, 2012 at 18:42:30
internal formulation of cohesion
(
internal formulation of cohesion(rev # 7)

history
)
by
Stephan Alexander Spahn
?
at November 26, 2012 at 18:37:07
infinitesimal cohesive type theory
(
infinitesimal cohesive type theory(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at November 26, 2012 at 16:08:43
internal formulation of cohesion
(
internal formulation of cohesion(rev # 6)

history
)
by
Stephan Alexander Spahn
?
at November 26, 2012 at 16:07:46
univalence axiom
by
Stephan Alexander Spahn
?
at November 26, 2012 at 15:31:18
Ho TTCoq  references
(
Ho TTCoq  references(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at November 25, 2012 at 17:44:04
Ho TTCoq  references
(
Ho TTCoq  references(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at November 24, 2012 at 21:42:58
Ho TTCoq  references
(
Ho TTCoq  references(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at November 24, 2012 at 21:08:34
internal formulation of cohesion
(
internal formulation of cohesion(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at November 24, 2012 at 20:54:40
internal formulation of cohesion
(
internal formulation of cohesion(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at November 22, 2012 at 19:31:36
internal formulation of cohesion
(
internal formulation of cohesion(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at November 21, 2012 at 22:29:04
internal formulation of cohesion
(
internal formulation of cohesion(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at November 21, 2012 at 15:20:10
Clemens Berger, A Cellular Nerve for Higher Categories
(
Clemens Berger, A Cellular Nerve for Higher Categories(rev # 13)

history
)
by
Stephan Alexander Spahn
?
at November 20, 2012 at 21:13:27
Clemens Berger, A Cellular Nerve for Higher Categories
(
Clemens Berger, A Cellular Nerve for Higher Categories(rev # 12)

history
)
by
Stephan Alexander Spahn
?
at November 20, 2012 at 16:16:55
Clemens Berger, A Cellular Nerve for Higher Categories
(
Clemens Berger, A Cellular Nerve for Higher Categories(rev # 11)

history
)
by
Stephan Alexander Spahn
?
at November 20, 2012 at 15:19:15
internal formulation of cohesion
(
internal formulation of cohesion(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at November 19, 2012 at 14:13:29
graph  references
by
Stephan Alexander Spahn
?
at November 19, 2012 at 13:20:56
Clemens Berger, A Cellular Nerve for Higher Categories
(
Clemens Berger, A Cellular Nerve for Higher Categories(rev # 10)

history
)
by
Stephan Alexander Spahn
?
at November 19, 2012 at 00:44:52
Clemens Berger, A Cellular Nerve for Higher Categories
(
Clemens Berger, A Cellular Nerve for Higher Categories(rev # 9)

history
)
by
Stephan Alexander Spahn
?
at November 19, 2012 at 00:07:16
Clemens Berger, A Cellular Nerve for Higher Categories
(
Clemens Berger, A Cellular Nerve for Higher Categories(rev # 8)

history
)
by
Stephan Alexander Spahn
?
at November 18, 2012 at 23:32:56
Clemens Berger, A Cellular Nerve for Higher Categories
(
Clemens Berger, A Cellular Nerve for Higher Categories(rev # 7)

history
)
by
Stephan Alexander Spahn
?
at November 18, 2012 at 22:40:32
Clemens Berger, A Cellular Nerve for Higher Categories
(
Clemens Berger, A Cellular Nerve for Higher Categories(rev # 6)

history
)
by
Stephan Alexander Spahn
?
at November 18, 2012 at 20:47:47
Clemens Berger, A Cellular Nerve for Higher Categories
(
Clemens Berger, A Cellular Nerve for Higher Categories(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at November 18, 2012 at 19:47:08
« Previous
1
2
3
4
5
6
7
Next »