Harry Gindi's user avatar
Harry Gindi's user avatar
Harry Gindi's user avatar
Harry Gindi
  • Member for 14 years, 5 months
  • Last seen more than 1 year ago
  • Edinburgh, UK
10 votes
3 answers
2k views

Ends and coends as Kan extensions (without using the subdivision category of Mac Lane)?

9 votes
1 answer
2k views

What information does the completion of a stalk at its maximal ideal give us in the holomorphic, analytic, or algebraic cases?

9 votes
1 answer
2k views

Formally smooth morphisms, the cotangent complex, André-Quillen cohomology, and representability of nilpotent extensions as trivial extensions over a cofibrant replacement

9 votes
0 answers
595 views

Historical and terminological questions about Dan Kan's Ex functor and its relation to the classical case of simplicial complexes

9 votes
1 answer
1k views

Fibered/cofibered higher categories, relative model structures, slicing, and (∞,2)-category theory

9 votes
1 answer
393 views

Homotopical descent information contained in the Dwyer-Kan function complexes of a presheaf category?

9 votes
1 answer
1k views

Is formal smoothness a local property?

9 votes
2 answers
2k views

Orientation of a smooth manifold using sheaves

9 votes
0 answers
350 views

When is the étale topos of a fibre product the fibre product of étale toposes?

9 votes
1 answer
744 views

Giraud's proper base change for Gerbes - Elimination of Noetherian hypotheses

8 votes
1 answer
667 views

Milnor excision for algebraic stacks

8 votes
0 answers
270 views

Every Spectral Deligne-Mumford stack satsifies fpqc descent?

8 votes
0 answers
188 views

Closed immersion → Pro-open immersion factorization for residual gerbes

8 votes
0 answers
287 views

SGA4 Exposé IX 2.14 - Isotrivialization of a constructible sheaf on a stratification

8 votes
0 answers
232 views

Dugger and Spivak's combinatorial proof of Joyal's isofibration theorem, a fortiori?

8 votes
0 answers
119 views

Explicit data for $E_n$-monoidal model and simplicial categories

8 votes
4 answers
2k views

Formally étale at all primes does not imply formally étale?

8 votes
1 answer
1k views

The Join of Simplicial Sets ~Finale~

8 votes
0 answers
665 views

An Ex functor for the contravariant homotopy structure

8 votes
5 answers
1k views

A sheaf-theoretic version of the proj construction?

8 votes
1 answer
388 views

The (co)monadicity theorem relative to a presheaf topos

8 votes
1 answer
283 views

Top degree local cohomology under action by a non-zerodivisor

7 votes
1 answer
1k views

Is every (Artin/DM) algebraic stack fibered in sets an algebraic space?

7 votes
1 answer
3k views

A slick definition of the Kan extension?

7 votes
3 answers
2k views

Does the presence of cocycle conditions indicate the existence of an underlying cohomology theory?

7 votes
4 answers
680 views

An explicit description of Lawvere's segment in the category of simplicial sets

7 votes
2 answers
742 views

K-good trees and K-compactness of colimits over K-small downwards-closed subposets (500 point bounty if answered by Midnight EST))

7 votes
3 answers
1k views

Joins of simplicial sets

7 votes
2 answers
573 views

Is every left fibration of simplicial sets with nonempty fibers a trivial kan fibration?

7 votes
1 answer
1k views

Sets, Universes, and the small Yoneda Lemma