size functor

mapping used in algebraic topology

Categories: