Spahn
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

Monads and the BarrBeck Theorem
(
Monads and the BarrBeck Theorem(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at January 29, 2013 at 07:38:30
Monads and the BarrBeck Theorem
(
Monads and the BarrBeck Theorem(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at January 29, 2013 at 07:03:16
level in a topos
(
level in a topos(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at January 29, 2013 at 00:57:18
level in a topos
(
level in a topos(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at January 28, 2013 at 09:07:47
univalence in simplicial sets
by
Stephan Alexander Spahn
?
at January 25, 2013 at 01:39:55
notes on LawvereTierney topologies, monads, object classifiers, local toposes, indexed functors
by
Stephan Alexander Spahn
?
at January 13, 2013 at 04:43:58
extensive quantity
by
Stephan Alexander Spahn
?
at January 9, 2013 at 23:43:14
axiomatic cohesion
(
axiomatic cohesion(rev # 12)

history
)
by
Stephan Alexander Spahn
?
at January 9, 2013 at 23:14:20
axiomatic cohesion
(
axiomatic cohesion(rev # 11)

history
)
by
Stephan Alexander Spahn
?
at January 9, 2013 at 23:14:19
strength
by
Stephan Alexander Spahn
?
at January 9, 2013 at 22:55:58
monads, operads, algebraic theories, substitution
by
Stephan Alexander Spahn
?
at January 9, 2013 at 04:14:45
axiomatic cohesion
(
axiomatic cohesion(rev # 10)

history
)
by
Stephan Alexander Spahn
?
at January 9, 2013 at 02:12:15
axiomatic cohesion
(
axiomatic cohesion(rev # 9)

history
)
by
Stephan Alexander Spahn
?
at January 9, 2013 at 01:29:35
effect algebra of predicates
by
Stephan Alexander Spahn
?
at January 8, 2013 at 03:45:45
axiomatic cohesion
(
axiomatic cohesion(rev # 8)

history
)
by
Stephan Alexander Spahn
?
at January 8, 2013 at 01:21:17
axiomatic cohesion
(
axiomatic cohesion(rev # 7)

history
)
by
Stephan Alexander Spahn
?
at January 7, 2013 at 23:43:27
axiomatic cohesion
(
axiomatic cohesion(rev # 6)

history
)
by
Stephan Alexander Spahn
?
at January 7, 2013 at 21:22:11
axiomatic cohesion
(
axiomatic cohesion(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at January 7, 2013 at 20:35:44
axiomatic cohesion
(
axiomatic cohesion(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at January 7, 2013 at 19:35:47
axiomatic cohesion
(
axiomatic cohesion(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at January 7, 2013 at 17:21:18
effect algebra
(
effect algebra(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at January 7, 2013 at 16:07:50
monad (functional programming)
by
Stephan Alexander Spahn
?
at January 7, 2013 at 16:05:44
Eugenio Moggi
by
Stephan Alexander Spahn
?
at January 7, 2013 at 15:50:42
axiomatic cohesion
(
axiomatic cohesion(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at January 7, 2013 at 10:35:30
axiomatic cohesion
(
axiomatic cohesion(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at January 7, 2013 at 02:36:43
effect algebra
(
effect algebra(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at January 7, 2013 at 02:14:51
extensive category
by
Stephan Alexander Spahn
?
at January 7, 2013 at 01:49:57
effect algebra
(
effect algebra(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at January 7, 2013 at 01:02:03
Poset
by
Stephan Alexander Spahn
?
at January 7, 2013 at 00:39:36
codensity monad
(
codensity monad(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 27, 2012 at 05:04:10
motivic measure
by
Stephan Alexander Spahn
?
at December 27, 2012 at 02:43:12
model theory
(
model theory(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at December 27, 2012 at 01:40:06
model theory
(
model theory(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at December 27, 2012 at 01:07:55
model theory
(
model theory(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 27, 2012 at 00:30:55
foundations
(
foundations(rev # 9)

history
)
by
Stephan Alexander Spahn
?
at December 27, 2012 at 00:15:11
new directions in categorical logic
by
Stephan Alexander Spahn
?
at December 25, 2012 at 07:49:12
type category
(
type category(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 25, 2012 at 06:36:09
mates
by
Stephan Alexander Spahn
?
at December 23, 2012 at 23:31:00
adjunctions, modalities and closures
(
adjunctions, modalities and closures(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at December 23, 2012 at 22:40:47
adjunctions, modalities and closures
(
adjunctions, modalities and closures(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at December 23, 2012 at 22:40:46
adjunctions, modalities and closures
(
adjunctions, modalities and closures(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at December 20, 2012 at 16:01:09
adjunctions, modalities and closures
(
adjunctions, modalities and closures(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 20, 2012 at 06:27:52
sheaf on a sheaf
(
sheaf on a sheaf(rev # 23)

history
)
by
Stephan Alexander Spahn
?
at December 18, 2012 at 00:33:11
sheaf on a sheaf
(
sheaf on a sheaf(rev # 22)

history
)
by
Stephan Alexander Spahn
?
at December 17, 2012 at 22:16:18
sheaf on a sheaf
(
sheaf on a sheaf(rev # 21)

history
)
by
Stephan Alexander Spahn
?
at December 17, 2012 at 20:39:40
sheaf on a sheaf
(
sheaf on a sheaf(rev # 20)

history
)
by
Stephan Alexander Spahn
?
at December 17, 2012 at 18:03:24
sheaf on a sheaf
(
sheaf on a sheaf(rev # 19)

history
)
by
Stephan Alexander Spahn
?
at December 17, 2012 at 17:09:33
sheaf on a sheaf
(
sheaf on a sheaf(rev # 18)

history
)
by
Stephan Alexander Spahn
?
at December 17, 2012 at 13:11:49
sheaf on a sheaf
(
sheaf on a sheaf(rev # 17)

history
)
by
Stephan Alexander Spahn
?
at December 17, 2012 at 12:39:24
sheaf on a sheaf
(
sheaf on a sheaf(rev # 16)

history
)
by
Stephan Alexander Spahn
?
at December 17, 2012 at 06:18:35
sheaf on a sheaf
(
sheaf on a sheaf(rev # 15)

history
)
by
Stephan Alexander Spahn
?
at December 17, 2012 at 05:34:18
sheaf on a sheaf
(
sheaf on a sheaf(rev # 14)

history
)
by
Stephan Alexander Spahn
?
at December 17, 2012 at 04:39:16
sheaf on a sheaf
(
sheaf on a sheaf(rev # 13)

history
)
by
Stephan Alexander Spahn
?
at December 17, 2012 at 03:44:05
spam
by
Stephan Alexander Spahn
?
at December 17, 2012 at 03:13:43
factorization of a monad
by
Stephan Alexander Spahn
?
at December 17, 2012 at 02:23:45
几何易经
(
几何易经(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at December 17, 2012 at 00:46:29
几何易经
(
几何易经(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 16, 2012 at 23:35:14
sheaf on a sheaf
(
sheaf on a sheaf(rev # 12)

history
)
by
Stephan Alexander Spahn
?
at December 16, 2012 at 21:33:51
sheaf on a sheaf
(
sheaf on a sheaf(rev # 11)

history
)
by
Stephan Alexander Spahn
?
at December 16, 2012 at 20:16:18
sheaf on a sheaf
(
sheaf on a sheaf(rev # 10)

history
)
by
Stephan Alexander Spahn
?
at December 16, 2012 at 19:09:19
sheaf on a sheaf
(
sheaf on a sheaf(rev # 9)

history
)
by
Stephan Alexander Spahn
?
at December 16, 2012 at 17:08:00
sheaf on a sheaf
(
sheaf on a sheaf(rev # 8)

history
)
by
Stephan Alexander Spahn
?
at December 16, 2012 at 04:53:53
locally representable structured (infinity,1)topos
(
locally representable structured (infinity,1)topos(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at December 16, 2012 at 04:23:10
sheaf on a sheaf
(
sheaf on a sheaf(rev # 7)

history
)
by
Stephan Alexander Spahn
?
at December 16, 2012 at 03:42:26
locally representable structured (infinity,1)topos
(
locally representable structured (infinity,1)topos(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at December 16, 2012 at 03:19:49
sheaf on a sheaf
(
sheaf on a sheaf(rev # 6)

history
)
by
Stephan Alexander Spahn
?
at December 16, 2012 at 02:54:54
sheaf on a sheaf
(
sheaf on a sheaf(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at December 16, 2012 at 02:00:37
sheaf on a sheaf
(
sheaf on a sheaf(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at December 16, 2012 at 01:29:19
sheaf on a sheaf
(
sheaf on a sheaf(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at December 15, 2012 at 22:48:00
modus
by
Stephan Alexander Spahn
?
at December 15, 2012 at 21:54:26
locally representable structured (infinity,1)topos
(
locally representable structured (infinity,1)topos(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at December 15, 2012 at 20:28:04
sheaf on a sheaf
(
sheaf on a sheaf(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at December 15, 2012 at 19:34:11
sheaf on a sheaf
(
sheaf on a sheaf(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 15, 2012 at 17:28:39
copy locally representable structured (infinity,1)topos
by
Stephan Alexander Spahn
?
at December 15, 2012 at 04:55:48
locally representable structured (infinity,1)topos
(
locally representable structured (infinity,1)topos(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at December 15, 2012 at 04:53:49
locally representable structured (infinity,1)topos
(
locally representable structured (infinity,1)topos(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 15, 2012 at 03:00:36
newpage cohesion
by
Stephan Alexander Spahn
?
at December 14, 2012 at 22:46:47
neorealism
by
Stephan Alexander Spahn
?
at December 14, 2012 at 20:31:09
newpage étale types
(
newpage étale types(rev # 5)

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

history
)
by
Stephan Alexander Spahn
?
at December 13, 2012 at 18:20:08
newpage étale types
(
newpage étale types(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at December 13, 2012 at 04:49:20
newpage étale types
(
newpage étale types(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at December 13, 2012 at 03:41:29
newpage étale types
(
newpage étale types(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 13, 2012 at 02:40:05
étale types
(
étale types(rev # 24)

history
)
by
Stephan Alexander Spahn
?
at December 11, 2012 at 21:50:46
étale types
(
étale types(rev # 23)

history
)
by
Stephan Alexander Spahn
?
at December 11, 2012 at 20:51:49
étale types
(
étale types(rev # 22)

history
)
by
Stephan Alexander Spahn
?
at December 11, 2012 at 20:05:19
étale types
(
étale types(rev # 21)

history
)
by
Stephan Alexander Spahn
?
at December 11, 2012 at 19:12:34
étale types
(
étale types(rev # 20)

history
)
by
Stephan Alexander Spahn
?
at December 11, 2012 at 17:55:12
étale types
(
étale types(rev # 19)

history
)
by
Stephan Alexander Spahn
?
at December 11, 2012 at 00:04:37
reflective subcategory of a topos
(
reflective subcategory of a topos(rev # 14)

history
)
by
Stephan Alexander Spahn
?
at December 10, 2012 at 17:27:14
subtopos
(
subtopos(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at December 10, 2012 at 16:22:30
subtopos
(
subtopos(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at December 10, 2012 at 15:25:50
étale types
(
étale types(rev # 18)

history
)
by
Stephan Alexander Spahn
?
at December 10, 2012 at 12:54:05
multivariable adjunction
by
Stephan Alexander Spahn
?
at December 10, 2012 at 04:07:07
étale types
(
étale types(rev # 17)

history
)
by
Stephan Alexander Spahn
?
at December 10, 2012 at 03:32:17
étale types
(
étale types(rev # 16)

history
)
by
Stephan Alexander Spahn
?
at December 10, 2012 at 02:50:19
reflective subcategory of a topos
(
reflective subcategory of a topos(rev # 13)

history
)
by
Stephan Alexander Spahn
?
at December 10, 2012 at 00:28:31
étale types
(
étale types(rev # 15)

history
)
by
Stephan Alexander Spahn
?
at December 10, 2012 at 00:02:45
reflective subcategory of a topos
(
reflective subcategory of a topos(rev # 12)

history
)
by
Stephan Alexander Spahn
?
at December 9, 2012 at 23:26:56
étale topos
(
étale topos(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at December 9, 2012 at 23:24:00
« Previous
1
2
3
4
5
6
7
Next »