Skip to main content
Chris Grossack's user avatar
Chris Grossack's user avatar
Chris Grossack's user avatar
Chris Grossack
  • Member for 5 years, 3 months
  • Last seen this week
16 votes
2 answers
1k views

Can the fundamental group detect all ways to not have a section?

15 votes
3 answers
1k views

Why use $\infty$-categories over model categories?

13 votes
2 answers
296 views

Are there adjoint functors that don't play nicely with internal homs?

9 votes
0 answers
159 views

Applications of Robinson's Consistency Theorem in Algebra?

9 votes
2 answers
476 views

Algebraic Functors and Left Adjoints

8 votes
1 answer
274 views

Solving a Solvable Polynomial by Radicals (Effectively)

8 votes
0 answers
182 views

Externalizing Statements about the Effective Topos (or: what is it good for?)

7 votes
2 answers
168 views

Are quasicategories (resp. kan complexes) (co)reflective in simplicial sets?

7 votes
2 answers
225 views

Is there a topos-theoretic notion of "dimension"?

7 votes
1 answer
169 views

Computing a tricky quotient space

7 votes
2 answers
447 views

Formal Power Series as Initial Objects?

6 votes
2 answers
75 views

Reflective subcategories of monoids

6 votes
0 answers
163 views

Definitions which were chosen because we write functions on the left

6 votes
2 answers
330 views

Simple Failings of Axiom of Choice in Top

6 votes
1 answer
166 views

What fraction of finitely presented groups have unsolvable word problem?

6 votes
1 answer
209 views

Decidability Results for $\mathcal{L}_{\omega_1, \omega}$?

6 votes
2 answers
406 views

Can we get quantitative information from the Dominated (resp. Monotone) Convergence Theorem?

6 votes
1 answer
259 views

What happened to bornological/uniform spaces?

6 votes
1 answer
177 views

Computing the expected size of the largest connected component in a "hitomezashi graph" (described in the question body)

6 votes
2 answers
158 views

When do the (Set valued) models of a Lawvere Theory form an abelian category?

5 votes
1 answer
444 views

Applications of the cup product before descending to cohomology

5 votes
1 answer
314 views

A Reference From Andrej Bauer's Recent Talk on Countable Reals

5 votes
0 answers
102 views

Proving associativity of addition with weird carry operation

5 votes
2 answers
195 views

Is the join of two solvable subgroups solvable?

5 votes
1 answer
93 views

Rendering a Homomorphism Injective

5 votes
1 answer
123 views

Real-Valued Measurable Cardinals and Powerset Algebras

4 votes
2 answers
156 views

Recovering the Subobject Poset from the Subobject Classifier

4 votes
1 answer
73 views

Viewing Objects as Objects of a Reflective Subcategory with Bonus Structure

4 votes
1 answer
120 views

Coalgebras of a free-forgetful adjunction

4 votes
0 answers
77 views

Reference for Algebraic Structures equipped with a Topology?