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

**2**

votes

**1**answer

241 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

57 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

1k 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

89 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

170 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

355 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

162 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

356 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

113 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

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

**9**

votes

**0**answers

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

**8**

votes

**1**answer

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

**6**

votes

**0**answers

148 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

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

**2**

votes

**1**answer

532 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

178 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

92 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

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

**11**

votes

**0**answers

739 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

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

**1**

vote

**1**answer

194 views

### What is this name of this 2-category without very much structure?

I was wondering if there is a name for this 2-category which is like the 2-category of natural transformations, but does not actually require the 1-morphisms to be functors or the 2-morphisms to be ...

**2**

votes

**0**answers

135 views

### Cloven Kan fibrations

For each groupoid $G$ there is a monad such that the cloven fibred groupoids over $G$ are algebras for this monad. I am looking for an infinite dimensional counterpart: a monad on simplicial sets ...

**1**

vote

**0**answers

149 views

### The bar construction or the quotient for monoidal category action on a category

Given a monoid $C$ acting (from the right) on a set $M$, there is a bar construction giving a simplicial set or equivalently a translation/action category,
$$
N_\bullet (M\rtimes C)= \cdots M\times ...

**4**

votes

**1**answer

209 views

### Simple-minded coherence of tricategories

Recall Mac Lane's version of coherence for monoidal categories, which one can state informally as follows:
"Simple-minded" coherence for monoidal categories
Let $A$, $A^\prime$ be two ...

**4**

votes

**2**answers

419 views

### Small objects in categories

I would like to pick out small objects from a category. I would like to find such a notion which
Dream 1. Picks out the schemes of finite type over $k$ from the category of $k$-schemes. Or at least ...

**1**

vote

**0**answers

200 views

### A potential definition of weak $\omega$-categories

This question was inspired by the Homotopy Type Theory Book.
Might we define a weak $\omega$-category as described below?
Is any similar approach already considered in the literature?
Let ...

**8**

votes

**1**answer

362 views

### Are $(\infty,1)$-categories $A_\infty$ categories?

Let $X$ be a set. One can define a non-symmetric colored version of the non-unital $A_\infty$ operad as follows. The set of colors is the set of ordered pairs in $X$. Let ...

**2**

votes

**0**answers

135 views

### Model structure on stacks

does anyone know if there is a model structure on stacks where the cofibrations are the monomorphisms ?
As far as I know usually to get a model structure on stacks one localizes a model structure on ...

**5**

votes

**3**answers

405 views

### What is a Homotopy between $L_\infty$-algebra morphisms II

I would like to continue on question I asking, what is a homotopy between
Lie infinity algebras, since I'm not satisfied in two directions:
1.) The naive approach to define a homotopy would be ...

**4**

votes

**2**answers

333 views

### 2 and 3 pullbacks

