# Tagged Questions

**1**

vote

**1**answer

24 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 = ...

**8**

votes

**0**answers

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

**8**

votes

**0**answers

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

**5**

votes

**0**answers

119 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}= ...

**1**

vote

**1**answer

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

**3**

votes

**0**answers

81 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

135 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

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

**4**

votes

**2**answers

251 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

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

**7**

votes

**1**answer

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

**7**

votes

**1**answer

117 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

108 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

104 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

483 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

151 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 )$?
...

**2**

votes

**1**answer

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

**1**

vote

**1**answer

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

**4**

votes

**2**answers

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

**0**

votes

**0**answers

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

**6**

votes

**1**answer

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

**3**

votes

**2**answers

297 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

**3**answers

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

**3**

votes

**1**answer

157 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

194 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

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

**9**

votes

**1**answer

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

**22**

votes

**2**answers

554 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

153 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

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

**9**

votes

**1**answer

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

**2**

votes

**0**answers

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

**9**

votes

**1**answer

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

**8**

votes

**1**answer

260 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

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

**7**

votes

**1**answer

226 views

### Is there a Wall finiteness obstruction in other settings?

Let $\mathcal{S}$ be the $(\infty, 1)$-category of spaces. Then the compact objects of $\mathcal{S}$ are precisely the retracts of finite CW complexes. These are not the same as the finite CW ...

**17**

votes

**0**answers

468 views

### categorical characterization of large cardinals

Question 1. Is there a categorical representation of Kunen's inconsistency result?
Question 2. Is there a categorical characterization of very large cardinals (in particular for strong and ...

**3**

votes

**0**answers

234 views

### In the topos-theoretic interpretation of Physics by Isham & Doering what role does intuitionistic logic play? [closed]

I've asked this question on Physics.SE but was advised to ask it here.
Isham & Doering have written a series of papers exploring how to ground physics in topoi. Now the internal logic of topoi is ...

**1**

vote

**0**answers

222 views

### Categories of sheaves and Kan Extensions

This is quite a broad question regarding constructions of categories of sheaves in geometry.
Let $\textbf{Sch}$ denote the category of schemes. Let $\textbf{SchAff}$ denote the full subcategory of ...

**7**

votes

**1**answer

261 views

### What kind of category is a cyclically ordered set?

Background: A preorder is a binary relation $\leq$ which is reflexive and transitive. We can write the transitive property as ${\leq}(a,b)\wedge{\leq}(b,c)\to{\leq}(a,c)$. There are additional axioms ...

**3**

votes

**0**answers

165 views

### (∞,n)-category of triangulated cobordisms

What is an accepted definition of a (∞,n)-category of triangulated cobordisms?
Is there one that has a forgetful functor to (Rezk - Hopkins -) Lurie's smooth cobordisms? Does it shed light on how ...

**16**

votes

**2**answers

440 views

### Homotopy-theoretic derived Morita equivalences

Recall that two $k$-algebras $A, B$ are Morita equivalent iff their categories of left modules are equivalent. However, this relation turns out to be rather fine and one introduces a coarser ...

**5**

votes

**2**answers

264 views

### How does one Segal-subdivide a 2-category?

Let $\mathcal{C}$ be a small category. Then, its Segal subdivision $\text{sd }\mathcal{C}$ is a new category whose objects are morphisms of $\mathcal{C}$, and a morphism from $f:x \to y$ to $g: w \to ...

**32**

votes

**4**answers

1k views

### Is there an accepted definition of $(\infty,\infty)$ category?

For probably twenty years, category theorists have known of some objects in the Platonic universe called "(weak) $\infty$-categories", in which there are $k$-morphisms for all $k\in \mathbb N$, with ...

**16**

votes

**1**answer

2k views

### Is Lemma A.1.5.7 in Higher Topos Theory correct?

Hello to everyone,
I am studying the properties of combinatorial model categories, following the exposition given by Jacob Lurie in Higher Topos Theory ([HTT] from now on), in section A.2.6.
At some ...

**12**

votes

**0**answers

414 views

### What are some examples of weak ω-categories?

As is usual, let's say an (n, k)-category is something with
objects, morphisms, 2-morphisms, ..., n-morphisms, such that all
j-morphisms for j > k are invertible, everything meant in the
weak sense. ...

**10**

votes

**2**answers

360 views

### What is the Q-construction, metaphysically?

An exact (small) category $P$ is an environment in which we make sense of the "put-together"-edness of objects via (short) exact sequences. It seems like the K-theory of an exact category encodes the ...

**3**

votes

**0**answers

182 views

### looping and delooping spaces and categories

I'm trying to understand the relationship between the notions of looping and delooping in category theory and topology.
The morphisms in a category with one object have the structure of a monoid. ...

**4**

votes

**1**answer

272 views

### What is a higher derived constructible sheaf

Suppose $X$ is a topological space and $k$ some discrete coefficient field. Let's define the category of "$\infty$-local systems on $X$" to be DG representations of the ring $C_*(\Omega X,k)$ of ...

**4**

votes

**2**answers

742 views

### Generalized Categories for “Higher Homotopy Groupoids”

I was thinking about the definition of higher homotopy groups $\pi_n$ of a topological space in comparison to the common extremely formal fundamental groupoid construction of $\pi_1$. I'd like to be ...