Skip to main content
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
Search options not deleted user 152554

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_ …
curious math guy's user avatar
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 …
curious math guy's user avatar
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 …
curious math guy's user avatar
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 …
curious math guy's user avatar
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 …
curious math guy's user avatar
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 …
curious math guy's user avatar
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 …
curious math guy's user avatar
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 …
curious math guy's user avatar
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 …
curious math guy's user avatar
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 …
curious math guy's user avatar
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}, \ …
curious math guy's user avatar