If $F:A\to C$ and $G:B\to C$ are morphisms in $Cat$, then their pseudo-pullback (I hope it's the right notion) can be calculated as the strict limit $A\times_C C^I \times_C B$, where $I$ is the ...

**3**

votes

**1**answer

279 views

### Relation between hypercompleteness and the property that Cech cohomology calculates sheaf cohomology

Let $C$ be a small site with fibre products. The (injective) Čech model structure on simplicial presheaves $\operatorname{sPre}(C)$ on $C$ presents an $(\infty,1)$-topos and one may ask if this ...

**3**

votes

**3**answers

262 views

### Higher dimensional pasting diagram of cubes

A pasting diagram is the analogue of composition of arrows in higher categories. The nlab page gives an example of a two dimensional diagram and how to compute it as a composite of two morphisms. I am ...

**2**

votes

**1**answer

161 views

### What is the suitable setting for supercoherence with value in a bicategory?

It was J.F. Jardine established the so called supercoherence theory in Journal of Pure and Applied Algebra Volume 75, Issue 2, 18 October 1991, Pages 103–194. The result can be roughly stated as ...

**7**

votes

**1**answer

218 views

### Are topoi and etale geometric morphisms locally small?

This question is related to this one: Local smallness and (higher) topoi which has not yet been answered.
The $2$-category of topoi and geometric morphisms is not locally small. (As I mentioned in ...

**9**

votes

**2**answers

381 views

### Do Homotopy Fully Faithful Functors Push-out?

A (homotopy) fully faithful functor is a map of $\infty$-categories which induces weak equivalences on mapping spaces.
Are homotopy fully faithful functors preserved under (homotopy) pushout?
More ...

**6**

votes

**1**answer

227 views

### Joins of, and limits in, $(\infty,1)$-categories via profunctors

I'm trying to interpret the join of $(\infty,1)$-category in a more conceptual way. Let me try to explain what I have in mind.
In the classical setting it is almost a triviality to express the join ...

**9**

votes

**1**answer

342 views

### Local smallness and (higher) topoi

The $2$-category of topoi and geometric morphisms is not locally small. For example, if $A$ is the classifying topos for abelian groups, the category of geometric morphisms from $Set$ to $A$ is ...

**23**

votes

**2**answers

831 views

### How do you define (infinity,1) categories in Homotopy Type Theory?

One of the major motivations of Homotopy Type Theory is that it naturally builds in higher coherences from the beginning. One important setting where higher coherence requirements get annoying is ...

**2**

votes

**1**answer

159 views

### Create 2-category from a cartesian category

I have a way of constructing (something like) a 2-category from a category with products $\mathcal{C}$.
My question: Is this a correct construction, and if so, does it have a name?
Define ...

**7**

votes

**0**answers

194 views

### Is there a Rado category?

The Rado graph appears to have a nice universality property (it contains all finite and all countably infinite graphs as induced subgraphs) and homogeinety property (any isomorphism between ...

**1**

vote

**1**answer

204 views

### Could we extend the Atiyah class to the sheaf of poly-vector fields to get a Poisson bracket?

Let $X$ be a complex manifold and $TX$ its tangent bundle. The Atiyah class $\alpha(E)\in \text{Ext}^1(E\otimes TX, E)$ for a vector bundle $E$ is defined to be the obstruction of the global existence ...

**10**

votes

**1**answer

521 views

### What interesting homotopy invariants can I write down using the universal property of homotopy types?

I've recently been led to believe some version of the following statement:
Weak homotopy types, or equivalently $\infty$-groupoids (let me not commit myself to a particular model of these), are ...

**10**

votes

**4**answers

694 views

### What is the relation between the Lie bracket on $TX$ as commutator and that coming from the Atiyah class?

Let X be a complex manifold and $TX$ its tangent bundle. The Atiyah class $\alpha(E)\in \text{Ext}^1(E\otimes TX, E)$ for a vector bundle $E$ is defined to be the obstruction of the global existence ...

**5**

votes

**1**answer

233 views

### What's the link between topological spaces as locales and topological spaces as infinity-groupoids?

I've seen texts that talk about topological spaces being essentially locales, like Topology via Logic by Vickers, and texts related to homotopy theory that talk about topological spaces being ...

**3**

votes

**0**answers

166 views

### About a Double-pseudo-category generalization of the module bicategory construction

To a category with finite limits $\mathscr{C}$, it is associated the bicategory of its spans $Span(\mathscr{C})$. Furthermore the bicategory of (bi)modules (and monoids) on $Span(\mathscr{C})$ is ...

**8**

votes

**1**answer

276 views

### Loops and suspensions of higher categories

Given a pointed $(\infty,n)$-category $\mathcal{C}$, one can define the suspension of $\mathcal{C}$, $\Sigma\mathcal{C}$, via the homotopy pushout of $$\ast\leftarrow \mathcal{C}\rightarrow \ast.$$ ...

**12**

votes

**1**answer

713 views

### Lower Algebra: Modules over the monoidal category of abelian groups

Proposition 6.3.2.18 of Higher Algebra identifies $Mod_{Sp}(Pr^L)$, the symmetric monoidal category of right modules over the monoidal category $Sp$ of spectra in $Pr^L$ the category of presentable ...

**10**

votes

**1**answer

348 views

### The state of the art in the rectification of homotopy-coherent structures

My question concerns rectification theorems for homotopy-coherent structures. As the meaning of this may be unclear, let me list a few examples of what I am thinking of:
Cordier and Porter proved a ...

**3**

votes

**0**answers

223 views

### For an $(\infty,1)$-topos, is the object functor from groupoid objects to the topos a fibration, cofibration?

This question is kind of suggested by the question Is the category of group objects in an $(\infty,1)$-topos reflective as a subcategory of the groupoid objects?
Question: If $\mathcal C$ in an ...

**5**

votes

**1**answer

333 views

### Is the category of group objects in an $(\infty,1)$-topos reflective as a subcategory of the groupoid objects?

Let $C$ be an $(\infty,1)$-topos. The $(\infty,1)$-category of group objects in $C$ is a full sub-$(\infty,1)$-category of groupoid objects in $C$:
$${\mathsf{Grp}}(C) \hookrightarrow ...