Search Results

This is not a full answer to the question but it was too long for a comment. Depending on your conventions, "weak $n$-categories" might mean "$(n,n)$-categories" which are a special case of $(\infty,n …

Fix a regular cardinal $\kappa$ and let $\mathcal{C}$ be a $\kappa$-presentable $\infty$-category (comments about the 1-categorical case are welcome as well!). I'm looking for a reference for the fol …

The question, as in the title, may be very simply stated as follows: Main Question: Can the homotopy $(2,2)$-category of $(\infty,1)$-categories be characterized as the unique $2$-category upto eq …

Let $\mathrm{Diff}_n$, $\mathrm{PL}_n$, $\mathrm{Top}_n$ denote the $\infty$-categories of $n$-manifolds which are respectively smooth/PL/topological, and open embeddings (for instance by taking the h …

Let $\mathsf{M}$ be a simplicial model category presenting an $\infty$-category $\mathcal{M}$. I'm interested in a general statement relating compact objects in $\mathcal{M}$ (in the $\infty$-categori …

A (weak) factorization system on a category $\mathcal{C}$ consists of a pair of classes of morphisms in the category $(L,R)$ satisfying Every morphism $f:x \to y \in \mathcal{C}$ can be factored (n …

Making my comment an answer to remove it from the unanswered list: This is in Rezk's Stuff about quasicategories (pdf), Proposition 29.10.

Let $k$ be a field, $\mathsf{Vect}$ the category of finite dimensional vector spaces, and $\mathsf{C} = Fun(\mathsf{Vect},\mathsf{Vect})$ the abelian category of pointed endofunctors (sending $0$ to $ …

Basically my question is: Suppose I meet an alien mathematician which understands everything through category theory and category theory alone. How would I convince said mathematician that certain …

Several of the many notions that don't work the same way when passing to $\infty$-categories are the ones mentioned in the title. I'm trying to understand the conceptual picture around these notions i …

Let $(\mathcal{C,W})$ be relative category (equipped with a wide subcategory of weak equivalences satisfying 2 out of 3 property). Consider a profunctor $F: \mathcal{C \times D^{op}} \to \mathsf{Set}$ …

I'm trying to find a framework where the choices in the classical construction of a root system of a semi-simple lie algebra are not needed. Let $\mathfrak{g}$ be a semisimple lie algebra. Defin …

I will write $\operatorname{Diff}$ to denote a category of generalized smooth spaces e.g. $Sh(\mathsf{CartSp})$. Is there a version of $\operatorname{Diff}$ for which there exists a functor $\mathcal{ …

$\newcommand\LRS{\mathsf{LRS}}\newcommand\FormalSch{\mathsf{FormalSch}}\DeclareMathOperator\Spf{Spf}\newcommand\IndSch{\mathsf{IndSch}}\newcommand\ALRS{\mathsf{ALRS}}\newcommand\FSch{\mathsf{FSch}}$I' …