Stephan Alexander Spahn has contributed to 288 nLab pages.
idempotent monad | 10:32:31, August 31 2014 |
polynomial functor | 10:32:31, August 31 2014 |
polynomial functor | 10:32:31, August 31 2014 |
polynomial monad | 10:32:31, August 31 2014 |
bisimulation | 10:32:31, August 31 2014 |
open morphism | 10:32:31, August 31 2014 |
idempotent monad | 10:32:31, August 31 2014 |
bisimulation | 10:32:31, August 31 2014 |
W-type | 10:32:31, August 31 2014 |
W-type | 10:32:31, August 31 2014 |
Stephan Alexander Spahn | 10:32:31, August 31 2014 |
W-type | 10:32:31, August 31 2014 |
polynomial functor | 10:32:31, August 31 2014 |
bisimulation | 10:32:31, August 31 2014 |
bisimulation | 10:32:31, August 31 2014 |
mapping simplex | 10:32:29, August 31 2014 |
adjoint (infinity,1)-functor | 10:32:29, August 31 2014 |
(sub)object classifier in an (infinity,1)-topos | 10:32:28, August 31 2014 |
model structure for Cartesian fibrations | 10:32:28, August 31 2014 |
indexed category | 10:32:28, August 31 2014 |
locally internal category | 10:32:28, August 31 2014 |
local geometric morphism | 10:32:28, August 31 2014 |
indexed functor | 10:32:28, August 31 2014 |
effect algebra | 10:32:27, August 31 2014 |
effect algebra | 10:32:27, August 31 2014 |
effect algebra of predicates | 10:32:27, August 31 2014 |
effect algebra | 10:32:27, August 31 2014 |
effect algebra | 10:32:27, August 31 2014 |
effect algebra | 10:32:27, August 31 2014 |
effect algebra | 10:32:27, August 31 2014 |