The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
1answer
114 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
76 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
66 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
85 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
67 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 ...
2
votes
0answers
92 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 ...
3
votes
0answers
120 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
0answers
76 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
35 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
92 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 ...
1
vote
0answers
127 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, ...
4
votes
1answer
159 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 ...
5
votes
1answer
201 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
98 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
105 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 ...
6
votes
1answer
281 views

Do homotopy limits compute limits in the associated quasicategory in the non-combinatorial model category case?

Suppose that $\mathcal{M}$ is a model category which is not combinatorial, does a homotopy limit in $\mathcal{M}$ correspond to a limit in the associated $\left(\infty,1\right)$-category? How about ...
3
votes
1answer
123 views

Exponential objects in a category of abstract automata

I'm working with a more or less standard definition of the category Aut(C) of automata over a category C (where C has finite products) which has tuples $$ A=\langle I_{A},O_{A},S_{A},\sigma_{A}, ...
1
vote
0answers
61 views

When can I compute the simplicial mapping space from a presheaf to a simplicial presheaf naively?

Suppose that $\mathscr{C}$ is is a small category, $Y$ is a presheaf (of sets) on $\mathscr{C},$ and $X_\bullet$ is a simplicial presheaf. There is a spectrum of simplicial model structures on ...
3
votes
0answers
75 views

How do you compute a homotopy colimit in a category of fibrant objects?

This question may be a bit vague, (so if suggested, can I make it community wiki), but I was wondering what techniques there exists for computing homotopy colimits in a category of fibrant objects. A ...
3
votes
0answers
108 views

When does prolongation preserve sheaves?

Suppose that $(C,J)$ and $(D,K)$ are two Grothendieck (possibly $\infty$-)sites and $f:C \to D$ is a functor such that $$f^*:Psh(D) \to Psh(C)$$ sends sheaves to sheaves. Under what conditions will ...
1
vote
0answers
97 views

Retracts of 2-categories

Let $\mathbf{C}$ be a strict $2$-category and let $M = \{(x_\alpha,y_\alpha)\}$ be a collection of object-pairs so that each hom-category $\mathbf{C}(x_\alpha,y_\alpha)$ has an initial element ...
5
votes
2answers
137 views

Mapping complexes in the simplicial localization of the category of manifolds

Let $\mathit{Mfd}$ denote the category of smooth manifolds. Let $W$ denote all projections of the form $$M \times \mathbb{R} \to M.$$ Let $\mathit{Mfd}_W$ denote the Hammock localization of ...
3
votes
0answers
113 views

When do localizations of presentable (infinity) categories commute?

Suppose that $\mathscr{P}$ is a (locally) presentable $\left(\infty,1\right)$ category (which we can assume WLOG is infinity presheaves on some small $\left(\infty,1\right)$ category) , and $R$ and ...
6
votes
0answers
110 views

When does a sheaf of categories represent a homotopy sheaf?

Suppose that $F$ is a sheaf of categories (on a Grothendieck site or even a topological space). By this, I mean a sheaf in the naive 1-categorical sense, so it can equivalently be viewed as a category ...
3
votes
0answers
96 views

On the preservations of certain colimits (by covers) under simplicial localization (of a category of fibrant objects)

Suppose I have a category of fibrant objects $\mathcal{C}$ (with weak equivalences $W$ and fibrations $F$) together with a subcanonical Grothendieck pre-topology $J$ whose covering families consist of ...
5
votes
0answers
83 views

Non-degenerate limits of topoi

Let $\mathcal{E}$ be an elementary topos with natural numbers object $\mathbb{N}$, and let $\mathbb{C}$ be a cofiltered internal category in $\mathcal{E}$. Suppose we have a diagram of shape ...
13
votes
1answer
280 views

Unobstructedness of braided deformations of symmetric monoidal categories in higher category theory

Let $k$ be a field of characteristic zero, and $\mathcal{C}$ be a $k$-linear additive symmetric monoidal category. A braided deformation of $\mathcal{C}$ over a local artin ring $R$ with residue ...
7
votes
1answer
179 views

Localizing 2-categories about a single morphism

This question is a straight-up reference request, but of course I will be grateful for an answer in the event that no references are readily available. Consider a strict $2$-category $\mathbf{C}$ and ...
1
vote
0answers
128 views

Axioms for a symmetric monoidal bicategory

I start reading the axioms for a symmetric monoidal bicategory. The axioms include so many diagrams to be satisfied. I am wondering if people really use these axioms directly to check a given data is ...
5
votes
2answers
331 views

Homotopy factorization of morphisms of chain complexes

This is a sort of follow up to this MO question. Let $R$ be a ring (eventually with good properties) and $\mathrm{Chains}(R)$ be the category of chain complexes of $R$-modules (eventually bounded). ...
8
votes
1answer
597 views

Learning higher differential geometry

I have read parts of the motivation on nlab and all the posts on MO I could find on the subject, and by now there are a few questions on my mind. If they trivial for someone who understands the ...
3
votes
0answers
98 views

Stable $\infty$ categories as a 2-category

Is there a treatment in the literature of stable $\infty$ categories as a 2-category? I.e. with non invertible 2-morphisms. Mostly I am interested in the behavior of the tensor product with respect ...
0
votes
1answer
210 views

What is the delooping of a looping?

