The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
2answers
254 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 ...
4
votes
1answer
196 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
394 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
181 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 ...
2
votes
1answer
347 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
277 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 ...
2
votes
2answers
542 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
329 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
408 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
137 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
263 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 ...
8
votes
1answer
330 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
225 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
115 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
243 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 ...
3
votes
2answers
179 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
88 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
82 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
60 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
216 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 ...
37
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
371 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
218 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
556 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
209 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
90 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
91 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
167 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
163 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.
8
votes
1answer
409 views

Why $( \infty , n)$-categories are 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 ...
8
votes
1answer
289 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
231 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 ...
6
votes
0answers
236 views

What is a stable $(n,1)$-category?

My question in its simplest form is whether we have any understanding of stable $(n,1)$-categories, by analogy with stable $(\infty,1)$-categories and abelian categories (the latter being like "stable ...
3
votes
1answer
71 views

Categories of spans from categories of fibrant objects

Let $\mathscr{C}$ be a category of fibrant objects. For objects $X$, $Y$ of $\mathscr{C}$ we consider the category $\underline{\text{Hom}}(X,Y)$ of spans $X\leftarrow X'\rightarrow Y$, where $X'\to ...
13
votes
2answers
425 views

Infinite dimensional 2-Hilbert spaces

Is there a definition of an infinite dimensional 2-Hilbert space? Finite dimensional 2-Hilbert spaces have been discussed by Baez in http://arxiv.org/abs/q-alg/9609018 In the more recent paper by ...
2
votes
1answer
146 views

what is the stabilization of pointed sets?

Given a(n $\infty$-)category, there is a process called "stabilitazion" which spits out a stable $\infty$-category (as one can read about in either Higher Algebra or the nlab). The famous example is ...
1
vote
0answers
102 views

target category of extended field theory

An A-S TFT is a functor from $\text{Bord}_{<n−1,n>}(\mathcal{F})$ to $\text{Vect}$ where $\mathcal{F}$ denotes a set of background fields, eg a spin structure. An extended theory is a functor ...
4
votes
0answers
86 views

Limits and colimits in a 2-category vs. in an infinity category: the non- (2,1)-case

Suppose that $\mathscr{C}$ is a $2$-category (or more generally a bicategory) which is not a $\left(2,1\right)$-category. Is there any relation between limits and colimits in $\mathscr{C}$ (in the ...
1
vote
0answers
91 views

adjoint representation of 2-Lie groups

Baez and Crans in their paper on Lie 2-algebras refer to adjoint representations of Lie 2-groups but don't say much, as far as I can tell, except to say that such a representation acts on a 2-Lie ...
3
votes
0answers
97 views

Lifting commutative diagrams of functors from the homotopy level to the “higher” level

Let $\mathcal A$ and $\mathcal B$ be differential graded categories over a field. Let $F, G, K : \mathcal A \to \mathcal B$ be quasi-functors (see here for definitions). Assume you have morphisms of ...
3
votes
0answers
118 views

When do limits and colimits of infinity-categories commute?

This is a question for someone who read (or wrote) enough of Lurie's HTT to know a reference. Suppose $D,E$ are small "diagram" $(\infty,1)$-categories, and $\mathcal{C}$ is a stable infinity-category ...
6
votes
0answers
167 views

Derived Functors, Projection Formula and Base Change in the Derived $\infty$-Category

Let $X$ be a smooth stack and $\mathcal O_X$ the ring of smooth functions on $X$, i.e. for any smooth $M \to X$, $\mathcal O_X(M \to X) = C^\infty(M)$. In HigherAlgebra, the derived category ...
0
votes
1answer
215 views

(Homotopy) limits and colimits in a dg-category

It is known that differential graded categories (or, also, $A_\infty$-categories) are 'incarnations', in some sense, of (stable) $(\infty,1)$-categories. I'm not used to the theory of ...
1
vote
0answers
42 views

Reconstructing an isomorphism of exact triangles in the homotopy cat. of a dg-cat. using a functorially induced isomorphism between cones

This question is strictly related to this other one. Let $\mathcal A$ be a (strongly) pretriangulated dg-category over a field $k$. Let be a diagram in $Z^0(\mathcal A)$, where the rows are ...
3
votes
1answer
103 views

Reconstructing a morphism of exact triangles in the homotopy cat. of a dg-cat. using a “functorial cone map”

I set this problem in the framework of (pretriangulated) dg-categories; everything can probably be translated in the world of stable $(\infty,1)$-categories. Let $\mathcal A$ be a pretriangulated ...
3
votes
0answers
141 views

A model structure on marked simplicial sets

Do you have a reference for the following fact? And before that, is it true? The Joyal model structure on simplicial sets "lifts" to a model structure on the category of marked simplicial sets, ...
5
votes
1answer
186 views

Hypercovers of sheaves in classical and quasi-categories

I am interested in relating the definition of hypercovers in the $\infty$-topos of sheaves on an $\infty$-Grothendieck site to the classical definition of hypercovers of presheaves on a Grothendieck ...
6
votes
1answer
230 views

Constructing a “geometric” model structure on Cat by localizing the “categorical” model structure

Let $\text{Cat}$ be the category of (small) categories and functors. There is a "categorical" (also called "canonical" or "folk") model structure on $\text{Cat}$ in which the weak equivalences are the ...
4
votes
1answer
109 views

Good properties of the $H^0$ functor (from quasi-functors to ordinary functors)

Let $\mathcal A, \mathcal B$ be dg-categories over a field $k$. I denote by $\mathcal{RHom}(\mathcal A,\mathcal B)$ the dg-category (defined up to quasi-equivalence) which gives the internal hom in ...
5
votes
1answer
125 views

Do non-subcanonical Grothendieck topologies always induce a category of fractions?

Suppose that $\mathscr{C}$ is a (possibly higher) category and $J$ is a Grothendieck topology which is not subcanonical. Denote the composite $$\mathscr{C} \hookrightarrow ...