Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with infinity-categories
Search options questions only
not deleted
user 131975
Part of higher category theory that for instance in Algebraic Topology enables us to capture finer homotopic distinctions. As in say Eilenberg-Maclane spaces.
13
votes
2
answers
3k
views
Can we use Mann's six-functor formalism with D-modules?
In a recent course in Bonn, P. Scholze explains a formalization of a six-functor formalism due to L. Mann. In this axiomatization, three of the functors $f_!,f^*,\otimes$ are "constructed" (in the for …
- 721
7
votes
1
answer
406
views
Intuition for isofibrations in $\infty$-categories
In the very first chapter of Elements of $\infty$-category theory, E. Riehl and D. Verity define their notion of an $\infty$-cosmos, which should axiomatise a category in which $\infty$-categories liv …
- 721
29
votes
1
answer
4k
views
Why stable $\infty$-categories?
I begin by saying that while I understand what a triangulated / derived category is pretty well, I know nothing about Higher Algebra stuff and not even $\infty$-categories.
I've heard some people say …
- 721