Questions tagged [higher-category-theory]
For questions involving one or more categorical dimensions, or involving homotopy coherent categorical structures.
1,339
questions
2
votes
0
answers
66
views
The infinity category of dg-categories is bicomplete
We can define the $\infty$-category of dg-categories $dgCat_\infty$ as the definition of the $\infty$-category of $\infty$-categories which given gy the section.3 of J.Lurie "Higher Topos Theory&...
1
vote
1
answer
207
views
Notion of $\kappa$-sifted categories?
Let $\kappa$ be a regular cardinal. It seems reasonable to introduce the following definition:
Definition. A simplicial set $K$ is $\kappa$-sifted if, for every set $E$ with $\lvert E\rvert<\kappa$...
3
votes
1
answer
116
views
Double category of monads and pseudo monad-morphisms
We can construct bicategories of monads in a bicategory $B$, $Mnd_l(B)$/$Mnd_c(B)$ with lax and colax monad-morphisms respectively.
I am failing to find a good notion of pseudo monad-morphisms.
Is ...
-2
votes
0
answers
192
views
Is physics limited to smooth sets? [closed]
Good day, I have come across lectures about Higher Topos Theory in mathematical physics and I am wondering about the explicit restriction to the category of smooth sets.
Why should the potentially ...
8
votes
1
answer
351
views
Pushouts vs contractible colimits
Suppose that $C$ has all weakly contractible colimits, i.e. colimits of functors $F: I \rightarrow C$ where the geometric realization $|I|$ is weakly contractible. Then $C$ has pushouts and filtered ...
3
votes
1
answer
155
views
Morita equivalence of Lie groupoids and isomorphism of differentiable stacks
It's a well known fact two Lie groupoids are Morita-equivalent iff they induce isomorphic differentiable stacks (I'll call this statement "(1)").
It's also well known that there is a ...
7
votes
1
answer
204
views
$\operatorname{Fun}(\mathcal{C},\mathcal{D})^n$ is a subcategory of $\operatorname{Fun}(\mathcal{C}^n,\mathcal{D}^n)$
Let $\mathcal{C}$ and $\mathcal{D}$ be $\infty$-categories (by which I mean quasicategories, though I suspect that it hardly matters), and let $n\geq 1$ be an integer. There is a functor
$$\theta:\...
7
votes
0
answers
89
views
The Barr-Kock lemma for regular 2-categories
There is a nice result for regular 1-categories, which I quote from page 441 of Borceux & Bourn's textbook "Mal'cev, Protomodular, Homological and Semi-Abelian Categories".
This is ...
3
votes
0
answers
104
views
Presentation of double categories as algebras for a monad on an inverse category and its virtualisation
This question is motivated by the theory of walking structures and computads. Namely see the end of the linked paragraph on computads over at nlab:
For example, if $\mathcal{J} = \mathcal{P}\times \...
7
votes
0
answers
163
views
Simplicial right Kan extensions and Cartesian transformations
I will write the concrete question first, in case the answer is clear independently of the context:
Question: Given an $\infty$-topos $\mathfrak{X}$ and a diagram $F\colon\Delta^1\times\Delta_+^{op}\...
6
votes
1
answer
228
views
Reference: the category of derived affine schemes is extensive
The category (that is, $(\infty, 1)$-category) of derived affine schemes is the opposite category of the localization of simplicial commutative rings in weak equivalences.
See extensive category. Does ...
4
votes
0
answers
179
views
Derived functors from localization vs animation
I got a bit confused with the derived functors getting from the localization and the animation. More specifically, let $\mathcal{A}$ be an abelian category generated by compact projective objects $\...
7
votes
1
answer
143
views
What's the localization of the $\infty$-category of categories under inverting final functors?
The colimit is preserved under pulling back diagrams by a final functor. This could loosely be considered as giving some notion of two categories specifying the same sort of colimit (but since I don't ...
6
votes
1
answer
252
views
Are adjoints closed under pushouts?
The category $PrL$ of locally presentable categories has all colimits. In particular, if
$A_1 \leftarrow A_0 \rightarrow A_2$ is a diagram of presentable categories, with left adjoint functors between ...
6
votes
0
answers
113
views
Treatment of classes of mono/epi morphisms in $(\infty, 1)$-categories
In the classical theory of $(1, 1)$ categories, the chain of classes of mono/epi morphisms is well known: plain $\leftarrow$ strong $\leftarrow$ effective $\leftarrow$split ((I assume that the ...