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

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

**12**

votes

**0**answers

413 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

**0**answers

259 views

### What is the history of the notion of subdivision of categories?

A recent answer by Peter May prompts me to ask a question which I have been considering to ask for several months. (The reason why I have not asked it before is that it is not directly related to my ...

**9**

votes

**0**answers

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

**9**

votes

**0**answers

153 views

### KK-theory by abelianized correspondences of smooth stacks?

Whith (Kasparov, bivariant) KK-theory I am left with the nagging feeling that the theory is "more fundamental", than has been made explicit, that there is a "more profound" universal characterization ...

**9**

votes

**0**answers

481 views

### Cohesive ∞-toposes for analytic geometry

There is a class of big ∞-toposes that come with a good supply of intrinsic notions of differential geometry and differential cohomology: called cohesive ∞-toposes (after Lawvere's cohesive toposes).
...

**9**

votes

**0**answers

412 views

### Is there any elementary text unravelling the definitions of 2-category, lax functor and lax transformation, allowing people who do not know in the first place what these things are to really understand the definitions?

The question is in the title.
My current research subject is the homotopy theory of $2$-categories. It may be slightly unreasonable to expect my PhD thesis to be read or even looked at by people ...

**8**

votes

**0**answers

318 views

### The category theory of $(\infty, 1)$-categories

There are many proposed models for the theory of $(\infty, 1)$-categories and it has now been shown that many of these theories have Quillen-equivalent model categories, i.e. that they are equivalent ...

**8**

votes

**0**answers

390 views

### Compact objects in triangulated and infinity categories

Hello,
I think of a compact object in a category as an object, $Hom$ from which commutes with filtered colimits.
I guess that in an infinity category, one also defines a compact object as an object, ...

**8**

votes

**0**answers

233 views

### Adjoint functor theorem for infinity categories

In HTT, a version of the adjoint functor theorem for (locally) presentable infinity categories is proven (Corollary 5.5.2.9). Is there a more refined version of this somewhere, which more closely ...

**8**

votes

**0**answers

390 views

### Does the category of strict $2$-categories together with Dwyer-Kan equivalences provide a model for $(\infty,1)$-categories?

The question is the title.
In what follows, all $2$-categories and $2$-functors will be strict. Let $2-Cat$ denote the categories whose objects are $2$-categories and whose morphisms are ...

**8**

votes

**0**answers

401 views

### E(n) Deformations of the infinity category Qcoh(X) with it's E(n)-tensor product

Let $X$ be a smooth scheme, then an infinity enchancement of $QCoh(X)$ has an $E_\infty$ structure and in particular an $E_n$ structure for any $n$. In this paper, http://arxiv.org/abs/0805.0157 ...

**7**

votes

**0**answers

165 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

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

**7**

votes

**0**answers

414 views

### Where else has Proposition B1.3.17 in the Elephant been proved?

(I asked the same question here and got some helpful comments, but thought I'd re-ask in case I get a more direct response.)
This is a sort of reference request. Proposition B1.3.17 in Johnstone's ...

**7**

votes

**0**answers

331 views

### TQFTs with target category of higher type than the source

In the classical version of the Cobordism Hypothesis, such as, e.g., in Jacob Lurie's On the Classification of Topological Field Theories, one considers the $\infty$-category of symmetric monoidal ...

**7**

votes

**0**answers

178 views

### Separation condition for higher Deligne-Mumford stacks

Let $X$ be a stack of $n$-groupoids on the site of affine schemes over a fixed base, with the etale topology. If $n=1$ then for $X$ to be Deligne-Mumford, aside from having an etale atlas from an ...

**7**

votes

**0**answers

292 views

### A combinatorial approximation functor sSet->qCat

Let $sSet_J$ denote the category of simplicial sets equipped with the Joyal model structure. Simply by the fact that $sSet_J$ is locally presentable and its class of anodynes ($\neq \mathbf{Cof} \cap ...

**6**

votes

**0**answers

146 views

### Compact objects in undercategories and filtered colimits

Let $\mathcal{C}$ be a compactly generated presentable $(\infty, 1)$-category. Consider the functor
$$ \Phi: \mathcal{C} \to \mathrm{Cat}_\infty, \quad x \mapsto (\mathcal{C}_{x/})^\omega,$$
that ...

**6**

votes

**0**answers

106 views

### Is hypercompletion functorial?

Given an infinity topos $\mathcal{E}$, one can pass to its hypercompletion $\widehat{\mathcal{E}}$, which is the full subcategory on those objects local with respect to $\infty$-connected morphisms ...

**6**

votes

**0**answers

236 views

### [Reference Request] The Definition of Adjoint Functors between dg-categories

Let $A$ and $B$ be two dg-categories, $F: A \rightarrow B$ and $G: B \rightarrow A$ are two functors. Then what is the definition that $F$ and $G$ form an adjoint pair?
In my mind $F\dashv G$ ...

**6**

votes

**0**answers

173 views

### Canonical topology for big infinity topoi

It is well known that for $E$ a Grothendieck topos, (by appropriately making use of universes) $E$ carries the canonical Grothendieck topology generated by jointly surjective epimorphisms, say $J$, ...

**6**

votes

**0**answers

221 views

### Completion of n-fold Segal spaces

During a reading course about Jacob Lurie's paper about Local TQFTs, I came across the notion of Segal spaces as models for $(\infty,1)$-categories. Looking at things like the "double nerve" for ...

**6**

votes

**0**answers

185 views

### Good Internal Hom for Weak Complicial Sets?

So I am trying to learn a bit more about Dominic Verity's model of higher categories, namely weak complicial sets. The underlying object is a stratified simplicial set which satisfies a sort of inner ...

**6**

votes

**0**answers

278 views

### Rigorous recursive definition of $m$-algebras

Naively, $m$-algebras over a field $\mathbb{k}$ are easily defined recursively: the category of 0-algebras is the symmetric monoidal category of $\mathbb{k}$-vector spaces, and for $m>0$ an ...

**6**

votes

**0**answers

581 views

### An Ex functor for the contravariant homotopy structure

I'm going to slack on the background and get to the point:
Is there a good notion of an $Sd/Ex$ adjunction for $sSet/S$ equipped with
the contravariant model structure (cofibrations are monomorphisms ...

**5**

votes

**0**answers

152 views

### Analogue of cyclic homology for e_n-algebras?

Cyclic homology may be defined as the primitive part (with respect to a natural product) of the homology of the Lie algebra associated with the "stabilization" of an associative algebra $A$. Here the ...

**5**

votes

**0**answers

255 views

### Generating acyclic cofibrations for the various model structures in higher category theory

There are a number of model categories important in higher category theory, which provide a "presentation" of some $\infty$-category of $\infty$-categories. For example:
The Joyal model structure on ...

**5**

votes

**0**answers

418 views

### Principal $G$-bundles as fully extended TQFTs, and $n$-representations

This is a follow up to this MO question: Fully dualizable objects in classical field theories
Assuming the notation there (which in turn come from Topological Quantum Field Theories from Compact Lie ...

**5**

votes

**0**answers

279 views

### The span-nerve of a category

Let ${\bf D}$ denote the category of finite non-empty sets and monomorphisms between them; let $\underline{n}$= {$0,1,\ldots,n$}. I will call presheaves on ${\bf D}$ simplicial sets and denote it ...

**5**

votes

**0**answers

325 views

### Chain/Hierarchy of Monoids

Let's assume that we have the following collection of structures:
Some space $P$.
Monoids $(M_{i+1},\circ_{i+1})$, and
Actions $\bullet_{i+1}:M_{i+1}\times M_i\to M_i$, for $i\ge 0$
And ...

**4**

votes

**0**answers

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

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

**4**

votes

**0**answers

248 views

### How to endow an n-fold Segal Space with a symmetric monoidal structure?

I would like to understand how I can endow an n-fold (complete) Segal Space with a symmetric monoidal structure. My question is basically the same as in this post: What is a symmetric monoidal ...

**4**

votes

**0**answers

184 views

### Is the class of inner-anodyne morphisms right-cancellative with respect to the of the class of monomorphisms?

Recall:
Given a category $A$, and two classes of morphisms $S,S'$, we say that $S$ is right-cancellative with respect to $S'$ if for any pair of maps $f\in S, g\in S'$ such that $gf$ is defined, we ...

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

**3**

votes

**0**answers

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

**3**

votes

**0**answers

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

**3**

votes

**0**answers

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

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

**3**

votes

**0**answers

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

**2**

votes

**0**answers

134 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$ ...

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

**2**

votes

**0**answers

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

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

**2**

votes

**0**answers

78 views

### Bisections in Kan Complexes

Kan Complexes can be seen as a generalization of groupoids, mostly called (weak)
infinity groupoids in this context.
On groupoids we can define the \textbf{group of bisections} the following way:
...

**2**

votes

**0**answers

86 views

### What about lax-coherence results?

As well know in category theory (see Mac Lane book) there are (very useful, and theoretically deep) coherent theorem for various categorical setting: monoidal, symmetric monoidal, braided monoidal ...

**2**

votes

**0**answers

186 views

### On small generators of an infinity category

Suppose that $\mathcal{C}$ is an $\infty$-category with pullbacks and small coproducts. Suppose that $\mathcal{D}$ is a small subcategory for every object $C,$ the canonical map ...

**2**

votes

**0**answers

143 views

### Universal polygraphic factorization of strict ω-categories relative to a cobase

Recall from 1 that a cofibration of strict ω-categories is a retract of relative $I$-cell complexes, where $I$ denotes the set of boundary inclusions $\partial D^n \hookrightarrow D^n$, where $D_n$ ...

**2**

votes

**0**answers

200 views

### Properties of nerve of strict n-groupoid

The nerve of a groupoid is (by construction) a simplicial set and this works for any category. However there is extra structure in the case of a groupoid. Namely the set of $n$-simplices has an action ...