Questions tagged [higher-category-theory]

For questions involving one or more categorical dimensions, or involving homotopy coherent categorical structures.

Filter by
Sorted by
Tagged with
5 votes
1 answer
159 views

Proposition A.2.6.15 in HTT

This is a cross-post of a question in MSE. I am reading Lurie's Higher Topos Theory and I need some help to understand a part of the proof of Proposition A.2.6.15. (A.2.6.13 in the published version)...
user avatar
  • 153
5 votes
1 answer
65 views

Strictness of two operations on proarrow equipments

There are several equivalent definitions of a profunctor between categories $C$ and $D$. I'm interested in the following two: A functor $C\times D^o \to \text{Set}$ A co-continuous functor between ...
user avatar
  • 543
5 votes
0 answers
328 views

What is higher representation theory?

Can anyone please introduce higher representation theory? By Yoneda embedding, we know that global dimension of finitely generated category $\bmod\Lambda$ of Artin algebra $\Lambda$ is no more than $2$...
user avatar
  • 555
3 votes
0 answers
79 views

Natural numbers object in a double category

I've been playing with double categories. I'm having trouble figuring out appropriate laws for induction squares in a double category. Assume an object $\mathbb{N}$. Assume horizontal arrows zero $0\...
user avatar
3 votes
1 answer
218 views
+50

TR2 for homotopy category of stable $\infty$-category

I’m trying to understand Lurie’s proof that the homotopy category of a stable $\infty$-category is triangulated. In showing TR2, he constructs a diagram $$\require{AMScd} \begin{CD} X @>f>> Y ...
user avatar
  • 929
5 votes
1 answer
92 views

Is every folk cofibration of strict $\omega$-categories a monomorphism?

