Stack Exchange

N.Beck

top accounts reputation activity subscriptions
Top Questions
25 votes

How to use a proof assistant to reason in a topos?

internal-language topos proof-assistant asked Feb 13, 2022 at 12:46
proofassistants.stackexchange.com

13 votes

Reference request: Bundles in Algebraic Geometry

algebraic-geometry reference-request vector-bundles schemes quasicoherent-sheaves asked Oct 8, 2022 at 11:50
math.stackexchange.com

13 votes

Comparing algebraic and analytic spaces through the universal property of classifying topoi

ag.algebraic-geometry reference-request ct.category-theory categorical-logic gaga asked Feb 9 at 22:56
mathoverflow.net

12 votes

Is -ist a gender-neutral ending?

suffixes grammatical-gender gender-neutral gender-positive asked Apr 12 at 18:28
english.stackexchange.com

10 votes

2-completeness of stacks

ct.category-theory higher-category-theory stacks monads 2-categories asked May 26 at 16:33
mathoverflow.net

9 votes

Interpretation of dependent types: Coherence

type-theory dependent-type category-theory asked Dec 15, 2022 at 15:58
proofassistants.stackexchange.com

9 votes

Lagrange multiplier in spin liquid mean-field theory (Paper by X.G. Wen)

hamiltonian mean-field-theory spin-liquid asked Mar 29, 2019 at 10:52
physics.stackexchange.com

9 votes

Type Theory research groups

type-theory recommendations constructive asked Feb 24, 2022 at 10:13
proofassistants.stackexchange.com

8 votes

Is exercise 2.22 (iii) in Rotman's Homological Algebra book wrong?

abstract-algebra commutative-algebra homological-algebra asked Sep 11, 2021 at 9:32
math.stackexchange.com

7 votes

Beck-Chevalley conditions for the local geometric morphisms $\pi:\mathrm{Zar}/X\to \mathrm{Sh}(X)$

ag.algebraic-geometry reference-request ct.category-theory topos-theory asked Feb 14 at 22:31
mathoverflow.net

1 2 3

Top Answers