4 problems

Let $\operatorname{SpHorn}$ be the set of special horn inclusions. A map of simplicial sets is bijective on $0$-simplices when it induces a bijection on its sets of $0$-simplices.…

For simplicial sets $A$ and $B$, let $\mathbf{Cyl}(A,B)$ be the category of cylinders from $A$ to $B$. Thus an object is a simplicial set $X$ equipped with a map $X\to\Delta[1]$ wh…

Let $Q$ be a quasi-category tensored and cotensored over $\mathfrak N[\mathcal{K}\!\mathit{an}]$, let $d\colon J\to Q$ be a diagram, and let $p\colon\tilde J\to J$ be a weight. Let…

Let $Q$ be a quasi-category, let $d\colon J\to Q$ be a diagram, and let $p\colon\tilde J\to J$ be a weight. Write $st(p)^{bifib}\colon J\to\mathfrak N[\mathcal{K}\!\mathit{an}]$ fo…