Spahn
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

codensity monad
(
codensity monad(rev # 2)

history
)
by
Todd Trimble
?
at October 19, 2018 at 08:32:33
universal polynomial
by
Anonymous
?
at February 23, 2017 at 01:51:06
kirelagin
by
kirelagin
at December 12, 2014 at 12:15:26
type category
(
type category(rev # 2)

history
)
by
kirelagin
at December 12, 2014 at 12:05:58
algebraic and coalgebraic semantics of modal logic
(
algebraic and coalgebraic semantics of modal logic(rev # 14)

history
)
by
Stephan Alexander Spahn
?
at May 19, 2013 at 18:31:29
idempotent monad
(
idempotent monad(rev # 2)

history
)
by
Anonymous
?
at May 2, 2013 at 00:32:05
aspects of topoi
by
Stephan Alexander Spahn
?
at March 23, 2013 at 04:38:16
notes on elephant
by
Stephan Alexander Spahn
?
at March 2, 2013 at 05:35:59
polynomial functor
(
polynomial functor(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at February 28, 2013 at 07:36:58
polynomial functor
(
polynomial functor(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at February 28, 2013 at 06:13:25
monad on a quasicategory
by
Stephan Alexander Spahn
?
at February 28, 2013 at 04:11:01
polynomial functor
(
polynomial functor(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 28, 2013 at 01:20:10
polynomial monad
(
polynomial monad(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at February 27, 2013 at 23:31:57
higher inductive type
(
higher inductive type(rev # 14)

history
)
by
Stephan Alexander Spahn
?
at February 27, 2013 at 04:15:02
higher inductive type
(
higher inductive type(rev # 13)

history
)
by
Stephan Alexander Spahn
?
at February 27, 2013 at 02:12:23
higher inductive type
(
higher inductive type(rev # 12)

history
)
by
Stephan Alexander Spahn
?
at February 27, 2013 at 00:19:53
higher inductive type
(
higher inductive type(rev # 11)

history
)
by
Stephan Alexander Spahn
?
at February 26, 2013 at 23:43:11
higher inductive type
(
higher inductive type(rev # 10)

history
)
by
Stephan Alexander Spahn
?
at February 26, 2013 at 21:12:05
higher inductive type
(
higher inductive type(rev # 9)

history
)
by
Stephan Alexander Spahn
?
at February 26, 2013 at 19:17:51
higher inductive type
(
higher inductive type(rev # 8)

history
)
by
Stephan Alexander Spahn
?
at February 26, 2013 at 07:23:46
higher inductive type
(
higher inductive type(rev # 7)

history
)
by
Stephan Alexander Spahn
?
at February 26, 2013 at 05:56:57
higher inductive type
(
higher inductive type(rev # 6)

history
)
by
Stephan Alexander Spahn
?
at February 26, 2013 at 05:16:54
higher inductive type
(
higher inductive type(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at February 26, 2013 at 03:13:14
rules of type theories
(
rules of type theories(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at February 26, 2013 at 02:53:29
rules of type theories
(
rules of type theories(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 26, 2013 at 01:17:22
higher inductive type
(
higher inductive type(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at February 26, 2013 at 01:05:26
higher inductive type
(
higher inductive type(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at February 25, 2013 at 23:03:36
modal logic
(
modal logic(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at February 25, 2013 at 21:40:22
higher inductive type
(
higher inductive type(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at February 25, 2013 at 20:44:37
modal logic
(
modal logic(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at February 25, 2013 at 09:47:34
modal logic
(
modal logic(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 25, 2013 at 09:04:06
algebraic and coalgebraic semantics of modal logic
(
algebraic and coalgebraic semantics of modal logic(rev # 13)

history
)
by
Stephan Alexander Spahn
?
at February 25, 2013 at 08:24:20
higher inductive type
(
higher inductive type(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 25, 2013 at 07:48:22
Wtype
by
Stephan Alexander Spahn
?
at February 25, 2013 at 07:47:44
Ho TTCoq  references
(
Ho TTCoq  references(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at February 25, 2013 at 07:30:42
categorical logic and type theory
(
categorical logic and type theory(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at February 19, 2013 at 03:25:07
categorical logic and type theory
(
categorical logic and type theory(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 19, 2013 at 01:16:56
modalities and multimodalities
by
Stephan Alexander Spahn
?
at February 18, 2013 at 23:59:52
algebraic and coalgebraic semantics of modal logic
(
algebraic and coalgebraic semantics of modal logic(rev # 12)

history
)
by
Stephan Alexander Spahn
?
at February 18, 2013 at 23:29:26
notes on modal logic
(
notes on modal logic(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at February 18, 2013 at 22:26:11
algebraic and coalgebraic semantics of modal logic
(
algebraic and coalgebraic semantics of modal logic(rev # 11)

history
)
by
Stephan Alexander Spahn
?
at February 18, 2013 at 22:21:52
algebraic and coalgebraic semantics of modal logic
(
algebraic and coalgebraic semantics of modal logic(rev # 10)

history
)
by
Stephan Alexander Spahn
?
at February 18, 2013 at 10:28:39
algebraic and coalgebraic semantics of modal logic
(
algebraic and coalgebraic semantics of modal logic(rev # 9)

history
)
by
Stephan Alexander Spahn
?
at February 18, 2013 at 08:50:07
algebraic and coalgebraic semantics of modal logic
(
algebraic and coalgebraic semantics of modal logic(rev # 8)

history
)
by
Stephan Alexander Spahn
?
at February 18, 2013 at 07:51:16
bisimulation
by
Stephan Alexander Spahn
?
at February 18, 2013 at 05:36:37
idempotent monad
(
idempotent monad(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 18, 2013 at 03:58:44
Et/X
(
Et/X(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at February 18, 2013 at 00:51:50
polynomial monad
(
polynomial monad(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at February 17, 2013 at 06:07:03
polynomial monad
(
polynomial monad(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 17, 2013 at 05:06:44
algebraic and coalgebraic semantics of modal logic
(
algebraic and coalgebraic semantics of modal logic(rev # 7)

history
)
by
Stephan Alexander Spahn
?
at February 17, 2013 at 05:05:12
algebraic and coalgebraic semantics of modal logic
(
algebraic and coalgebraic semantics of modal logic(rev # 6)

history
)
by
Stephan Alexander Spahn
?
at February 17, 2013 at 04:22:46
algebraic and coalgebraic semantics of modal logic
(
algebraic and coalgebraic semantics of modal logic(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at February 17, 2013 at 02:24:24
algebraic and coalgebraic semantics of modal logic
(
algebraic and coalgebraic semantics of modal logic(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at February 17, 2013 at 00:35:45
coalgebra over a comonad
by
Stephan Alexander Spahn
?
at February 16, 2013 at 08:32:43
bimodule
by
Stephan Alexander Spahn
?
at February 16, 2013 at 08:32:29
algebraic and coalgebraic semantics of modal logic
(
algebraic and coalgebraic semantics of modal logic(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at February 16, 2013 at 07:36:36
algebraic and coalgebraic semantics of modal logic
(
algebraic and coalgebraic semantics of modal logic(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at February 16, 2013 at 06:21:24
notes on modal logic
(
notes on modal logic(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at February 16, 2013 at 04:14:34
algebraic and coalgebraic semantics of modal logic
(
algebraic and coalgebraic semantics of modal logic(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 16, 2013 at 03:43:23
notes on modal logic
(
notes on modal logic(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at February 16, 2013 at 03:03:11
notes on modal logic
(
notes on modal logic(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 16, 2013 at 01:51:06
Et/X
(
Et/X(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 15, 2013 at 08:23:20
the higher derived cahiers topos
(
the higher derived cahiers topos(rev # 14)

history
)
by
Stephan Alexander Spahn
?
at February 15, 2013 at 01:30:01
the higher derived cahiers topos
(
the higher derived cahiers topos(rev # 13)

history
)
by
Stephan Alexander Spahn
?
at February 15, 2013 at 00:57:06
the higher derived cahiers topos
(
the higher derived cahiers topos(rev # 12)

history
)
by
Stephan Alexander Spahn
?
at February 14, 2013 at 20:45:40
the higher derived cahiers topos
(
the higher derived cahiers topos(rev # 11)

history
)
by
Stephan Alexander Spahn
?
at February 14, 2013 at 10:14:08
Martin Hyland, The category theoretic understanding of universal algebra Lawvere theories and monads
(
Martin Hyland, The category theoretic understanding of universal algebra Lawvere theories and monads(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at February 14, 2013 at 07:59:55
the higher derived cahiers topos
(
the higher derived cahiers topos(rev # 10)

history
)
by
Stephan Alexander Spahn
?
at February 14, 2013 at 07:59:31
Martin Hyland, The category theoretic understanding of universal algebra Lawvere theories and monads
(
Martin Hyland, The category theoretic understanding of universal algebra Lawvere theories and monads(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 14, 2013 at 06:06:24
Lawvere et al, algebraic theories
by
Stephan Alexander Spahn
?
at February 14, 2013 at 06:05:01
the higher derived cahiers topos
(
the higher derived cahiers topos(rev # 9)

history
)
by
Stephan Alexander Spahn
?
at February 14, 2013 at 06:04:14
the higher derived cahiers topos
(
the higher derived cahiers topos(rev # 8)

history
)
by
Stephan Alexander Spahn
?
at February 14, 2013 at 05:09:13
the higher derived cahiers topos
(
the higher derived cahiers topos(rev # 7)

history
)
by
Stephan Alexander Spahn
?
at February 14, 2013 at 01:29:39
the higher derived cahiers topos
(
the higher derived cahiers topos(rev # 6)

history
)
by
Stephan Alexander Spahn
?
at February 13, 2013 at 23:41:44
the higher derived cahiers topos
(
the higher derived cahiers topos(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at February 13, 2013 at 08:43:46
the higher derived cahiers topos
(
the higher derived cahiers topos(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at February 13, 2013 at 08:12:25
the higher derived cahiers topos
(
the higher derived cahiers topos(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at February 13, 2013 at 06:29:05
the higher derived cahiers topos
(
the higher derived cahiers topos(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at February 13, 2013 at 05:14:31
the higher derived cahiers topos
(
the higher derived cahiers topos(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 13, 2013 at 03:39:30
monoidal quasicategory
(
monoidal quasicategory(rev # 11)

history
)
by
Stephan Alexander Spahn
?
at February 12, 2013 at 06:00:40
monoidal quasicategory
(
monoidal quasicategory(rev # 10)

history
)
by
Stephan Alexander Spahn
?
at February 12, 2013 at 05:08:33
monoidal quasicategory
(
monoidal quasicategory(rev # 9)

history
)
by
Stephan Alexander Spahn
?
at February 12, 2013 at 03:54:39
monoidal quasicategory
(
monoidal quasicategory(rev # 8)

history
)
by
Stephan Alexander Spahn
?
at February 11, 2013 at 23:19:36
relative nerve
(
relative nerve(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at February 11, 2013 at 22:33:18
relative nerve
(
relative nerve(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at February 11, 2013 at 08:42:28
relative nerve
(
relative nerve(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 11, 2013 at 07:44:50
monoidal quasicategory
(
monoidal quasicategory(rev # 7)

history
)
by
Stephan Alexander Spahn
?
at February 11, 2013 at 06:26:08
monoidal quasicategory
(
monoidal quasicategory(rev # 6)

history
)
by
Stephan Alexander Spahn
?
at February 11, 2013 at 05:55:56
monoidal quasicategory
(
monoidal quasicategory(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at February 11, 2013 at 05:03:44
monoidal quasicategory
(
monoidal quasicategory(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at February 11, 2013 at 01:06:39
monoidal quasicategory
(
monoidal quasicategory(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at February 10, 2013 at 07:36:02
monoidal quasicategory
(
monoidal quasicategory(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at February 10, 2013 at 06:35:04
monoidal quasicategory
(
monoidal quasicategory(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 10, 2013 at 03:17:29
mapping simplex
(
mapping simplex(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at February 6, 2013 at 00:34:08
mapping simplex
(
mapping simplex(rev # 1)

history
)
by
Stephan Alexander Spahn
?
at February 5, 2013 at 22:52:00
Monads and the BarrBeck Theorem
(
Monads and the BarrBeck Theorem(rev # 7)

history
)
by
Stephan Alexander Spahn
?
at February 5, 2013 at 22:32:00
Monads and the BarrBeck Theorem
(
Monads and the BarrBeck Theorem(rev # 6)

history
)
by
Stephan Alexander Spahn
?
at January 30, 2013 at 06:15:23
Monads and the BarrBeck Theorem
(
Monads and the BarrBeck Theorem(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at January 30, 2013 at 03:58:39
Monads and the BarrBeck Theorem
(
Monads and the BarrBeck Theorem(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at January 30, 2013 at 02:58:57
Monads and the BarrBeck Theorem
(
Monads and the BarrBeck Theorem(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at January 29, 2013 at 08:29:28
« Previous
1
2
3
4
5
6
7
Next »