Skip to main content
Saal Hardali's user avatar
Saal Hardali's user avatar
Saal Hardali's user avatar
Saal Hardali
  • Member for 12 years, 8 months
  • Last seen more than a month ago
7 votes
1 answer
389 views

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

7 votes
5 answers
3k views

Lecture notes, videos and other learning materials about $\infty$-category theory

6 votes
1 answer
2k views

Transferring connection information to associated bundles and back

6 votes
2 answers
1k views

A systematic canonical construction of the Hodge star operator

6 votes
4 answers
1k views

What does "higher monodromy" tell us about a principal bundle

6 votes
2 answers
957 views

An apparent equivalence of the category of affine schemes over $S$ and the category of quasi-coherent $\mathcal{O}_S$-algebras

6 votes
1 answer
598 views

Vector fields, diffeomorphism subgroups and lie group actions

6 votes
1 answer
2k views

(Geometric) Proof for the projective bundle formula in K-theory

6 votes
0 answers
222 views

Prime spectrum of the derived category of holonomic $\mathcal{D}$-modules?

6 votes
1 answer
1k views

Intuition for polarized Hodge structures

6 votes
0 answers
187 views

Algebraic model for the abelian category of descent data for modules in the non-affine case

6 votes
0 answers
348 views

Categorical formalism for higher non-abelian group cohomology / obstruction theory for gerbes?

6 votes
2 answers
1k views

Proof of the holomorphic Frobenius theorem in Voisin's book on Hodge theory (Theorem 2.26)

6 votes
2 answers
647 views

Monomorphisms, epimorphisms, (co-)images and factorizations in $\infty$-categories

6 votes
0 answers
304 views

Geometric interpretation of a formula for the induced character (fix point localization?)

6 votes
1 answer
354 views

Compact objects in the $\infty$-category presented by a simplicial model category

6 votes
0 answers
245 views

Uniqueness of the $(2,2)$-category theory of $(\infty,1)$-categories?

6 votes
0 answers
308 views

An adjunction between monads on $\mathcal{C}$ and presentable categories under $\mathcal{C}$

6 votes
1 answer
630 views

Representation ring of the symmetric group $S_n$ in the limit as $n \to \infty$

5 votes
0 answers
205 views

The notion of $\infty$-Cooperads for which Bar-Cobar duality is an equivalence

5 votes
0 answers
219 views

Is there a systematic way to "bound" the $d_n$'s of ASS's by "pairing" them with elements in the $n$-line of the $E_2$ of the ASS of the sphere?

5 votes
0 answers
342 views

A compendium of weak factorization systems on $sSet$

5 votes
0 answers
79 views

Bounding the dimension of the euclidean space in which any $n$-manifold embeds "$k$-uniquely" in it

5 votes
2 answers
224 views

Expressing properties of graded algebras in terms of the $\mathbb{G}_m$action

5 votes
1 answer
711 views

Closed symmetric monoidal structure on the derived category of modules whose unit is a dualizing complex?

5 votes
1 answer
264 views

What are the minimal local models for Riemannian manifolds? A local question about isometric embeddings

5 votes
0 answers
264 views

Do almost commutative flat degenerations induce equality in K-theory? (Or: Is the characteristic variety actually a support of a class in $K$-theory?)

5 votes
1 answer
458 views

When are finite maps quotients by finite groups?

5 votes
1 answer
552 views

Defining hom spaces in the derived category as limits of hom spaces in the homotopy category

4 votes
2 answers
574 views

Principal bundles that can't be detected by spheres