The tag has no wiki summary.

learn more… | top users | synonyms

-1
votes
0answers
37 views

Specific examples or applications of homotopy coherent diagrams [on hold]

nlab gives the basic idea about homotopy coherent diagram 1. Please show me a specific example or application on how it is done, thanks !
2
votes
1answer
82 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 ...
-2
votes
0answers
96 views

Should an object in the category always be a formal mathematical structure? [on hold]

Today I heard during a popular lecture about the applications of category theory, than an object in the category should always be some kind of mathematical structure e.g. a set, ring, monoid, etc. So ...
0
votes
0answers
43 views

About cartesian closure of lax.functors categories

Let $\mathscr{A}$ a category and $F, G, H: \mathscr{A}^{op}\to CAT$ lax.functors. I wish find a possible "natural correspondence" between categories: $[F\times G, H]_O \leftrightarrow [F, H^G]_O$ ...
3
votes
0answers
69 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 ...
5
votes
1answer
168 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
3answers
317 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 ...
3
votes
1answer
193 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
0answers
164 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
0answers
91 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
1answer
111 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
1answer
178 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
1answer
167 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
0answers
129 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
0answers
79 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
2answers
163 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
0answers
222 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 ...
7
votes
1answer
293 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}$ ...
6
votes
2answers
338 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
1answer
213 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, ...
4
votes
2answers
473 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
0answers
212 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
1answer
486 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
2answers
299 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
2answers
663 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
2answers
342 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 ...
14
votes
1answer
469 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 ...
3
votes
1answer
157 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
2answers
305 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 ...
10
votes
1answer
459 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
1answer
322 views

$E_n$ structures on Symmetric Monoidal Stable infinity-categories

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 ...
-3
votes
1answer
121 views

Relations between ordinary functor categories and higher categories [closed]

Definitions of ordinary functor categories and higher categories are considered with very similar algebraic and geometric methods such as graph structures and simplicial sets. I know the differences ...
4
votes
1answer
250 views

$\omega$-nerve versus $\Theta$-nerve

To which extent the adjunction $F\dashv N_\omega$ generated by the $\omega$-nerve described at $n$Lab - oriental (obtained as a particular instance of the nerve-realization paradigm) is linked to the ...
2
votes
2answers
276 views

When do zero-simplices of a simplicial diagram determine its homotopy colimit?

Suppose that I have a diagram of simplicial sets $X_\bullet:\mathscr{C} \to Set^{\Delta^{op}},$ with $\mathscr{C}$ a small category such that for each $C \in \mathscr{C},$ $X_\bullet(C)$ is a Kan ...
4
votes
0answers
97 views

Trying to understand straightening functor associated to a right fibration of simplicial sets

Let $p:X \to S$ be a right fibration of simplicial sets; one can roughly think of it as some sort of "functor" $S^{op} \to Set_\Delta$ (where $Set_\Delta$ denotes simplicial sets) sending $s \in S$ ...
4
votes
0answers
85 views

Limits in Span(Vec)

Let Vec be the category of real vector spaces and linear maps. Let Span(Vec) be the bicategory of correspondences between real vector spaces. I am trying to understand lax limits in Span(Vec). What ...
0
votes
0answers
64 views

Complex of “homotopy coherent dg-natural transformations” between dg-functors

Let $\mathcal B$ be a dg-category. I define the dg-category of morphisms $\underline{\mathrm{Mor}}(\mathcal B)$ as follows: objects are triples $(A,B,f)$, where $A,B \in \mathcal B$ and $f \in ...
-1
votes
1answer
223 views

Kan extensions and special cases

Kan extensions specify the adjoint structures between $\mathbf{Sets^{C^{op}}}$ and $\mathbf{Sets^{D^{op}}}$, where there exists a functor $f:\mathbf{C} \to \mathbf{D}$ and $\mathbf{C}$ and ...
40
votes
5answers
4k views

Why higher category theory?

This is a soft question. I am an undergrad and is currently seriously considering the field of math I am going into in grad school. (perhaps a little bit late, but it's better late then never.) I ...
11
votes
0answers
394 views

Chiral categories versus braided monoidal categories

Let $X$ be a curve over $\mathbf{C}$. As I understand from the 2008 Talbot notes, a chiral category on $X$ consists of a crystal of categories on the Ran space $\mathrm{Ran}(X)$ (see these notes of ...
9
votes
1answer
223 views

Extended TFT with coefficients in spans in any $\infty$-topos

In the TFT classification article by Jacob Lurie (arXiv:0905.0465) the (∞,n)-category of correspondences (there: $Fam_n$) plays a key role, whose $k$-morphisms are $k$-fold spans of ...
8
votes
1answer
580 views

Higher vector spaces

As far as I know there are different ways to categorify the notion of vector space/module. These appear (for example) when trying to find extended TQFTs. There are at least two ways (presented at ...
10
votes
0answers
264 views

“extended TQFT” versus “TQFT with defects”

There are two ways in which higher categories appear in topological field theory: in extended TFTs and in TFTs with defects. How are these appearances related? According to the Atiyah-Segal axioms, a ...
1
vote
1answer
94 views

Is the extension of a quasi-functor again a quasi-functor?

Let $\mathcal A, \mathcal A', \mathcal B$ be dg-categories over a field $k$ (this assumption allows me not to derive the tensor product, I don't think it is really essential). Let $F : \mathcal A \to ...
8
votes
0answers
102 views

What suffices to check completeness in an n-fold Segal space?

Recall that a Segal space is a simplicial space $X : \Delta \to \mathrm{Spaces}$, $\bullet \mapsto X_\bullet$, which satisfies the Segal condition: For each $j$, the map $$ X_j \to ...
4
votes
0answers
177 views

$n$-Fold Framed Functions

Suppose that $M$ is a manifold. One can consider a suitably constructed space of generalized framed Morse functions on $M$, let's call it $\mathrm{Fun}^\mathrm{fr}(M)$. This space is known to be ...
0
votes
0answers
171 views

Goodwillie tower of $\Omega^n$?

What are layers of the Goodwillie tower of the functor "n-th iterated loop space" from based spaces to based spaces? I know the answer for n=0.
7
votes
1answer
516 views

What are $( \infty , n)$-categories useful for?

I know that mathematicians are trying to construct adequate models for $( \infty, n)$-categories. Although, it seems to be an interesting task, I would like to know some explicity examples where this ...
9
votes
1answer
318 views

$k$-Disk algebras versus $E_k$ algebras

Background: The little $k$-cubes operad is the $(\infty,1)$-operad defined by embedding disjoint unions of $k$-dimensional open cubes rectilinearly into one another, that is using maps ...
4
votes
0answers
264 views

Commutation of simplicial homotopy colimits and homotopy products in spaces

Edit: The claim below is wrong, as explained in the comments, because infinite homotopy products of simplicial sets require their components to be fibrantly replaced first, unlike finite homotopy ...