/sci/ - Science & Math

>>12618514
Your logic is correct but you need to work a bit on presentation. You have
>Then [math]\beta > x, x\in A[/math]
and I know you mean some x in A, but I would interpret that as "for all x in A" if I had to grade your solution. Nothin' personnel, kid, but if you are to use quantifiers on x like that, you shouldn't leave x unquantified later. Add "for some" or use "[math]\exists x\in A: x < \beta[/math]" instead!

>>12618465
Unironically this. First concepts from different areas, not only algebra, and then categories. Without examples, CT is total gibberish.