The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
246 views

cokernel for $L_\infty$-algebra morphisms

As I have asked a wrong question previously, I edited a bit. It is obvious that the cokernel construction does not work well for the category of Lie algebras. The cokernel exists only for a normal ...
4
votes
4answers
567 views

What is the intuition of connections for cubical sets?

I am beggining to do some work with cubical sets and thought that I should have an understanding of various extra structures that one may put on cubical sets (for purposes of this question, ...
9
votes
0answers
432 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 ...
2
votes
4answers
295 views

Composition of composable 2-cells in a 2-category is unambiguously defined?

I believe the following nice statement is true, but I cannot find a reference or proof it myself. In a 2-category(i.e., bicategory), the composition of composable 2-cells is unambiguously defined. ...
1
vote
0answers
187 views

Proof for a simplicial morphism

Sorry for the title but I can't come up with another one... ... Suppose X and Y are simplicial sets and $f : X \rightarrow Y$ is a map such that: 1.) f maps dimensions the right way, that is ...
5
votes
1answer
357 views

Compare three 2-categories of (Lie) groupoids

Lie groupoids are groupoids with smooth structures. There is a nature 2-category of Lie groupoids: Lie groupoids, smooth functors of Lie groupoids, smooth natural transformations of smooth functors. ...
11
votes
2answers
1k views

What is a symmetric monoidal $(\infty,n)$-category?

This question arose from reading Jacob Lurie's "Classification of topological field theories" paper. In that paper, he uses complete $n$-fold Segal spaces as a model for $(\infty,n)$-categories, but ...
0
votes
0answers
337 views

[]-infinity algebra and Projective representation

This is a very vague question. We know that some algebra structures can be viewed as modules of some fantastic stuff, call T. Such examples include: Abelian groups are $\mathbb{Z}$-modules, chain ...
7
votes
0answers
241 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 ...
1
vote
1answer
472 views

What is exact sequence in higher categories?

What is the higher categorical generalization of exact sequence (3 terms or $\mathbb{Z}$ terms)? In particularly, consider the simplest cases: chain complexes, $L_\infty$-algebras.
8
votes
4answers
686 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 ...
19
votes
2answers
836 views

Homotopy groups of spheres in a $(\infty, 1)$-topos

Let $H$ be an $(\infty,1)$-topos (seen as a generalization of the homotopy category of spaces). You can define the suspension of an object $X$ as the (homotopy) pushout of $*\leftarrow X \to *$, ...
2
votes
2answers
226 views

Automorphisms and Bicategories

Sorry if this isn't the right place for this, it hasn't gotten any answers on ME. I'm reading Lang's section on field theory and he stresses that, unlike typical "universal" constructions which are ...
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 ...
33
votes
4answers
5k views

Do we still need model categories?

One modern POV on model categories is that they are presentations of $(\infty, 1)$-categories (namely, given a model category, you obtain an $\infty$-category by localizing at the category of weak ...
2
votes
1answer
267 views

What are $n$-poset?

Yesterday I was wandering for the $n$-lab and I've found the definition of $n$-poset. Following this post it seems that a $n$-poset should be a $(n,n+1)$-category. Now an $(n,r)$-category should be a ...
5
votes
1answer
176 views

2-completeness analog of completeness theorem

It's not hard to see that a category is finitely complete if it has finite products and equalizers. In short, this is because one can write all limits as iterations of these two "operations". I ...
4
votes
2answers
1k views

Mathematics needed for higher dimensional category theory? [closed]

I'm a undergrad(third year, Manchester uni and want to do a PhD) that is thinking of doing a PhD in this area or category theory in general.(Sorry for asking it here, Maths exchange stack didn't help ...
6
votes
1answer
654 views

Ordinal category theory?

Just out of curiosity: Is there a notion of $\alpha$-category for an ordinal number $\alpha$, extending the given notions for $\alpha \leq \omega$? If there is none, which one would you propose? Feel ...
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 ...
5
votes
1answer
536 views

How should I think of the $\infty$-category of spectra?

I've seen a bunch of definitions of spectra in the literature, and the fanciest seems to be the $(\infty, 1)$-category of spectra obtaining by "stablizing" the higher category of spaces, as in DAG I. ...
12
votes
2answers
542 views

Homotopy Fixed Points of SO(2) on Fully Dualizable Algebras

Note: by fixed points, I always mean homotopy fixed points. As explained in Jacob Lurie's paper on the cobordism hypothesis, we have an action of O(2) on the $\infty $-groupoid $X$ given by ...
10
votes
1answer
386 views

The weak equivalences in the covariant model structure

Let $S$ be a simplicial set. Recall that there is a model structure, called the covariant model structure (see HTT ch. 2 and this question), on $\mathbf{SSet}/S$ such that: The cofibrations are the ...
19
votes
6answers
2k views

Concrete example of $\infty$-categories.

I've seen many different notion of $\infty$-categories, actual I've seen the operadic-globular ones of Batanin and Leinster and the opetopic too and eventually I'll see the simplicial ones too. ...
6
votes
1answer
485 views

What does the “category” of $(\infty,1)$ category look like.

One knows that in higher category theory, the category of $(\infty,n-1)$ categories is naturally an $(\infty,n)$ category ,(I use the word category to mean category in the correct weakened sense). ...
4
votes
1answer
333 views

A “join” of ω-categorical simplices

Recall that the category of level trees $\mathcal{T}$ is defined to be the category $[\mathbb{N}^{op},\Delta_a]$, where $\Delta_a$ is the skeleton of the category of finite possibly empty linearly ...
8
votes
1answer
391 views

Is there a “derived” Free $P$-algebra functor for an operad $P$?

Recall that an operad (in vector spaces, say) $P$ consists of a collection of vector spaces $P(n)$ for $n\geq 0$, such that $P(n)$ is equipped with an action by the symmetric group $S_n$, with maps ...
4
votes
2answers
295 views

Fibrations in strict infinity categories?

Let $X$ be a strict $\infty$-category (not $(\infty,1)$, I am talking about true $\infty$-categories (Grothendieck modules (exact presheaves (finite-limit preserving functors $\Theta^{op}\to ...
6
votes
0answers
189 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 ...
10
votes
1answer
802 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 ...
36
votes
7answers
10k views

Is Mac Lane still the best place to learn category theory?

For a student embarking on a study of algebraic topology, requiring a knowledge of basic category theory, with a long-term view toward higher/stable/derived category theory, ... Is Mac Lane still ...
6
votes
0answers
429 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 ...
6
votes
0answers
282 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
3answers
1k views

What is higher dimensional algebra?

Could anyone explain what higher dimensional algebra is? I tried to look on the web but I couldn't find a satisfactory definition, the ones that I found are too vague. What I'm looking for is a good ...
5
votes
1answer
672 views

First Quantization is a mystery… but de-quantizing perhaps not

There is an well-known infamous DICTUM: -Second Quantization is a functor, First Quantization is a mystery-. Indeed, second quantization is the "Fock functor", which builds the Fock space in a ...
4
votes
2answers
453 views

Equivalence in $\infty$-categories

In every $n$-category (weak or strict) can be defined the concept of equivalence via a recursive definition: * an equivalence in a set ($0$-category) is just an identity; * for each $n \in \mathbb N$ ...
6
votes
2answers
353 views

Sections of 2-vector bundles

If we work over a field $k$, and take the recursive definition of $n$-vector spaces (as, e.g. in Topological Quantum Field Theories from Compact Lie Groups, arXiv:0905.0731) then a $2$-vector space is ...
5
votes
1answer
245 views

Reference Request: Lax Ends

I've read in a few different places that the standard fact \[ \text{Nat}\,(F,G) \cong \int_x \text{Hom}\,(Fx,Gx) \] can be upgraded to ...
2
votes
1answer
305 views

pseudofunctors and pseudonatural transformations

Based on the discussion here I feel like there should be a bijection between pseudonatural transformations of pseudofunctors $J\to\mathcal{C}$ and pseudofunctors $J\times [1]\to\mathcal{C}$, at least ...
3
votes
1answer
220 views

Comparing discrete fibrations and their duals

I'm not sure if this is the right place to ask this question, but I'll ask it anyway, in the hope that some kindly Australian (true or honorary) is passing by and takes pity on me... In Fibrations in ...
24
votes
4answers
2k views

Invertible matrices of natural numbers are permutations… why?

I have heard the following statement several times and I suspect that there is an easy and elegant proof of this fact which I am just not seeing. Question: Why is it true that an invertible nxn ...
4
votes
2answers
307 views

Simplicial presheaves that are colimits of themselves?

Suppose $C$ is a small category and $X_{\bullet}$ is a simplicial object in $C$. In particular, by composing with Yoneda $$y:C \to Set^{C^{op}}$$ $y(X)_{\bullet}$ is a simplicial presheaf. I believe ...
16
votes
3answers
1k views

What do whitehead towers have to do with physics?

First let me say something that I don't completely understand, since I do not know enough physics. If I say anything wrong, someone please tell me: For the spinning particle, there is a sigma-model, ...
2
votes
0answers
206 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 ...
8
votes
1answer
590 views

Is the $\infty$-category of stable $\infty$-categories stable?

More generally, are there any remarkable properties enjoyed by the $\infty$-category of stable $\infty$-categories?
5
votes
1answer
217 views

Slices of infinity sheaves

I know from classical category theory that if $C$ is a small category and $X$ is a presheaf, that there is a canonical equivalence $$Set^{C^{op}}/X \simeq Set^{\left(C/X\right)^{op}},$$ where $C/X$ is ...
3
votes
1answer
335 views

Can we exhibit the 2-category of Grothendieck fibrations as a 2 (or 3)-limit?

It's well known that we can exhibit the comma category as a particular type of 2-limit in Cat. When working with 2-categories, there is a naïve comma object given by by boosting up the ordinary ...
7
votes
2answers
544 views

Historical Question about Simplicial Sets

I have a pretty easy historical question about simplicial sets. Unless I am mistaken, simplicial sets first came out of topology, explicitly from combinatorial topology and the study of simplicial ...
8
votes
1answer
455 views

Nerve: Groupoids-> Kan Complexes. Nerve: Bicategories w. adjoints -> ?

If you take the nerve of a groupoid, you get a Kan complex. Question: Take a bicategory that has adjoints for 1-morphisms, which is one notion of 'weak' groupoid (if all 2-morphisms are ...
12
votes
3answers
968 views

Complicating an Example by Toen (motivations for DAG)

I'm trying to read (the introduction of) a survey by Toen on Derived Algebraic Geometry, specifically the "Simplicial Presheaves and Derived Algebraic Geometry" one. He motivates the introduction of ...