In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. (Def: http://en.m.wikipedia.org/wiki/Higher_category_theory)

learn more… | top users | synonyms

0
votes
0answers
25 views

Why $|N(P_{i, j})| \cong [0, 1]^n$ as stated in page 21 of HTT?

maybe this is an idiot question, however I could not solve this after thinking for a while. I added the tag about higher categories simply because of the nature of the question, however this is just a ...
1
vote
0answers
33 views

coherence of inverses in 2-groupoids

Given a 2-groupoid $G$, two objects $a,b$, and two 1-morphisms $f,g:a\rightarrow b$ and a 2-morphism $\alpha : f \rightarrow g$, is it the case that there always exists a 2-morphism $\beta : f^{-1} ...
1
vote
0answers
38 views

On two definitions of the nerve of a simplicial category

Let ${\mathcal C}$ be a simplicial category. Then there are the following two ways of constructing a simplicial set from ${\mathcal C}$: Form the simplicial nerve $\text{N}_\Delta({\mathcal C}) := ...
3
votes
1answer
56 views

What's so special about the grounded poset of cardinality $2$?

By a grounded poset, I mean a poset $P$ with a bottom element $0_P$. Arrows between grounded posets are monotone mappings that preserve the basepoint. This gives a self-enriched category; lets call it ...
0
votes
1answer
41 views

What is a Monad in the two category $Rel$?

The 2-category $Rel$ is a category with sets as $0$-cells, relations as $1$-cells (with relation composition as composition), and inclusions as $2$-cells (with vertical composition being the fact that ...
1
vote
1answer
39 views

Is Module Category over Monoidal category Monoidal?

let $\mathcal{C}$ be a monoidal category and $\mathcal{M}$ a $\mathcal{C}$-module category. Does $\mathcal{M}$ need to be a monidal category? I know it is true for certain categories, but is it true ...
0
votes
0answers
9 views

The bicategory Bibun

Are all the $2$-morphisms in the bicategrory (of Lie groupoids, right-principal bibundles and bibundle morphisms) Bibun isomorphisms?
3
votes
0answers
37 views

Relationship between differential cohesion and synthetic differential geometry

I was wondering what is the relationship between differential cohesion and synthetic differential geometry? I know the basics of synthetic differential geometry from Kock's text, but I am not ...
3
votes
1answer
118 views

Yoneda Lemma for 2-categories - lax version

Is there a sort of lax Yoneda Lemma for 2-categories? Here is what I seem to have proven (although I have not checked all the details): If $\mathcal{C}$ is a (weak) 2-category, $A$ is an object of ...
2
votes
0answers
56 views

Why are morphisms of monads lax and not oplax natural transformations

Monads in a bicategory $\mathscr B$ correspond to lax functors $* → \mathscr B$, so one expects morphisms of monads should correspond to nautral transformations between them. A natural ...
11
votes
0answers
185 views

Textbooks on higher category theory

What textbooks on higher category theory are there? What books do you recommend? I am looking for self-contained introductions, no research reports. There are lots of informal summaries and arXiv ...
2
votes
0answers
44 views

Homotopy groups of mapping spaces

If I have an $\infty$-category $\mathcal{C}$ (AKA quasi-category), can I say anything about the homotopy groups of the mapping spaces $\mathrm{Hom}_\mathcal{C}(X,Y)$ for two objects $X$ and $Y$? ...
1
vote
2answers
112 views

Should an object in the category always be a formal mathematical structure?

Today I heard during a popular lecture about the applications of category theory, than an object in the category should always be some kind of mathematical structure e.g. a set, ring, monoid, etc. So ...
1
vote
1answer
61 views

List of universal properties

At the moment I am looking into category theory and I am wondering if there exists a list of universal properties? I couldn't seem to find one.
3
votes
1answer
50 views

Coherence results

As far a I know, there are two kinds of results which are called 'coherence theorems'. For bicategories they take approximately the following forms: Every diagram of a certain form commutes A ...
6
votes
2answers
184 views

How to intrinsically think about simplicial objects.

It seems that a simplicial set should be thought as a space/thing, with encoded building information. The set of $n$-simplicies is the set of n-dimensional pieces and the boundary and degeneracy maps ...
8
votes
2answers
166 views

Why is it difficult to define n-category?

Forgive me for the vagueness in the following paragraph, but I don't know how to communicate what I am thinking more formally. If we have a definition for 1-categories (category) and a definition for ...
2
votes
0answers
85 views

Higher transformations between natural transformations and so on

In category theory, arrows between categories are functors, arrows between functors are natural transformations, so a natural question is to ask what are arrows between natural transformations ? I've ...
1
vote
1answer
49 views

Example of endofunctor in Cat that is not a 2-functor.

Is there a good example of an endofunctor $\def\Cat{\operatorname{Cat}}\Cat \to \Cat$ (seeing $\Cat$ just as category) that is not a 2-functor?
-1
votes
1answer
96 views

Homotopy Groups for Categories

With this observation in mind how far are we from defining $\forall \mathcal{C} \ \text{category}\ \pi_1(\mathcal{C})$? Let me be more clear. Let be $n$ the following category $0 \rightarrow 1 ...
1
vote
1answer
47 views

are equivalences in an $(\infty,1)$-category preserved under colimits

Let $C$ be an $(\infty,1)$-category (e.g. quasicategory) having all small colimits. If $f_i:x_i \to y_i$ are equivalences in $C$ indexed by a small set $I$, is $f:=\mathrm{colim}_{i \in I} f_i$ an ...
0
votes
1answer
75 views

Morphism of morphism

I have some ideas about how to define morphism of morphisms in category theory, but I don't know anything about higher category theory. The idea is quite simple, and can be iterated easily. I'll only ...
0
votes
1answer
56 views

Strong (trivial) cofibration in Lurie's HTT

in Lurie's book HTT in annexe A, proof of Proposition A.2.8.2 page 824, he mentions that a map is a "strong (trivial) cofibration" but I didn't succeed to find the definition of this notion that seems ...
1
vote
0answers
35 views

presentable vs inductive categories

Let $\kappa$ be a regular cardinal, and let $D$ be a small $\infty$-category which admits $\kappa$-small colimits. Then is the canonical map $D \to Ind_\kappa(D)$ an equivalence, and if not why not? I ...
4
votes
2answers
176 views

question about monoidal structure of a 2-category

Consider an extension of the 1-category of vector spaces and linear maps down to a 2-category $\mathcal{C}$ whose objects are $k$-linear categories. What is the symmetric monoidal structure on the ...
0
votes
1answer
88 views

2-category in HoTT: chapter 9 from the HoTT book

After reading Awodey's book, and the HoTT book (and numerous other entries on these topics), I am (ambitiously) trying to do the exercises after the category theory chapter. This concernes the ...
2
votes
0answers
103 views

Transfinite composition and $\kappa$-categories

I wonder whether the following ideas make sense, and whether something in that direction has been written down somewhere; do you know a reference? The last definition is supposed to be a ...
2
votes
1answer
90 views

How does a section of a stack give a sheaf?

At nLab in the article constant stack and a few other related articles, a pattern is mentioned where a section of a constant sheaf is a locally constant function, a section of a constant stack is a ...
0
votes
2answers
81 views

Are there any stable $(\infty,1)$-topoi?

Can a stable $(\infty,1)$-category be an $(\infty,1)$-topos?
2
votes
2answers
114 views

Homotopy direct limit versus direct limit

Let $X_1\to X_2\to \cdots$ be an infinite sequence of maps. Then, as I understand, the homotopy direct limit of this sequence is the space formed by taking the disjoint union of the $X_i\times I$ and ...
2
votes
0answers
26 views

Does the lax Gray tensor product preserve fully faithful 2-functors?

The question is in the title. By fully faithful 2-functor, I mean 2-functors such that the maps on the hom categories are isomorphism, and by preserve, I mean in each variable. I have an argument ...
3
votes
1answer
69 views

Stacks versus sheaves with values in categories

A (small) category is a perfectly valid algebraic structure like Groups, Rings, vector spaces, groupoids etc. So on a topological space or more generally on a site, it makes perfectly sense to ...
3
votes
1answer
72 views

Defining a monoidal category without elements

I am trying to generalize the notion of monoid object internal to a (not necessarily strict) monoidal category, by weakening the associativity and unitarity diagrams (see this nlab entry.) Of course ...
1
vote
0answers
90 views

n-globular sets and n-categories

Is the forgetfull functor between the category of n-categories and the category of n-globular sets always monadic? It's seems so, but, in nLab, they are talking only about "2-globular sets and ...
9
votes
1answer
151 views

How to construct a quasi-category from a category with weak equivalences?

Let $(\mathcal{C},W)$ be a pair with $\mathcal{C}$ a category and $W$ a wide (containing all objects) subcategory. Such a pair represents an $(\infty,1)$-category. One model for such gadgets is a ...
6
votes
3answers
192 views

Why is the 'mapping space' between two objects in a quasi-category a Kan complex?

Let $X$ be a quasi-category. (i.e. a simplicial set satisfying the weak Kan extension condition). Given two 'objects' $a,b\in X_0$ in $X$, one defines the mapping space $X(a,b)$ to be the pullback of ...
1
vote
1answer
26 views

Let $f : C \rightarrow D$ denote an arrow of a 2-category. Does “cone to $f$” have a commonly accepted meaning?

Let $f : C \rightarrow D$ denote an arrow in a $2$-category. Is there a commonly accepted meaning for the term "cone to $f$," generalizing the case where $f$ is a functor and $C$ and $D$ are ...
1
vote
0answers
52 views

2-category as a 2-monad?

It is well known that a category is the same as a monad in the 2-category of spans. So I am wondering if there is a similar statement hold for higher categories: can a bicategory be given as a weak ...
3
votes
2answers
56 views

Distributivity in linear monoidal categories

Let $\mathcal{C}$ be a linear monoidal category, that is a monoidal category (with tensor product $\otimes$) enriched over $\mathbf{Vect}$. Now as far as I can tell the axioms for a linear category ...
1
vote
0answers
26 views

Is it possible to express the pentagon condition by associativity?

Let me start by considering associativity. Let $C$ be a set with a binary operation (multiplication) $C\times C\to C$. The associativity law is $(ab)c=a(bc)$. It can be expressed by a commutativity ...
0
votes
2answers
80 views

What is the name and properties of a category C with hom(C) is subclass of ob(C)?

Suppose we have a category $C$ such as $hom(C) \subset ob(C)$ (so every arrow $f: a \rightarrow b$ of $C$ is also an object of $C$). What is the name and the main properties of such category?
1
vote
0answers
68 views

Torsors for 2-groups

Let $\mathbb{G}$ be a 2-group, by which I mean a strict monoidal category in which all objects are invertible (up to coherent isomorphisms) and all morphisms are invertible (strictly). What is the ...
3
votes
1answer
82 views

Difference between the simplicial nerve and the nerve of a simplicial category

In Jacob Lurie's Higher Topos Theory book, he defines the following notion of a simplicial nerve: Definition 1.1.5.5. Let $\mathcal{C}$ be a simplicial category. The simplicial nerve ...
5
votes
1answer
146 views

$2$-Morphisms in the Fundamental $2$-Groupoid

I'm trying to write down a clean definition of the fundamental $2$-groupoid $\pi_{\leq 2}(X)$ of a topological space $X$. Specifically, I'm concerned with how to properly define $2$-morphisms. Here is ...
2
votes
1answer
81 views

Totally ordered set Category

If 2 is the totally ordered set, and C is any category, this is given F is a functor from $ 2 \to C $ then what type of objects and arrows of the functor between them. As far as I understand as 2 is ...
6
votes
1answer
117 views

Higher categorical Yoneda lemma

One of the most powerful results in ordinary category theory is the Yoneda lemma, and so the following question seems natural: Is there an analogue of the Yoneda lemma for (weak) $n$-categories? I ...
0
votes
2answers
105 views

Can the equivalence between principle bundles and maps to classifying spaces be turned into an adjunction.

We have that $G-PBun(X)$, the category of topological principal bundles for a structure group $G$ is equivalent to $Top[X,BG]$ where $BG$ is the classifying space of $G$. This almost looks like an ...
4
votes
2answers
240 views

How to understand the definition of sets in homotopy type theory and the role of univalence?

Bear with me, I'm a physicist. In homotopy type theory, as I understand it, a type $X$ is a set if all the morphisms over its terms $x:X$ are identies. When I say "morphisms", then I view the term as ...
0
votes
1answer
75 views

What is homotopy in $(\infty,1)$-categories (as weak Kan complexes)

One of the peculiar (and somewhat appealing) features of quasi-categories is that many properties from ordinary category theory characterized equality are characterized by some form of homotopy ...
2
votes
1answer
62 views

Reference request for 2-category theory

In the theory of 2-categories, we have the following theorem. A pseudofunctor is an equivalence of 2-categories if it is essentially surjective on objects, and the induced functor on Hom categories ...