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

learn more… | top users | synonyms

6
votes
0answers
122 views

Is the theory of weak $n$-categories a cofibrant replacement of the theory of strict ones?

I have algebraic models of $n$-categories in mind. By "theory of (weak) $n$-categories", I mean "[monad / operad / whatever] whose algebras are (weak) $n$-categories". To be more precise: fix an ...
5
votes
1answer
383 views

Inverse galois problem and étale homotopy

Is there any relation between étale homotopy theory (Grothendieck-Galois theory) and the inverse Galois problem?...I mean...in classical homotopy theory, every finite group $G$ realizes as a "Galois ...
3
votes
1answer
123 views

When does every $\infty$-localization correspond to a Bousfield localization?

Let $\mathcal{M}$ be a model category presenting an $\infty$-category $\mathcal{C}$. I believe that every left Bousfield localization $\widetilde{\mathcal{M}}$ of $\mathcal{M}$ corresponds to a ...
3
votes
0answers
94 views

Is there a schema category for hyperstructures?

I am completely fascinated by Niels Baas' notion of hyperstructures, chiefly because I can see how such gadgets could be used in modeling both biological and social systems, or other evolutionary ...
6
votes
1answer
248 views

The naive approach to deriving profunctors - What's wrong with it?

Let $(\mathcal{C,W})$ be relative category (equipped with a wide subcategory of weak equivalences satisfying 2 out of 3 property). Consider a profunctor $F: \mathcal{C \times D^{op}} \to \mathsf{Set}$ ...
0
votes
1answer
190 views

Open problems where Haskell meets Category theory or Hopf algebras [closed]

I couldn't find any idea to obtain a problem where Haskell programming language meets Category Theory, Algebraic Topology or Hopf algebras for an original and interesting problem. Also, I wonder ...
13
votes
1answer
267 views

Why is every object cofibrant in an excellent model category?

In Appendix A.3 of the book higher topos theory appears the notion of an excellent model category (see Definition A.3.2.16). The main feature of this notion is that when $\mathbf{S}$ is an excellent ...
5
votes
1answer
167 views

Are accessible $\infty$-categories closed under accessible localizations?

The defining problem of homotopy theory is that often when one localizes a nice category at a reasonable class of morphisms, the result is a very bad category. Does passing to the $\infty$ world fix ...
4
votes
1answer
145 views

Methods for defining/calculating homotopy limits of quasicategories

I am working on a project which requires that I calculate homotopy limits of homotopy theories (i.e. $(\infty,1)$-categories). It may be relevant that the homotopy limits which interest me are in the ...
5
votes
0answers
165 views

Interaction of Grothendieck Construction with Coherent Nerve

