Search Results

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 …

Let $\mathcal C$ be an $\infty$-category. If $C$ is a quasicategory modeling $\mathcal C$, then we have a coend decomposition $$\mathcal C = \int^{[n] \in \Delta} \Delta[n] \times C_n.$$ This allows u …

Ross Street's 1991 paper Parity Complexes (apologies; I don't know how to find DOI links for Cahiers papers) develops some very useful tools for working with free strict $\omega$-categories. There is …

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 $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 …

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 …

I'm interested in instances of the following data: $C$ is a (possibly higher) category; $(L,M)$ is a weak factorization system (wfs) on $C$; $(M,R)$ is a unique factorization system (fs) on $C$. …

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 …

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 …

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 …

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 …

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. …

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 …

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 …

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) = …