The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
3answers
1k views

Infinity-categories vs Kan complexes

Hi all, It is known (cf. Lurie's book "Higher Topos Theory", for instance) that higher ($\infty$-) category, in particular topological higher ($\infty$-) groupoids are "better" defined as weak Kan ...
53
votes
6answers
15k views

What are Jacob Lurie's key insights?

This question is inspired by this Tim Gowers blogpost. I have some familiarity with the work of Jacob Lurie, which contains ideas which are simply astounding; but what I don't understand is which key ...
22
votes
2answers
1k views

generalisations of the Seifert-van Kampen Theorem?

I have been reading Jacob Lurie's book "Higher Algebra", version May 8, 2011. One is grateful to him for covering such a lot of ground and for making it all so readily available. My attention was ...
17
votes
3answers
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 ...
10
votes
5answers
2k views

Computations in $\infty$-categories

Direct to the point. Since now I've looked a lot of presentations of $\infty$-categories, but it seems that the only way to do explicit computations on these objects is via model categories. Is that ...
8
votes
4answers
709 views

Limits in an $(\infty,1)$-category

In ordinary category theory, the notion of limit in a category $C$ is usually formulated with a category (of indices) $J$ and a functor $F:J\to C$ (a diagram in $C$), and a limit of this diagram is ...
18
votes
3answers
2k views

Homology theory constructed in a homotopy-invariant way

Singular homology sends homotopic morphisms on equal morphisms and weakly equivalent spaces on isomorphic objects. So singular homology is in fact defined on the homotopy category of topological ...
9
votes
2answers
1k views

Semi-simplicial versus simplicial sets (and simplicial categories)

Hi, Let's denote by "semi-simplicial set" a simplicial set without degeneracies, i.e. a contravariant functor from the category $\Delta_{inj}$ of finite linearly ordered sets and order preserving ...
4
votes
1answer
567 views

references for models of stable infinity categories

There's a fair amount of literature comparing different models for the homotopy theory of homotopy theories, or the homotopy theory of $(\infty,1)$-categories. Julie Bergner has a survey of this ...
9
votes
0answers
511 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). ...
8
votes
2answers
795 views

Are grothendieck universes enough for the foundations of category theory?

Grothendieck universes are equivalent to ZFC+a strongly inaccessible cardinal. This is low on the large cardinal axiom list. Is it enough to place category theory on a firm foundational basis, and how ...
7
votes
2answers
416 views

Categorification of coends and ends

I describe below a categorified version of the coend construction, "2-coend" for short. It takes as input a collection of 1-categories $\{W_{xy}\}$ which afford left and right representations of a ...
11
votes
1answer
837 views

The reflexive free-category comonad-resolution is a cofibrant replacement of the discrete simplicial category associated with an ordinary category in the Bergner model structure on the category of small simplicial categories?

Let $X$ be the category of reflexive quivers, and let $Cat$ be the category of small categories. There exists an evident forgetful functor $U:Cat\to X$ sending a category $A$ to its underlying ...
8
votes
1answer
272 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 ...
5
votes
2answers
1k 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 ...
4
votes
0answers
226 views

Commutation of simplicial homotopy colimits and homotopy products in spaces

Edit: The claim below is wrong, as explained in the comments, because infinite homotopy products of simplicial sets require their components to be fibrantly replaced first, unlike finite homotopy ...
2
votes
1answer
360 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 ...
9
votes
1answer
338 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 ...
9
votes
1answer
321 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 ...
5
votes
2answers
349 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). ...
5
votes
1answer
316 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 ...
5
votes
2answers
328 views

Is the site of (smooth) manifolds hypercomplete?

By site of manifolds Man, I mean the category of manifolds (maybe submanifolds to obtain a small category) with continuous maps between them. A Grothendieck topology is given by open covers. Actually, ...
3
votes
1answer
257 views

How can I see that the slice of a presheaf category is equivalent to the presheaf category of the category of elements?

Let $\mathcal{C}$ be a small category and $P$ a presheaf on $\mathcal{C}$. Then there is an equivalence $$\widehat{\mathcal{C}} / P \cong \widehat{\int_{\mathcal{C}}} P$$ Now there are (at least) two ...
4
votes
1answer
107 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 ...
3
votes
1answer
102 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 ...
3
votes
0answers
102 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 ...
2
votes
0answers
157 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$ ...