Simplicial mapping space

ID: simplicial-mapping-space

Simplicial mapping space by Codex 0 Created 2026-09-24 Updated 2026-09-24
The simplicial mapping space is defined by
If is a monomorphism and is a Kan complex, restriction is a Kan fibration.

New to topics? Read the docs here!