What is $\mathbf{B}\Omega A$, where $A$ is a pointed object of an $(\infty,1)$ category with point $*\to A$, $\Omega A$ is the loop space of $A$, and $\mathbf{B}X$ is the delooping of $X$? The ...
8
votes
2answers
350 views

Relation between fully-extended TQFT and a “topless” TQFT

Consider 3-dimensional TQFTs for example. One version of them is the 3-2-1-0 fully extended TQFT. Do we have another version: 2-1-0 extended "TQFT"? If yes, do we have an example of 2-1-0 extended ...
1
vote
2answers
180 views

Defining degeneracies for semi-simplicial sets with inner Kan conditions

Suppose we are given a category enriched over semi-simplicial sets, i.e. for the simplices in this category we have well-defined boundary maps, but no degeneracy maps. Suppose also that in this ...
2
votes
0answers
160 views

Banach space interpolation theory in terms of categories

I have recently learned a bit about higher category theory. And there is a question I would like to ask. Can we enrich banach space interpolation theory by using higher category theory? Is it ...
2
votes
0answers
34 views

Connection on 3-bundle given as triplet of forms

A connection on a bundle is given locally by a Lie algebra-valued 1-form. Gauge transformations act in the usual way on the forms, and form a groupoid. A connection on a 2-bundle is given locally by ...
0
votes
0answers
98 views

Continuity of Kan extension along the Yoneda embedding

Let $\mathcal{C}$ be a category and $h_-: \mathcal{C} \to \mathrm{Set}^{\mathcal{C}^{op}}$ be the Yoneda embedding. Let $\mathcal{A}$ be a cocomplete category and $F: \mathcal{C} \to \mathcal{A}$ a ...
6
votes
2answers
240 views

Weakening simplicial identities

The generators $d_i, s_i$ for morphisms of the simplicial category satisfy simplicial identities: $d_jd_i = d_id_{j−1}$ for $i < j$ $s_jd_i = d_is_{j−1}$ for $i < j$ $s_jd_i = id$ for $i = ...
11
votes
0answers
185 views

Is there a quantum group or loop group description of a braided monoidal 2-category giving Khovanov homology?

Recall that there are (at least) two ways to describe the modular tensor category that $3$-dimensional Chern-Simons (with gauge group $G$ and level $k$) assigns to a circle: one involving ...
9
votes
1answer
577 views

I think I have a category enriched in $(\infty,n-1)$-categories. Is it an $(\infty,n)$-category?

I have recently been thinking about some mathematical gadgetry that should together combine into an $(\infty,n)$-category (actually, an $(n,n)$-category) for $n = 4$. I don't know what axioms I need ...
6
votes
1answer
219 views

$\Omega$ and $B$ as adjoints between symmetric monoidal $(\infty,n)$- and $(\infty,n-1)$-categories

Given a symmetric monoidal $(\infty,n)$-category $\mathcal{D}$, one obtains a symmetric monoidal $(\infty,n-1)$-category $\Omega \mathcal{D}$ by taking $\Omega \mathcal{D}= ...
2
votes
1answer
200 views

Follow up: Is continuity preserved when taking comma object?

Here, I asked wether taking lax pullback preserves continuity, but got no precise answer. However, I have found this recent article by Riehl and Verity which proves something very similar, but I ...
2
votes
0answers
50 views

Pseudofunctors of 2-variables and Gray tensor product of bicategories

Let $\mathcal{A}, \mathcal{B}, \mathcal{C}$ be bicategories. We say a 'pseudofunctors of 2-variables' consists of two families of pseufunctors Fix $A\in obj\mathcal{A}$, we have a pseudofunctor ...
17
votes
3answers
932 views

What is Chern-Simons theory expected to assign to a point?

Let $G$ be a compact, connected, (simply connected?) Lie group and let $k \in H^4(BG, \mathbb{Z})$ be a cohomology class. Witten showed, at a physical level of rigor, that this data determines a ...
3
votes
0answers
86 views

Bicategorical limits with parameters

(This question was asked in http://math.stackexchange.com/questions/741334/bicategorical-limits-with-parameters with no answer.) Let $F(-,-)\colon \mathcal{A}\times \mathcal{B}\to \mathcal{C}$ be a ...
2
votes
0answers
143 views

Is continuity of a functor stable under pullback?

Let $p:C\rightarrow D$, $i:F\rightarrow D$ be functors of 2-categories, and we form the lax pullback of $p$ along $i$ $$ \bar{p}:C\times_D^{lax} F\rightarrow F$$ Q1: Is it true that if $p$ ...
3
votes
1answer
253 views

A question on the Grothendieck construction

The usual Grothendieck construction is for pseudofunctors $I^{op}\to Cat$, where $I$ is a 1-category and $Cat$ is the 2-category of 1-categories. The Grothendieck construction produces a category with ...
1
vote
2answers
119 views

DG categories - pre-triangulated versus small limits

A DG category can be considered as an infinity category, say by taking Dold-Kan of the coconnective part of Hom spaces, thus obtaining a simplicial category. My question is, are the following ...
4
votes
2answers
290 views

What's an initial object in a poset-enriched category?

I have a functor $F:C \to D$ between poset-enriched categories, and I'd like to show that the induced map on classifying spaces is a homotopy-equivalence. To this end, I am trying to establish the ...