The higher-category-theory tag has no usage guidance, but it has a tag wiki.

**0**

votes

**0**answers

63 views

### A construction on lax.functor

Consider for simplicity only locally small 2-categories.
Given a 2-category $\mathscr{A}$ let $|\mathscr{A}|$ its 2-graph (forget the horizontal composition).
Given a 2-graph $\mathcal{G}$ let ...

**2**

votes

**2**answers

378 views

### Reference for higher categorical analogue of algebraic cycle? [closed]

Are there higher categorical analogues of algebraic cycles?
What are some references?
This question arise in an attempt to generalize algebraic cycles towards higher dimensional algebra. Has there ...

**8**

votes

**0**answers

350 views

### Standard model structures on $Top$

Call a model structure on $Top$ (the category of topological spaces) standard, if the weak equivalences are the weak homotopy equivalences. In this nLab page, two standard model structures on $Top$ ...

**2**

votes

**0**answers

105 views

### Is the dg-nerve functor a Quillen equivalence?

Lurie defines the dg-nerve $N_{dg}(\mathcal{C})$ of a dg-category $\mathcal{C}$ in Higher Algebra Construction 1.3.1.6: for each $n \geq 0$, we define $N_{dg}(\mathcal{C})_n\simeq ...

**3**

votes

**1**answer

142 views

### About a closed strucure on profunctors

Let $Prof$ the bicategory with profunctors (on small categories), arrows are like $D: \mathscr{A} \dashrightarrow \mathscr{B}$ and this means that $D: \mathscr{A}^{op} \times \mathscr{B}\to Set$.
...

**3**

votes

**0**answers

113 views

### What about “bilax” functors?

in [G] p.29, J.W Gray define the 2-comma category $[F, G]$ of two 2-functors $F: \mathcal{A}\to \mathcal{D},\ G: \mathcal{B}\to \mathcal{D}$. This definition work well also if we suppose $F$ a ...

**4**

votes

**1**answer

249 views

### Properties of loop space functor from homotopy types to group objects in homotopy types

I am trying to understand some properties of categories enriched in homotopy types, and the following question has become important:
When we take the loop-space of a (connected) homotopy type, we get ...

**1**

vote

**2**answers

163 views

### Completion under weighted limits/colimits

Is there any further reference besides "Basic Concepts of Enriched Categories" (Kelly) for completion under T-(weighted) limits/colimits?
(in which T is a set of weights)
Thank you in advance

**0**

votes

**0**answers

130 views

### Higher algebra and terminology about 2-objects

It is well known that one way to build higher category theory is to use some induction process, where an $n$-category has as $0$-cells some $n-1$ categories, such that for two $0$-cells $\mathcal{A}$ ...

**9**

votes

**2**answers

637 views

### What is descent data (of higher categories), conceptually?

First consider a scheme $X$ with an open cover $\mathcal{U}=\{U_i\}$. An object with descent data on $\mathcal{U}$ is a collection $(\mathcal{E}_i,\phi_{ij})$ where $\mathcal{E}_i$ is a ...

**0**

votes

**0**answers

327 views

### Set as a (strict) infinite-category?

First, let me say that I have no idea if such a post has its place here. However, I believe that the ideas I'm going to present are important. The goal of this thread is three fold:
1) trying to ...

**2**

votes

**1**answer

354 views

### Building $(\infty,2)$-categories from $\infty$-categories

Let $Y$ be a marked simplicial set, whose underlying simplicial set is also denoted by $Y$. Let $X$ be a scaled simplicial set such that the decalage of its underlying simplicial set is $Y$. $X$ is ...

**6**

votes

**1**answer

507 views

### Lurie's Endomorphism Space vs. Endomorphisms

In Jacob Lurie's book Higher Algebra, for an object $M$ of a monoidal $\infty$-category $\mathcal{C}$, he constructs a category $\mathcal{C}[M]$ which can be thought of as "maps in $\mathcal{C}$ of ...

**6**

votes

**3**answers

521 views

### Higher refinement of Seifert-van Kampen theorem on the language of hocolim

I like the following version of SvKT. If $\Pi_1$ is the functor of fundamental groupoid and $(X_i)_{i\in I}$ is a diagram of spaces then
$$\Pi_1({\sf hocolim}\: X_i)\simeq {\sf hocolim}\: ...

**7**

votes

**2**answers

489 views

### What are algebras for the little n-balls/n-cubes/n-something operads exactly?

