The tag has no usage guidance, but it has a tag wiki.

learn more… | top users | synonyms

2
votes
1answer
247 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
1answer
546 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
4answers
810 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 ...
6
votes
1answer
289 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
1answer
215 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
1answer
289 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
1answer
780 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 ...
11
votes
1answer
408 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 ...
2
votes
0answers
242 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
1answer
347 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 ...
8
votes
1answer
289 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 ...
21
votes
0answers
721 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
0answers
347 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 ...
6
votes
1answer
255 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 ...
3
votes
0answers
331 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
1answer
350 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 ...
4
votes
0answers
196 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 ...
19
votes
2answers
629 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
2answers
311 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 ...
3
votes
2answers
253 views

Localisation in a quasi-category

Let $W$ be a family of arrows in a category $\mathcal{C}$, there is a nature notion of localisation w.r.t. $W$. And if $W$ satisfies some nice properties, we have calculus of fraction. Now consider ...
44
votes
4answers
2k 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 ...
20
votes
1answer
3k 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 ...
3
votes
2answers
451 views

how to make the category of chain complexes into an $(\infty,1)$-category

Related to this question, I would like to know, if there is an explicit presentation of the $(\infty,1)$-category of a model category of abelian chain complexes, but this time in terms of simplicial ...
9
votes
0answers
188 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 ...
6
votes
2answers
420 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, ...
6
votes
1answer
432 views

Diagram spectra and Algebraic Geometry

I was recently reading a paper titled "Model Categories of Diagram Spectra" and it was mentioned in the paper that the contents of the paper were also useful in algebraic geometry. I'm really ...
13
votes
0answers
459 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. ...
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 ...
10
votes
2answers
435 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 ...
5
votes
0answers
311 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. ...
5
votes
1answer
411 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 ...
6
votes
2answers
2k 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 ...
2
votes
0answers
79 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: ...
13
votes
1answer
560 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 ...
14
votes
1answer
929 views

Are there non-categorical notions in topos theory?

Suppose that $\mathcal{T}$ is an abstract $2$-category we know is equivalent to the $2$-category of Grothendieck topoi via some equivalence $$\phi:\mathcal{T} \to \mathfrak{Top},$$ and let $E$ be an ...
4
votes
1answer
487 views

Which E_∞-spaces are homotopy colimits of k-truncated E_∞-spaces?

This question is closely related to my previous question about modules over truncated sphere spectra, in particular, it has the same motivation. Recall that every space (or ∞-groupoid) can be ...
9
votes
1answer
848 views

Are Thom spectra MU, MSO and K-theory spectra KU, KO modules over some truncations of the sphere spectrum?

The Thom spectrum MO is a module over the ring spectrum π≤0S=HZ, where S is the sphere spectrum. In particular, MO is equivalent to the Eilenberg-MacLane spectrum Hπ*(MO). On the other hand, MU and ...
6
votes
1answer
274 views

When is this braiding not a symmetry?

Given a topological space $X$ instead of forming the fundamental groupoid $\pi(X)$ which is the category whose objects are the points and morphisms the homotopy classes of paths one can also form the ...
6
votes
0answers
126 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 ...
7
votes
1answer
285 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 ...
23
votes
4answers
2k views

What is an $(\infty,1)$-topos, and why is this a good setting for doing differential geometry?

In this post on the n-Category Café, Urs Schreiber says that, "The theory of G-principal bundles makes sense in any $(\infty,1)$-topos." I followed the link to the nLab and tried to chase definitions, ...
15
votes
1answer
635 views

Skeleton category of the category of skeleton categories?

A category is a skeleton if, roughly speaking, no two distinct objects within the category are isomorphic. To every category is associated a skeleton, and two categories are categorically "equivalent" ...
4
votes
1answer
318 views

Is a conservative finite limit preserving functor of (infinity,1)-categories homotopically faithful?

In classical category theory we have a following criterion. If $\mathcal{C}$ and $\mathcal{D}$ are finitely complete categories and $F : \mathcal{C} \to \mathcal{D}$ is a functor which preserves ...
26
votes
1answer
852 views

n-categorical description of Chern classes

The Chern classes of a rank $n$ vector bundle on $X$ are obtained from composing the associated classifying map in $[X, BU(n)]$ with the maps $BU(n) \to B^{2i} \mathbb{Z}$ corresponding to the ...
9
votes
2answers
428 views

Model for the (infinity,1)-category of functors preserving certain homotopy limits

This question is a follow up to: Model for the (infinity,1)-category of (homotopy-)limit preserving functors. Warm-up Question: Given a simplicial model category $M$, what model category models ...
13
votes
2answers
474 views

Model for the (infinity,1)-category of (homotopy-)limit preserving functors

I've got a simplicial model category $M.$ I'd like to get my hands on the (infinity,1) category of homotopy limit preserving functors from M to Spaces in order to compare it to another simplicial ...
16
votes
2answers
883 views

Internal categories in simplicial sets

Is there a model structure (or more generally a homotopy theory) on the category of internal categories in simplicial sets, which presents the theory of $(\infty,1)$-categories? Note that this ...
8
votes
2answers
376 views

Equivalences of Internal Categories

I am trying to understand double categories and their relatives a little better. I do not understand much, so I apologize in advance if my question is too naive for this website. A functor $F:X ...
1
vote
1answer
564 views

Where should one go to learn about triangulated categories?

Lurie's book, higher topos theory describes a new notion of a triangulated category, which is apparently much more natural than the usual definition. Obviously by now a great deal of work has been ...
9
votes
2answers
1k 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 ...