In the folk model structure on the category $sCat_\omega$ of strict $\omega$-categories, the cofibrations are generated by the boundary inclusions $\{\partial \mathbb G_n \to \mathbb G_n \mid n \in \...
user avatar
  • 49.2k
2 votes
0 answers
86 views

Unifying the $n$-truncation factorization system in a topos with the $n$-truncation factorization system of a t-structure

(This is a corrected and more detailed version of an earlier question.) In good circumstances, e.g. the setting of an $\infty$-topos, we have for each $n\geq -1$ an orthogonal factorization system ...
user avatar
8 votes
1 answer
347 views

Is there a Dold-Kan theorem for circle actions?

There are several interesting equivalences of "Dold-Kan type" in the setting of stable $\infty$-categories. Namely, let $\mathcal C$ be a stable $\infty$-category. Then the following 3 ...
user avatar
  • 49.2k
2 votes
0 answers
97 views

When is the category of connective objects a topos?

There is only one stable $\infty$-topos, namely the trivial category. However, the theory of stable $\infty$-categories with $t$-structure is strikingly reminiscent of the theory of topoi, as both ...
user avatar
2 votes
2 answers
210 views

Is there a "duality involution" on presentable categories?

$\newcommand\Psh{\mathit{Psh}}\newcommand\Pr{\mathit{Pr}}$Let $\Psh$ be the category of presheaf categories and cocontinuous functors which preserve tiny objects. There is a functor $(-)^\ast : \Psh \...
user avatar
  • 49.2k
6 votes
1 answer
114 views

Is $\mathit{Topos}^\text{op} \to \mathit{Pr}^L$ monadic?

$\newcommand\Logos{\mathit{Logos}}\newcommand\Topos{\mathit{Topos}}\newcommand\op{^\text{op}}\newcommand\Pr{\mathit{Pr}}$Let $\Logos = \Topos\op$ be the $\infty$-category of $\infty$-topoi and ...
user avatar
  • 49.2k
4 votes
1 answer
126 views

What are the algebras for the laxification 2-monad?

Let $C$ be a small 2-category. Let $[C , Cat]$ denote the 2-category of strict functors to $Cat$, 2-natural transformations, and modifications. Let $[[ C, Cat ]]$ denote the 2-category with the same ...
user avatar
  • 49.2k
5 votes
0 answers
149 views

Is Koszul duality a deformation theory when not over a field?

Let $k$ be a field. Then Thm 15.3.3.1 of Lurie's SAG says that Koszul duality, regarded as a contravariant endofunctor $\bar D$ of augmented $E_n$-algebras over $k$, is a deformation theory in the ...
user avatar
  • 49.2k
2 votes
0 answers
66 views

Riemann-Hilbert-type correspondence for locally constant factorization algebras

This is related to a previous post, but a bit softer and should probably stand on its own. In Appendix A of "Higher Algebra", Lurie shows that for a reasonably good topological space, there ...
user avatar
6 votes
1 answer
208 views

$\mathbb{E}_M$ as colimit of little cubes operads

In Lurie's "Higher Algebra", Remark 5.4.5.2 towards the end, there is the following statement: "It follows that $\mathbb{E}_M$ can be identified with the colimit of a diagram of $\infty$...
user avatar
5 votes
0 answers
107 views

A recursive attempt at $n$-dimensional coherence

For the purposes of this post we will use the one hom class definition of a category. Note that a functor $F:\mathcal{C}\to\mathcal{D}$ between categories is a pair of functions $F_0:{\bf Ob}_\mathcal{...
user avatar
  • 6,241
4 votes
0 answers
184 views

Summary of different types of TQFT?

For the purposes of this question, a TQFT comprises the following data: An "upper dimenison" $n \in \mathbb N$. A "lower dimension" $0 \leq l \leq n$. A choice of structure ...
user avatar
  • 49.2k
2 votes
1 answer
167 views

Formula for the left adjoint of the nerve functor?

I recently stumbled upon a formula for the left adjoint of the nerve functor. Let $X$ and $Y$ be simplicial sets, then: \begin{equation} \mathbf{sSet}(X,Y) \cong\mathbf{sSet}(\varinjlim_{\Delta^n\...
user avatar
12 votes
0 answers
399 views

2-categories for the working algebraic geometer

I study algebraic geometry / number theory and from time to time I stumble upon 2-categorical (co)limits. I have two main examples in mind: Example 1) In étale cohomology, the (triangulated) derived ...
user avatar
  • 1,317
2 votes
1 answer
128 views

"Approximating" functors by Hom/Tensor product

Consider two dg-algebras $A,B$ and their respective derived categories $D(A),D(B)$. A natural way to give a covariant functor is to take an $(A,B)$-bimodule $X$ and to tensor with it, that is $$D(A)\...
user avatar
2 votes
1 answer
147 views

Subcategory of coherent objects in an $\infty$-topos forming a local $\infty$-pretopos

My question is about the proof of Proposition A.6.1.6 in Lurie's Spectral Algebraic Geometry, which says the following: Let $\mathcal{X}$ be any $\infty$-topos and denote by $\mathcal{X}^{coh}$ the ...
user avatar
3 votes
1 answer
139 views

Constructing sections of a cocartesian fibration

Suppose $\mathcal{E} \to \mathcal{C}$ is a cocartesian fibration over (the nerve of) a classical category, and there is a section on zero simplices that sends $C$ to $s(C)$ such that, for every edge $...
user avatar
  • 2,666
3 votes
0 answers
88 views

Questions about HTT lemma 4.1.3.2

Set $C\rightarrow D\in sSet_{/S}$ a categorical equivalence over $S$, $E\rightarrow S$ a categorical fibration. Why is $Map_S(D,E)\rightarrow Map_S(C,E)$ still a categorical equivalence? When $S=*$, ...
user avatar
  • 231
3 votes
0 answers
100 views

Free $2$-category on a $2$-quiver

The construction of the free category on a quiver is standard in category theory. Is there some $2$-dimensional analog of a quiver such that each $2$-quiver freely gives rise to a $2$-category? How ...
user avatar
  • 6,241
3 votes
0 answers
110 views

What is the union of subobjects in a 2-category?

I'm trying to understand how to take unions and intersections of subobjects in a 2-category (actually, I'm not 100% sure what subobjects are, but in the case I'm thinking about I have an idea). I ...
user avatar
2 votes
0 answers
53 views

HTT 3.3.1.3.Reduce the class of inner anodyne morphisms to generators

This is the first part of Lurie's HTT 3.3.1.3: Proposition 3.3.1.3. Let $p: X \rightarrow S$ be a Cartesian fibration and let $T \rightarrow$ $S$ be a categorical equivalence. Then the induced map $X ...
user avatar
  • 231
2 votes
0 answers
73 views

Factorization algebras as factorizable cosheaves on the (extended) Ran Space

A basic fact in the theory of factorization algebras is that, to state it in a rough way, the exit path category of the Ran space of a topological manifold $M$ is equivalent to the category consisting ...
user avatar
2 votes
0 answers
54 views

Defining the bivariant mapping space functor via the twisted arrow $\infty$-category

I have what is surely a very silly question involving the construction of the bivariant mapping space functor $map_C(y,x):C^{op}\times C\to C$ starting from an $\infty$-category C. I’m using Land’s ...
user avatar
  • 929
3 votes
1 answer
101 views

Horizontal closure of 'almost $2$-categories'

Is there a reference discussing the notion of 'free horizontal closure' for an 'almost $2$-category', where all that's missing are some horizontal composites of $2$-cells? The motivation for this ...
user avatar
  • 6,241
2 votes
0 answers
202 views

Graphical intuition of infinity-categories

I am new to $\infty$-categories and I am aware of how higher cells are represented as the unique fillers of inner horn. However, I'm struggling to gain the necessary graphical intuition beyond trivial ...
user avatar
3 votes
0 answers
67 views

Are monomorphisms of strict $\omega$-categories stable under pushout along folk cofibrations?

Let $f : A \to B$ be a monomorphism of strict $\omega$-categories, and let $d : \partial \mathbb G_n \to A$ be an attaching map. There is an induced map $g : A \cup_{\partial \mathbb G_n} \mathbb G_n \...
user avatar
  • 49.2k
4 votes
0 answers
55 views

Constructing lax limits from lax limits

Let $K$ be a 2-category. It's well-known that if $K$ has all PIE limits, then $K$ also has all lax limits. But I don't know a general "limit-decomposition" result which works "...
user avatar
  • 49.2k
4 votes
1 answer
148 views

How to define the $\infty$-category of left fibrations?

In his book Introduction to Infinity-Categories, Land in his Theorem 3.3.16 asserts an equivalence of $\infty$-categories where one of the categories $\mathrm{LFib}(\mathcal C)$ is the full ...
user avatar
  • 929
15 votes
0 answers
303 views

Lurie's applications of $\infty$-topoi in topology

Lurie's book Higher Topos Theory is extremely interesting, but pretty overwhelming. I don't have the time to read it at the moment. However, the last chapter (7) gives applications of $\infty$-topoi ...
user avatar
19 votes
0 answers
426 views

The $(\infty, 1)$-category of all topological spaces, including the bad ones

[Edit: Corrected some false claims and modified questions accordingly.] Let $\mathcal{S}$ be the cocomplete $(\infty, 1)$-category generated by a point. This is conventionally known as the $(\infty, 1)...
user avatar
  • 13.2k
5 votes
0 answers
82 views

Counit functor associated to a bicartesian fibration

I would like to understand $\infty$ categorical adjunctions better. I am far from an expert, and so I would greatly appreciate published references (with no unproven foundational assumptions) ...
user avatar
3 votes
1 answer
72 views

Is freeness of strict $n$-categories preserved by deleting a dimension?

Let $C$ be an $n$-dimensional globular set. Then for $0 \leq i \leq n$ there is a globular set $C^{(i)}$ obtained from $C$ by forgetting the $i$-cells (so that for $j > i$, the $j$-cells of $C$ ...
user avatar
  • 49.2k
1 vote
0 answers
148 views

Does the Hochschild cohomology of an $A_{\infty}$-algebra have an algebra structure?

For an algebra $A$ we can define its Hochschild cohomology (see this Wikipedia page) $HH^{\cdot}(A,A)$. It is well-known that the cup product makes $HH^{\cdot}(A,A)$ a (graded-commutative) algebra. ...
user avatar
  • 8,079
0 votes
0 answers
232 views

nPOV: Cohomology and derived functors

In the nPOV, cohomology is realized as the connected component of the derived hom space [1]. Namely, $$H^n(X,Y) = \pi_0 \mathbb{H}(X,B^nY),$$ where $\mathbb{H}$ is an $(\infty,1)$-topos and $B$ is the ...
user avatar
  • 4,005
5 votes
0 answers
87 views

When is the fat join a monoidal structure?

This question is about the following general construction. Definition: Let $(\mathcal C, \otimes)$ be a cocomplete, monoidal biclosed category whose unit $\ast$ is terminal. Let $I$ be an "...
user avatar
  • 49.2k
3 votes
0 answers
129 views

Augmented algebras over $\infty$-operads via the envelope

Let $\mathcal{O}^\otimes$ be an $\infty$-operad and $\mathcal{C}^\otimes$ a symmetric monoidal $\infty$-category, both in the sense of Lurie's Higher Algebra. By augmented $\mathcal{O}^\otimes$-...
user avatar
20 votes
2 answers
1k views

Why are quasi-categories better than simplicial categories?

There are many models for $(\infty,1)$-categories: simplicial categories, Segal categories, complete Segal spaces, and quasi-categories. Doubtlessly the model most used to do higher category theory in ...
user avatar
8 votes
1 answer
238 views

Is Joyal's category $\Theta_n$ the "only" Reedy category which is dense in $n$-categories?

Let $Cat_n$ denote the category of $n$-categories. Then Joyal's category $\Theta_n$ is (1) a full dense subcategory of $Cat_n$ which (2) is also a Reedy category. Question: Is Joyal's category $\...
user avatar
  • 49.2k
5 votes
2 answers
501 views

Lurie's HTT 2.4.1.8

I have some questions about how to apply proposition 2.4.1.8 in HTT which says: In several places, variant forms of this proposition have been used without explanation such as in the proof of Lemma 2....
user avatar
  • 231
11 votes
2 answers
409 views

How to formulate the univalence axiom without universes?

The standard formulation of the univalence axiom for a universe type $U$ is that, for all $X : U$ and $Y : U$, the canonical map $(X =_U Y) \to (X \simeq Y)$ is an equivalence. As we (usually) cannot ...
user avatar
  • 13.2k
3 votes
0 answers
65 views

Calculation of simplicial nerves

I know the general definition for simplicial nerve $\mathfrak{C}:Set_{\Delta}\rightarrow Cat_{\Delta}$.We define what are $\mathfrak{C}[\Delta^n]$ and $\mathfrak{C}[f]$ for morphisms between those $\...
user avatar
  • 231
5 votes
0 answers
279 views

Is there an analogue of Kan's $\operatorname{Ex}^\infty$ functor for $(\infty,n)$-categories?

$\DeclareMathOperator\Ex{Ex}$Kan's $\Ex^\infty$ functor (see Why is Kan's $Ex^\infty$ functor useful?) $\Ex^\infty\colon\mathsf{sSets}\to\mathsf{Kan}$ produces a Kan complex from a simplicial set ...
user avatar
  • 176
4 votes
1 answer
247 views

Does the 2-category of topoi have exponential objects?

Does the 2-category of Grothendieck topoi have exponential objects? There are size issues: Since Grothendieck topoi are supposed to have a small set of generators, the collection of objects of a ...
user avatar
2 votes
0 answers
62 views

Pseudomonoids versus monoidal pseudofunctors from $\Delta$

I have been trying to find some literature (if there is any) on the relationship between pseudomonoids and monoidal pseudofunctors from the monoidal theory of a monoid, $\Delta$ (I am interested in ...
user avatar
  • 1,213
5 votes
1 answer
228 views

What is the correct statement of Theorem 4.2 in Street's "Parity Complexes"?

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 ...
user avatar
  • 49.2k

1
2 3 4 5
22