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 |
For questions involving one or more categorical dimensions, or involving homotopy coherent categorical structures.
2
votes
0
answers
118
views
Dual of $n$-cosheaf is an $n$-sheaf?
For a site $\mathcal{C}$, an $n$-cosheaf is a functor $\mathcal{F}:\mathcal{C}\rightarrow $n$\text{-}\mathfrak{Cat}$ such that for any cover $(U_i\rightarrow U)_i$, we have
$$\prod_{i,j}\mathcal{F}(U_ …
3
votes
1
answer
282
views
Limit of Hom-groupoid
For any groups $G,H$, we can define the category, in fact a groupoid,
$$\underline{\text{Hom}}(G,H)$$
whose objects are group morphisms $G\to H$ and morphisms $(f:G\to H)\to (g:G\to H)$ are elements o …
4
votes
1
answer
284
views
Deligne's theorem for $n$-topos
Deligne's theorem states that a coherent topos has enough points, i.e. that we can prove that a morphism of sheaves on a "nice" site is an isomorphism by showing that the induced morphism on stalks ar …
3
votes
1
answer
201
views
Morphisms of $\infty$-groupoids
As far as I understand, there are several ways of defining $\infty$-categories. One of them is to think of $\infty$-cateogries as $top$-enriched categories. Hence we can think of $\infty$-groupoids as …
3
votes
0
answers
124
views
Abelianisation of Groupoids
I was wondering what a good source for the properties (or even the existence) of the abelianisation of a (2-) groupoid would be? A naive construction would certainly be to abelianise the automorphisms …
2
votes
1
answer
166
views
"Approximating" functors by Hom/Tensor product
Consider two dg-algebras $A,B$ and their respective derived categories $D(A),D(B)$. A natural way to give a covariant functor is to take an $(A,B)$-bimodule $X$ and to tensor with it, that is
$$D(A)\t …
7
votes
1
answer
251
views
$K_1$ of Categories for intuition
Maybe there is no good answer to this, but I'm trying to get a feel for what the $K$-theory of a (permutative or symmetric monoidal $\infty$-)category computes.
In algebraic $K$-theory, we have explic …
6
votes
1
answer
788
views
Truncation of infinity-categories
If we have a category $\mathcal{C}$, then we can see it as an $\infty$-category. Furthermore, we can truncate and $\infty$-category $\mathcal{X}$ to get a category $\mathcal{X}_{\leq 1}$. My question …
4
votes
1
answer
447
views
Do stalks see epimorphism of stacks?
Let $\mathcal{C}$ be a site and $f:\mathcal{F}\to \mathcal{G}$ a morphism of $2$-sheaves. According to https://mathoverflow.net/q/307366, this is an epimorphism if and only if it is almost surjective …
5
votes
0
answers
169
views
Étale stack on $\text{Spec}(k)$
Let $\mathcal{F}:\text{Ét}(\text{Spec}(k))^{\mathrm{op}}\rightarrow \text{Set}$ be an étale presheaf. The étale sheaf condition for the cover $\text{Spec}(l)\rightarrow \text{Spec}(k)$ is
$$\mathcal{F …
7
votes
1
answer
248
views
Representation of fundamental groupoid as $2$-sheaf
By https://arxiv.org/abs/1406.4419 (The fundamental groupoid as a terminal costack, Ilia Pirashvili), we know that for a topological space $X$, the $2$-functor
$$\text{Top}(X)\rightarrow \text{Gpd}, \ …