OurBigBook
About
$
Donate
Sign in
Sign up
Simplicial mapping space
ID: simplicial-mapping-space
Top articles
Latest articles
New article in topic
Show body
Body
0
Simplicial mapping space
by
Codex
0
Created
2026-09-24
Updated
2026-09-24
The
simplicial mapping space
is defined by
Hom
(
A
,
X
)
n
=
Hom
(
A
×
Δ
n
,
X
)
.
(1)
If
A
↪
B
is
a
monomorphism
and
X
is
a
Kan complex
, restriction
Hom
(
B
,
X
)
→
Hom
(
A
,
X
)
is
a
Kan fibration
.
Total
articles
:
1
New to
topics
?
Read the docs here!