augustoperez's user avatar
augustoperez's user avatar
augustoperez's user avatar
augustoperez
  • Member for 7 years, 5 months
  • Last seen this week
16 votes
6 answers
3k views

What exactly is an arrow in a category?

12 votes
1 answer
212 views

What objects can be turned into a category?

11 votes
1 answer
440 views

What is exponentiation in the slice category?

11 votes
1 answer
710 views

"Counterexample" for the Inverse function theorem

10 votes
1 answer
463 views

Is this "reverse the limit" process right?

9 votes
3 answers
486 views

Difference of asymptotes at infinity

9 votes
0 answers
312 views

Why should $\sum_{m=1}^N e(\alpha m^3)$ be big for some $\alpha?$

8 votes
2 answers
614 views

Various examples of non-representable functors

8 votes
1 answer
3k views

Let $K$ be a normal subgroup of $G$, and $H$ a normal subgroup of $K$. If $G/H$ is abelian, prove that $G/K$ and $K/H$ are both abelian.

7 votes
2 answers
318 views

Counterexample in topos theory

7 votes
2 answers
139 views

Logical disjunction in elementary toposes

6 votes
1 answer
938 views

Does every involution have a fixed point?

6 votes
4 answers
242 views

Is this a valid convergence test (for sequences)?

6 votes
1 answer
113 views

Does this "in between" space exist?

6 votes
1 answer
427 views

Intuition behind filters, ultrafilters and ultralimits

5 votes
1 answer
331 views

Why does $\int_C\frac{dz}{z}=2\pi i$? [duplicate]

5 votes
3 answers
706 views

Does every theorem have a short proof?

5 votes
1 answer
188 views

Proof that the reals are uncountable by Königsberger

5 votes
1 answer
85 views

How can I prove $\mathbf{1}_{Pa}=P\{\cdot\}_a\circ\{\cdot\}_{Pa}$

5 votes
1 answer
79 views

Maximal subset iff maximum size

4 votes
2 answers
255 views

Use of exponentiation in topos logic

4 votes
3 answers
560 views

Why is the twin prime conjecture hard?

4 votes
1 answer
75 views

Behaviour of sine sums

4 votes
0 answers
50 views

Proof method for Hilbert spaces

4 votes
0 answers
151 views

Is the "coequalizer of a pullback" the same as the "equalizer of a pushout"?

4 votes
3 answers
204 views

Is there a bijection $\phi : [0,1]\to [0,1]$ with no finite orbits?

3 votes
1 answer
129 views

What does intuitionism/constructivism say about this proof?

3 votes
1 answer
690 views

How to use induction to prove Cauchy's theorem?

3 votes
0 answers
323 views

Line integrals along space filling curves

3 votes
1 answer
85 views

Do non-additive subgroup ideals of rings exist?