There are a number of Grothendieck constructions: one for discrete categories, one for enriched categories (see Tamaki's paper here) and one for quasicategories (see the Unstraightening and ...
9
votes
1answer
322 views

Coherence and rewriting

In category theory there are numerous coherence theorems (https://ncatlab.org/nlab/show/coherence+theorem). One example is the Mac Lane's coherence theorem for monoidal categories. This and probably ...
15
votes
1answer
476 views

Errata on Rezk's paper

I am reading this paper of Rezk's http://arxiv.org/abs/0901.3602 A cartesian presentation of weak n-categories, and as it is pointed out in the introduction, it contained a wrong statement (2.19 in ...
5
votes
1answer
180 views

Switching left and right adjoints in recollement situations

In Fascieaux pervers, Beilinson, Bernstein and Deligne define a recollement situation as a triple of triangulated categories $\mathcal{D}_U,\mathcal{D}_F$ and $\mathcal{D}$, together with functors $$ ...
5
votes
3answers
131 views

Set of functions is not a bifunctor on Rel

Let Rel be the category whose objects are sets and whose morphisms are binary relations, with composition defined by $x (S \circ R) z \Leftrightarrow (\exists y : x R y \wedge y S z)$, and identity ...
6
votes
4answers
924 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, ...
2
votes
1answer
138 views

Appropriate morphisms and 2-morphisms in Ind(C)

As I was trying to understand the category $Ind(C)$ of diagrams of the form $I \to C$, where $I$ is a small filtered $(0,1)$-category, I wondered whether it is possible to define morphisms directly, ...
10
votes
1answer
163 views

Which simplicial objects are Čech nerves?

In 1-categories, a regular epimorphism is a coequalizer of some parallel pair. An effective epimorphism is one which coequalizes its kernel pair. In the presence of kernel pairs, regular and ...
9
votes
3answers
489 views

“Spatial (geometrical)” realization of Elementary topos?

It is well known that (Grothendieck) Topos (in fact, Model topos too) has many good geometrical properties. In many senses reflects general forms of generic geometry. Note: Grothendieck view of Topos ...
10
votes
1answer
309 views

Difficulties with descent data as homotopy limit of image of Čech nerve

Apologies if this question is inappropriate for MO. It is not a research level question in any of the topics it addresses, I just don't see how a novice can go about answering it alone (I've tried ...
7
votes
1answer
93 views

Can a weak fibration category be non saturated?

A weak fibration category is a category $\mathcal{C}$ equipped with two subcategories $$\mathcal{F}, \mathcal{W} \subseteq \mathcal{C}$$ containing all the isomorphisms, such that the following ...
5
votes
1answer
190 views

What do globes (used to construct globular sets, $\omega$-categories, etc.) actually look like?

Nlab introduces the globular category as a geometrical model to construct certain higher categorical structures (e. g. strict $\omega$-categories), just as quasi-categories, for example, are modelled ...
8
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 ...
8
votes
1answer
234 views

Relative version of Quillen's theorem A

Quillen's Theorem A is formulated as follows: Let $F:X\to Y$ be a functor between small categories. Suppose for each $y\in Y$ the category $F/y$ is contractible. Then $F$ induces a weak equivalence ...
48
votes
2answers
2k views

What is the mistake in the proof of the Homotopy hypothesis by Kapranov and Voevodsky?

In 1991, Kapranov and Voevodsky published a proof of a now famously false result, roughly saying that the homotopy category of spaces is equivalent to the homotopy category of strict infinity ...
1
vote
0answers
45 views

Pseudopullback of dimension three

What is the name of the appropriate analogue of the pseudopullback for dimension three? That is to say, a pseudonatural equivalence $fg\simeq hj $ which is universal in the obvious sense... Thank ...
2
votes
1answer
59 views

Why does vertical multiplication in 2-groups not follow the same order as horizontal one when constructed from crossed modules?

Consider a 2-group (seen as a 2-category with only one object $\star$) constructed from a crossed module $(G,H,t,\rhd)$ ($\circ$ will denote 1-morphisms composition, $\circ_{h}$ 2-morphisms horizontal ...
8
votes
0answers
95 views

Stability of adjunctions of infinity-categories by base change

Let $O \to O'$ be a functor between locally presentable symmetric monoidal $(\infty,1)$-categories (assume that the tensor product commutes in each argument with colimits, if necessary). Suppose that ...
7
votes
3answers
2k 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 ...
19
votes
1answer
677 views

How to stop worrying about enriched categories?

Recently I realized that ordinary category theory is not a suitable language for a big portion of the math I'm having a hard time with these days. One thing in common to all my examples is that they ...
61
votes
7answers
19k 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 ...
4
votes
0answers
93 views

What terminology surrounds “involutive” double categories?

Write $\mathbf{Cat}$ for the world of categories. Then $\mathbf{Cat}$ has: objects (namely cateories) arrows (namely, functors) proarrows (namely, bimodules) squares (namely, functors between pairs ...
3
votes
0answers
81 views

What do you call the coherence cells in a lax morphism?

The original question a friend asked me is what to call the coherence cells in a lax monoidal functor. After looking around, I was surprised to realize that when it comes to monoidal functors, ...
5
votes
2answers
179 views

Do $RHom(C,D)$ and $DG(C,D)$ have equivalent homotopy categories?

Toen in The homotopy theory of dg-categories and derived Morita theory Section 6 introduced the internal Hom's between dg-categories. Actually for two dg-categories $C$ and $D$, Toen defined $$ RHom(C,...
5
votes
1answer
126 views

Uniqueness of $\infty$-adjoints

Adjoints in a 2-category are essentially unique, in the following strong sense. If $\mathbf{2}$ denotes the "walking arrow" category $(\cdot \to \cdot)$, then there is a 2-category $\mathrm{Adj}_1$ ...
10
votes
1answer
242 views

Is the hom-simplicial set in the hammock localization a nerve?

Let $(C,w)$ be a relative category. Then associated to it we have its hammock localization, $L^H(C,w)$, which is a simplicially enriched category. If $X,Y\in C$, the description of the simplicial set ...
23
votes
4answers
1k 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
179 views

The source-side-opposite of the arrow category

Given a category $C$, is there a name for the following category: $\mathrm{Obj}(D) = \left\{ (x, y, f) \middle| x, y \in \mathrm{Obj}(C), f \in C(x, y) \right\}$ $D((x, y, f), (x', y', f')) = \left\{...
3
votes
1answer
220 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 ...
7
votes
1answer
361 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 ...
6
votes
1answer
213 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 ...
3
votes
1answer
264 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 ...
2
votes
0answers
45 views

Holonomy 2-functor transformation by transition functions

The holonomy 2-functor on a $\mathcal{G}$-principal 2-bundle associates a bigon: $$\mathsf{hol}_i(\Sigma):\mathsf{hol}_i(\gamma)\Rightarrow \mathsf{hol}_i(\gamma')$$ in $\mathcal{G}$ to each bigon: $$\...
3
votes
1answer
151 views

Action of a strict 2-group on a category gives autoequivalences?

A strict action of a strict 2-group (seen as 2-category with only one object $\star$) $\mathcal{G}$ on a 2-space (principally a category) $\mathcal{M}$ is a strict 2-functor $\Phi:\mathcal{G}\to \...
2
votes
1answer
362 views

Building $(\infty,2)$-categories from $\infty$-categories

Let $Y$ be a marked simplicial set, whose underlying simplicial set is also denoted by $Y$. Let $X$ be a scaled simplicial set such that the decalage of its underlying simplicial set is $Y$. $X$ is ...
5
votes
3answers
249 views

strict 2-groups VS crossed modules

nLab defines a strict 2-groups in many different but equivalent ways, among them: an internal group object in Cat, an internal group object in Grpd Also, it is known that strict 2-groups may be ...
5
votes
1answer
294 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 $\textbf{LaxNat}\,(F,G) \cong \oint_x\textbf{Hom}\,(Fx,Gx)$. where ...
8
votes
2answers
282 views

derived categories as presentable DG-categories

Let $A$ be a ring. Is it true that the DG category of unbounded complexes of $A$-modules, localized by quasi-isomorphisms, is cocomplete and compactly generated? What would be a reference for that and ...
5
votes
1answer
195 views

Minimal model (resolution) for a specific colored operad

We know that for the operad $As:=\mathcal{F}(\mu)/(\mu\circ_1\mu-\mu\circ_2\mu)$, its minimal model is the free operad $\mathcal{F}(E)$ where $E=\mathbb{k}<\mu_2,\mu_3,\dots,\mu_n,\dots>$ is the ...
3
votes
0answers
90 views

Colimits of n-fold categories

An $n$-fold category is an internal category in the category of $(n-1)$-fold categories (and a $0$-fold category is just a Set). General results about internal categories assure that the category of $...
3
votes
2answers
194 views

Does every bicategory have a “delaxing object”?

If I'm not mistaken, there is a bicategory $\mathsf{Monad}$ given as follows: Start with the associative operad. Deloop it to obtain a multicategory. Adjoin objects and morphisms as necessary to ...