Skip to main content
Zhen Lin's user avatar
Zhen Lin's user avatar
Zhen Lin's user avatar
Zhen Lin
  • Member for 15 years, 4 months
  • Last seen this week
36 votes
4 answers
5k views

Is there a good general definition of "sheaves with values in a category"?

35 votes
3 answers
3k views

What is the theory of local rings and local ring homomorphisms?

29 votes
0 answers
1k views

The $(\infty, 1)$-category of all topological spaces, including the bad ones

24 votes
1 answer
1k views

Are there axioms satisfied in commutative rings and distributive lattices but not satisfied in commutative semirings?

21 votes
1 answer
2k views

Connected and locally connected, but not path-connected

20 votes
3 answers
1k views

What are finite homotopy types?

19 votes
2 answers
1k views

A model category of abelian categories?

17 votes
1 answer
1k views

The category theory of $(\infty, 1)$-categories

17 votes
2 answers
2k views

Modern versions of Verdier's hypercovering theorem?

16 votes
1 answer
1k views

The state of the art in the rectification of homotopy-coherent structures

16 votes
2 answers
843 views

How to formulate the univalence axiom without universes?

16 votes
1 answer
614 views

Reference for basic multicategory theory

15 votes
2 answers
1k views

Categories in which isomorphism of stalks does not imply isomorphism of sheaves

15 votes
1 answer
1k views

Is it possible for a theorem to be constructive only in a non-constructive metatheory?

12 votes
0 answers
723 views

"To operate the machine, it is not necessary to raise the bonnet."

12 votes
1 answer
488 views

Examples of natural algebraic irreflexive relations

11 votes
1 answer
698 views

What is the connection between Lurie's definition of shape and Čech homotopy?

11 votes
1 answer
435 views

Is an open map with open relative diagonal necessarily a local homeomorphism?

10 votes
1 answer
490 views

The cartesian product of a simplicial complex and a topological space

10 votes
1 answer
479 views

Is the category of all topological spaces, including the bad ones, simplicially tensored and cotensored?

10 votes
1 answer
687 views

What does it mean for a category to be generated under (some) colimits?

9 votes
1 answer
398 views

Finitistic interpretation of Nelson's internal set theory

9 votes
0 answers
272 views

The pro-discrete space of quasicomponents of a topological space

8 votes
1 answer
248 views

Universally closed implies proper for locales

8 votes
2 answers
667 views

Categorical Brouwer-Heyting-Kolmogorov interpretation

8 votes
1 answer
696 views

The independence of path induction

8 votes
1 answer
442 views

∞-topos Morita equivalence vs 1-topos Morita equivalence

8 votes
0 answers
182 views

Higher infinitesimal neighbourhoods as symmetric powers, geometrically

7 votes
1 answer
456 views

Non-definable elements vs indiscernible elements

7 votes
0 answers
318 views

What are the Čech-local equivalences of (simplicial pre)sheaves?