As a non expert in the theory of topological operads, I find it pretty hard, to understand what algebras for little balls/cubes/something operads are.
For all the other famous operads I know (like ...

**1**

vote

**1**answer

311 views

### Construction of Highly Structured Quotient Groups in Quasicategories

Suppose we have a map of $E_n$-spaces $X\to Y$. Then there is a highly structured action of $X$ on $Y$, $X\wedge Y\to Y\wedge Y\to Y$, using the multiplication of $Y$. As such, I believe that there ...

**3**

votes

**1**answer

94 views

### Segal maps for Segal precategories

A Segal precategory is just a simplicial space $X:\Delta^{op} \to sSet$ such that its $0$-th space is discrete (i.e. constant). A Segal category is defined everywhere in the literature as a Segal ...

**4**

votes

**2**answers

373 views

### Higher-dimensional category theory on objects

I would like to know if there exists a satisfying generalization of higher-dimensional category theory on objects, that doesn't forget the inner structure of objects. Usually, what people do is to ...

**3**

votes

**1**answer

130 views

### A question about the morphisms in the homotopy category of dg-Cat

Let $dg-Cat$ denote the category of (small) dg-categories and $Ho(dg-Cat)$ denote the localization of $dg-Cat$ at quasi-equivalence. Using the model structure on $dg-Cat$ we can describe the morphisms ...

**3**

votes

**1**answer

200 views

### Why is an extended T(Q)FT called fully local?

Hopefully this question does not double another. If so, don't bother to close this.
An extended topological quantum field theory is sometimes called, 'fully local".
Why is that? I can imagine that ...

**13**

votes

**2**answers

432 views

### A model category of abelian categories?

Let $\mathcal{M}$ be the following category:
The objects are small abelian categories with chosen zero object, biproducts, kernels, and cokernels.
The morphisms are functors that preserve the ...

**4**

votes

**2**answers

364 views

### Kan extensions in the $2$-category of monoidal categories

Kan extensions make sense in any $2$-category. But so far I have only really seen them in the case of the $2$-category of categories, functors, natural transformations and the $2$-category of ...

**2**

votes

**1**answer

154 views

### Are lax functor categories into a cartesian closed 2-category cartesian closed?

Suppose that $C$ is a complete closed monoidal category and $I$ is any small category. Then the functor category $Fun(I,C)$ is again a closed monoidal category with the pointwise tensor product $F ...

**7**

votes

**0**answers

185 views

### Is there a classification of 2d extended TQFTs with defects?

Chris Schommer-Pries has classified 2d extended TQFTs (topological quantum field theories) in his PhD thesis. The result is a (not necessarily abelian) separable symmetric Frobenius algebra (possibly ...

**6**

votes

**1**answer

264 views

### Difference between coherent nerve of simplical model category and simplicial category

Suppose I have a simplicial model category $M$. Then I can take the homotopy coherent nerve of $M$ to obtain a quasicategory. This, however, only depends on the fact that $M$ is a category enriched in ...

**2**

votes

**3**answers

357 views

### Integral transform on noncommutative spaces

In their paper "Integral Transforms and Drinfeld Centers in Derived Algebraic Geometry" the authors show that for perfect stacks $X$ and $Y$ over $k$, and their $k$-linear $\infty$-categories of ...

**6**

votes

**1**answer

459 views

### What is the applications of the dg-enhancements of derived categories of sheaves

Let $X$ be a scheme and let $D^b_{\text{coh}}(X)$ be the derived category of complexes of sheaves with bounded, coherent cohomologies.
We know that the category $D^b_{\text{coh}}(X)$ has some ...

**5**

votes

**0**answers

200 views

### Is there a higher, “orientalish” version of geometric realisation?

Geometric realisation of simplicial sets can be roughly thought of like this:
In some category $\mathcal{C}$, we choose an object for every abstract $n$-simplex. In topological spaces, we would ...

**2**

votes

**0**answers

119 views

### References for the bicategory of ring-bimodule pairs

One of the standard examples of a bicategory is the bicategory of rings (with bimodules as 1-morphisms), which is sometimes denoted $\operatorname{Bim}$ and in other sources $\operatorname{Ring}$ (or ...

**5**

votes

**1**answer

146 views

### What homomorphisms $G \to BrPic(\mathcal{C})$ correspond to group-theoretical $G$-extensions of $\mathcal{C}$?

For a fusion category $\mathcal{C}$ the Brauer-Picard group $\text{BrPic}(\mathcal{C})$ is the group of all invertible $\mathcal{C}$-bimodule categories under multplication $\boxtimes_\mathcal{C}$.
...

**7**

votes

**1**answer

231 views

### On the coherence theorem for bicategories

The coherence theorem for bicategories, as usually stated, reads
Any bicategory $B$ is biequivalent to a (strict) 2-category.
It is possible to give an explicit construction of the ...

**2**

votes

**1**answer

183 views

### strictifying tricategories

Every tricategory is equivalent to a Gray-categories. However any Gray-category is not equivalent to a 3-category. As far as I know, this is similar to the fact that braided monoidal categories are ...

**2**

votes

**0**answers

197 views

### A Cartesian model structure (and straightening for) on $n$-trivial simplicial sets

A pair $(X,tX)$, with $X$ a simplicial set and $tX$ a collection of simplices of $X$, is said to be stratified if no $0$-simplex is in $X$ and all degenerate simplices of $X$ are in $tX$. Recall a ...

**1**

vote

**0**answers

105 views

### Function complex and simplicial presheaves

Let $\mathcal{C}$ be a small catgeory, $\mathcal{E}$ be a model category and $A\: : \: \mathcal{C}\to \mathcal{E}$ be a functor. Let $\tilde{A}$ be an objectwise cosimplicial frame on A. Consider the ...

**5**

votes

**2**answers

187 views

### For a quasicategory $C$, why is $\mathrm{Fun}(\Lambda^2_0,C) \to \mathrm{Fun}(\Delta^{\{2\}},C) \cong C$ a cocartesian fibration?

More generally, I expect that the following is true:
Let $D$ be a diagram quasicategory, let $d \in D$ be a vertex, and use this to define $D' = D \amalg_{\Delta^{\{0\}}} \Delta^1$. Then ...

**7**

votes

**0**answers

256 views

### A model category for E-infty algebras in a non-monoidal model category?

Given a suitable nice symmetric monoidal category $C$, symmetric monoidally enriched, tensored, and cotensored over a symmetric monoidal category $S$, and an operad $\mathcal{O}$ in $S$, we can ...

**8**

votes

**1**answer

453 views

### Can any object in a presentable category be written as a colimit of generators?

Let $\mathcal{C}$ be a presentable category, and let $S$ be a set of objects such that $S$ generates $\mathcal{C}$ under colimits, i.e., such that the smallest cocomplete subcategory of $\mathcal{C}$ ...

**7**

votes

**2**answers

549 views

### Relationship between Hochschild cohomology and Drinfeld centers

Let $HH_*(A,N)$ (or $HH^*(A,N)$) be the Hochschild homology (or cohomology) of an associative algebra $A$ with coefficients in an $A$-bimodule $N$.
I was reading nlab's entry on Hochschild cohomology ...

**5**

votes

**1**answer

252 views

### Mayer-Vietoris sequence for twisted R-homology

In this paper Ando, Blumberg, Gepner, Hopkins and Rezk define the twisted $R$-Homology of a ring spectrum $R$ together with a map $f \colon X \to R$-$Line$ to be
$$
R^f_n(X) =
\pi_0(map_R(\Sigma^nR, ...

**6**

votes

**2**answers

805 views

### 2-category theory

I know that we can do a lot of 2-category theory, seeing 2-categories as Cat-enriched categories. Yet, I know that there are some limitations of this approach.
I also know that there are many articles ...

**4**

votes

**0**answers

260 views

### Reference Request for TQFTs

I had originally asked this question on Math StackExchange but have not obtained any answers, so I decided to post this here. (I have flagged the MSE post to be moved to MathOverflow, for the ...

**3**

votes

**1**answer

559 views

### Opposite Symmetric Monoidal Structure on an Infinity Category

Given an $\infty$-category (in the sense of Lurie) $C$, and a symmetric monoidal structure on $C$ associated to a coCartesian fibration $p:C^\otimes\to N(Fin_\ast)$, Lurie says in Remark 2.4.2.7 of ...

**8**

votes

**2**answers

335 views

### Why does a tetracategory with one object, one 1-morphism and one 2-morphism give a symmetric monoidal category

According to the periodic table of k-tuply monoidal n-categories, it should be the case that a tetracategory (= weak 4-category) with one object, one 1-morphism and one 2-morphism is effectively ...

**4**

votes

**2**answers

702 views

### What's so special about $1$-categories?

I have been pretty thoroughly convinced for some time now that, when thinking about mathematics, one really should be thinking 'categorically', that is, one should always be thinking of the morphisms ...

**11**

votes

**2**answers

401 views

### A bit of history of Verdier duality

I was wondering who originated the presentation of Verdier duality as an equivalence between categories of sheaves and cosheaves ?
I learnt it reading Jacob Lurie's Higher Algebra and Justin Curry's ...

**16**

votes

**1**answer

706 views

### Lurie's approach to the bar-cobar adjunction

I've been trying to read Jacob Lurie's approach to the bar-cobar constructions (Higher algebra §5.2 in the 2014-09 version) but I don't recognize what I know about these constructions. I wonder if ...

**4**

votes

**1**answer

183 views

### Adjoint of simplicial left Kan extension

Let $\mathcal{C}$ be a small simplicial category and let $F\: : \:\mathcal{C}^{op}\to sSet$ be a simplicial functor, we denote with
$$
\int_{\mathcal{C}}F
$$
the category where objects are triples ...

**6**

votes

**2**answers

421 views

### Obstructions for $E_n$-algebras

In Alan Robinson's paper, Classical Obstructions and S-algebras, he provides conditions for a ring spectrum to have an $A_n$ and $\mathbb{E}_\infty$-structure.
Have the obstructions for an object ...

**13**

votes

**2**answers

770 views

### Non-unique splittings of homotopy idempotents

By a homotopy idempotent I mean a map $f:X\to X$, where $X$ is a space, equipped with a homotopy $f\circ f \sim f$. In contrast to the situation in stable homotopy theory (where $X$ would be a ...

**-1**

votes

**1**answer

385 views

### $E_n$ structures on Symmetric Monoidal Stable infinity-categories [closed]

Let $C$ be a stable $∞$-category with a monoidal structure on it, hence a monoidal stable $∞$-category; if this monoidal structure is "maximally symmetric" (in Wikipedia's sense) $C$ is a symmetric ...