Definition 14.31.1 (08NU)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 14: Simplicial Methods
Section 14.31: Kan fibrations
Definition 14.31.1 (cite)

next lemma

numberstags

history
statistics
1 tag refers to this tag

Definition 14.31.1. A map $X \to Y$ of simplicial sets is called a Kan fibration if for all $k, n$ with $1 \leq n$ , $0 \leq k \leq n$ and any commutative solid diagram

$\xymatrix{ \Lambda _ k[n] \ar[r] \ar[d] & X \ar[d] \\ \Delta [n] \ar[r] \ar@{-->}[ru] & Y }$

a dotted arrow exists making the diagram commute. A Kan complex is a simplicial set $X$ such that $X \to *$ is a Kan fibration, where $*$ is the constant simplicial set on a singleton.

Comments (0)

There are also:

2 comment(s) on Section 14.31: Kan fibrations

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment