Search Results

In the category of commutative rings, every domain embeds into a field. Is this true in the category of presentably symmetric monoidal stable $\infty$-categories? Here's what I mean by that. Let $Pr …

I'm looking for a proof of the existence of the Joyal model structure -- with its usual description -- which uses Cisinski theory directly. The closest thing I know of is Theorem 5.26 of Ara's Higher …

Let $\mathcal C$ be an accessible $\infty$-category, and let $ho(\mathcal C)$ be its homotopy category. I can think of two "trivial" reasons for $ho(\mathcal C)$ to be accessible: $ho(\mathcal C) = …

Let $D: I \to \mathcal C$ be a diagram, and suppose we have a colimit decomposition $I = \varinjlim_{j \in J} I_j$ in $Cat$. Then under certain conditions, we can decompose the colimit of $D$ as $\var …

Let $C$ be a small category and $M$ a model category. Then there are various "global" model structures (projective, injective, Reedy) on the category $Fun(C,M)$ of functors from $C$ to $M$, all with t …

There are a number of formalisms available for presenting free strict $\omega$-categories -- Street's parity complexes, Steiner's directed complexes, computads, polygraphs,... Typically one has a cert …

Recall that a strict $n$-category $C$ is called gaunt if every $k$-morphism in $C$ with a weak inverse is an identity, for all $k$; let $Gaunt_n$ denote the strict 1-category of gaunt $n$-categories. …

Let $\mathcal C$ be an $\infty$-category. We can ask: Q: Is $\mathcal C$ a 1-category? That is, are the hom-spaces of $\mathcal C$ essentially discrete? Roughly, my question is: Proto-Question: Is Q …

Fix (a prime $p$ and) a chromatic height $h$. Recall that the Bousfield-Kuhn functor $\Phi_h: \mathcal M_h^f \to Sp_{T(h)}$ is monadic, where $\mathcal M_h^f \subseteq Top_\ast$ is a certain subcatego …

Let $Idem = Idem^{(\infty)}$ be the walking idempotent [1], and let $Idem^{(n)}$ be its n-skeleton. Note that $Idem$ has one nondegenerate simplex in each dimension. Let $\iota_n^m: Idem^{(n)} \to Ide …

Question: What is an example of a locally presentable category $\mathcal C$ such that there exists a proper class of accessible localizations $(\mathcal C \to \mathcal D_i)_{i < ORD}$? In other words …

If $\mathcal C$ is a $\kappa$-accessible 1-category, then the category of morphisms $Mor \mathcal C$ is a $\kappa$-accessible 1-category, with the $\kappa$-presentable objects being those morphisms wh …

Question 1: Let $F: C \to D$ be a conservative, $\kappa$-cocontinuous functor between small, $\kappa$-cocomplete categories. Is the induced functor $Ind_\kappa(F): Ind_\kappa(C) \to Ind_\kappa(D)$ als …

Let $\mathcal C$ be a sufficiently nice $\infty$-category, and let $f: U \to X$ be a morphism in $\mathcal C$. Recall that $f$ is said to be an effective epimorphism if the induced map $|U^{\times_X ( …

Question: What are some "surprising" examples of functors (resp. $\infty$-functors) $F$ which preserve cofiltered limits? I'm not quite sure what "surprising" means, but I think that "Surprising" sho …