The higher-category-theory tag has no wiki summary.

**4**

votes

**1**answer

163 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

**1**answer

83 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

**1**answer

95 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

**1**answer

258 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

**1**answer

112 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

**0**answers

54 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 ...

**2**

votes

**0**answers

67 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 ...

**2**

votes

**0**answers

66 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

**0**answers

93 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

**2**answers

134 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

**0**answers

110 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 ...

**5**

votes

**0**answers

101 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

**0**answers

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

**0**answers

80 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

**1**answer

250 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

**1**answer

174 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

**0**answers

125 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

**2**answers

303 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

**1**answer

559 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

**0**answers

96 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

**1**answer

205 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

**2**answers

334 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

**2**answers

166 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

**0**answers

154 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

**0**answers

33 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

**0**answers

94 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

**2**answers

231 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

**0**answers

165 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

**1**answer

569 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

**1**answer

217 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

**1**answer

196 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

**0**answers

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

**3**answers

894 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

**0**answers

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

**0**answers

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

**1**answer

245 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

**2**answers

117 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

**2**answers

268 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 ...

**3**

votes

**0**answers

103 views

### Recognition principle for 2-categories (2-groupoids)

Given a 2-category (i.e. bicategory) $C$ there is a unitary geometrical nerve whose 0-simplices are objects of $C$, 1-simplices are 1-arrows of $C$, 2-simplices are 2-commutative triangles (in certain ...

**8**

votes

**1**answer

255 views

### Adjoining adjoints in a 2-category

For a given 2-category $C$, does there exist a faithful and locally faithful 2-functor $C \to C^*$, such that the image of every 1-morphism of $C$ has a right adjoint in $C^*$?
Below are some of my ...

**8**

votes

**0**answers

181 views

### Are n-truncated quasicategories a model for n-categories?

In Higher Topos Theory, Lurie gives a description of $n$-categories (section 2.3.4) in terms of quasicategories. In other words, he gives a definition (2.3.4.1) of an $\infty$-categorical notion of ...

**7**

votes

**1**answer

126 views

### coends of stable infinity categories

Let $\mathcal{I}$ be a small ordinary category that I would like to think of as a diagram category. (If it helps: In my application $\mathcal{I}$ has only one object, i.e. comes from a monoid). Denote ...

**4**

votes

**0**answers

118 views

### Which endomorphism algebras are not Morita-trivial?

Let $\mathcal C$ be a symmetric monoidal category — for example, $\mathcal C$ might be the category of $R$-modules for a commutative ring $R$. At a minimum, I request further that:
$\mathcal C$ is ...

**2**

votes

**0**answers

111 views

### Homotopy limits of weak diagrams

This question is somehow related to my question at http://math.stackexchange.com/questions/683915/derived-pseudo-functor
and to the question here: A homotopy commutative diagram that cannot be ...

**1**

vote

**1**answer

497 views

### On the foundations for large categories

There are some basic discussions on the motivations of large categories and small categories [here] (On the large cardinals foundations of categories) and [here] (Large cardinal axioms and ...

**0**

votes

**1**answer

158 views

### Homotopy limit of a cosimplicial category

Consider the usual model structure on Cat (category of small categories).
Which are the fibrations of the injective model structure on the category of cosimplicial categories $Fun( \Delta ,Cat )$?
...

**1**

vote

**0**answers

90 views

### A definition of a version of n-category with linear structure and tensor product

Let us assume that the $m$-categories with $0\leq m <n$ are
already defined.
1) A $n$-category has a set of $p$-morphisms, labeled by $i^{[p]}$, for
$0\leq p <n$, and each set of the ...

**2**

votes

**1**answer

170 views

### n-limits and the Descent Category

Probably, this question could be at http://math.stackexchange.com/, but, for some reason, I can't access that site right now. So, I apologize in advance.
At this article ...

**10**

votes

**0**answers

547 views

### Motivic derived algebraic geometry

In algebraic geometry one studies spaces locally modelled on commutative algebras, i.e. commutative algebra objects in the symmetric monoidal category Ab of abelian groups. Now supposedly in the ...

**2**

votes

**1**answer

351 views

### A simple definition of n-category [closed]

Maybe there is no simple definition of $n$-category understandable for a physicist. Then I would like to know what are the trivial $0$-category, trivial $1$-category, trivial $2$-category, etc. How ...