119

Answers
votes newest views recent
3
Why is the Street nerve of the Gray tensor product $[1]\otimes [1]$ isomorphic to $[1]\times [1]$
-3
An example of a beautiful proof that would be accessible at the high school level?
1
A “join” of ω-categorical simplices
2
Decomposition of inner horns
2
A Grothendieck fibration over a weakly contractible category with weakly contractible fibers is weakly contractible?
0
are closed subfunctors complimentary to open subfunctors?
6
Formally smooth morphisms, the cotangent complex, and an extension of the conormal sequence
1
Can we relate Cech cohomology and derived functor cohomology even when the cover we choose isn’t nice?
1
An explicit description of Lawvere’s segment in the category of simplicial sets
4
Simple adjective for “of the size of a proper class”?
5
Rigidity of the category of schemes
14
What notions are used but not clearly defined in modern mathematics?
9
Do homotopy groups “always” commute with filtered colimits?
1
(Co)completions?
9
Proof that the homotopy category of a stable $\infty$-category is triangulated
4
When does a cosimplicial object compute homotopy colimits?
14
Why nilpotent elements must be allowed in modern algebraic geometry?
0
The fiber of a Serre fibration
3
motivation of filtered colimits
11
Which mathematicians have influenced you the most?
3
Decent Texts on Categorical Logic
14
What makes a theorem *a* “nullstellensatz.”
0
how to prove cartesian closed category with finite coproducts is distributive category?
4
History of classifying spaces
3
Model categories of simplicial objects
3
Most intricate and most beautiful structures in mathematics
0
Abstract classes of anodyne maps (relative to an interval) in a presheaf category are stable under smash products with monomorphisms?
16
Proofs that require fundamentally new ways of thinking
16
What does an etale topos classify?
9
Where can I learn about Formal Schemes?
1 2 3 4 next