nLab
Author — Stephan Alexander Spahn

Overview

Stephan Alexander Spahn has contributed to 288 nLab pages.

Most recent contributions

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

All pages contributed to