Oct 4 12:12 PM
@Shaun I haven't do the turnstile thing
Oct 4 12:12 PM
I see, this was probably the most on topic and relevant comment @MauroALLEGRANZA
Oct 4 12:12 PM
Yes but this point I have not seen in any book mentioned explicitly @BenSteffan
Oct 4 12:12 PM
Yes, but then really the statement should be $A \implies B <=> \text{tautology}$, right? Otherwise how else can you say that $A \implies B$ as a total must always be true?
Oct 4 12:12 PM
What does contra positives have to do with this question? @NaïmFavier
Oct 4 12:12 PM
Mistake @Lonaldin..
 

 Mathematics

Associated with Math.SE; for both general discussion & math qu...
Sep 28 8:24 AM
I mean, don't want to be that guy, but none of these things are intuitive to me as what would be expected by people of the internet
Sep 21 3:19 PM
@RyderRude what exactly do you want to do
Sep 21 3:18 PM
algebraic geometry for under grads assuming minimal pre requisites
Sep 21 3:18 PM
well my university professor has made the most insane course eve
Sep 21 3:17 PM
category theory and PDE?
Sep 21 3:16 PM
category theory + abstract algebra or category theory + topology
Sep 21 3:16 PM
calculus on manifolds and real analysis?
Sep 21 3:16 PM
physics and mathematics?
Sep 21 2:56 PM
@ILikeMathematics dont they only have winter admissions
Sep 21 1:29 PM
need to make it precise
Sep 21 1:29 PM
ill think more tho
Sep 21 1:29 PM
@BenSteffan drawing some open sets I notice that the intersection is not path connected when it unifies to the entire space
Sep 21 1:27 PM
I mean it works when you involve all the sides in gluing , but not when just a pair?
Sep 21 1:27 PM
could you elaborate why you think that
Sep 21 1:25 PM
I am essentially trying to apply satz 9.17 from the script here:
https://agag-gathmann.math.rptu.de/class/topo-2023/topo-2023-c9.pdf
Sep 21 1:25 PM
*an
Sep 21 1:25 PM
@BenSteffan you've idea to how to finish ti with the method I started with in the post math.stackexchange.com/questions/4974113/…
Sep 21 1:24 PM
are u a bonn undergrad @ILikeMathematics
Sep 1 7:39 PM
id say it is a philosophy of math book
Sep 1 7:38 PM
That book is much more than topoi
Sep 1 7:36 PM
did you ever end up finishing it? Was it worth it? how long did it take?
Sep 1 7:36 PM
I am perpetually getting through it but it often just feels so irrelevant the things in it for my entire bachelors studium. The book has some pretty deep insight on some matters, but it's hard to keep the motivation up
Sep 1 7:35 PM
@BenSteffan I am working through this book but it takes forever
Sep 1 7:29 PM
I think some people may consider it crankery, but I liked it so far. How useful it is, I've yet to figure out. It's hard to apply category than what it was directly made for I think.
Sep 1 7:29 PM
It tries to motivate each concept by finding a real life use case, and also at the end of each chapter, it shows how there are traces of a given concept independently in philosophical circles
Sep 1 7:28 PM
There is this book called Sheaf Theory by Daniel Rosiak. Now, I confess I have no idea what a sheaf is still, but that book does a damn good job of motivating why categorical ideas are quite natural
Sep 1 7:27 PM
I guess I have a different view on it than most people as I tried learning it from a very different angle.
Sep 1 7:25 PM
jeez
Sep 1 7:24 PM
@BenSteffan what u do in bachelors seem to have implications what you could do in your masters here. I am not sure of hte exact details tho.
Sep 1 7:24 PM
how much category theory and all did you know before the course @AlessandroCodenotti
Sep 1 7:23 PM
like ptuting all that effort and it doesnt even count
Sep 1 7:23 PM
@AlessandroCodenotti ndamn that is depressing
Sep 1 7:21 PM
@AlessandroCodenotti how did you surivve that
Sep 1 7:21 PM
it is basically till MV analysis, and linear algebra
Sep 1 7:21 PM
grundlagen der mathematik I and II
Sep 1 7:21 PM
@BenSteffan oh wait u have to do some compulsiry here
Sep 1 7:20 PM
@AlessandroCodenotti dam
Sep 1 7:20 PM
dam I guess there is not much organisatorische difference between bonn and here
Sep 1 7:19 PM
@BenSteffan is everything like standardized in bonn too or are there like different tracks for exceptional students
Sep 1 7:18 PM
I see
Sep 1 7:17 PM
I've seen the rising sea by ravi vakil. What % of that did you've to do
Sep 1 7:17 PM
@BenSteffan I mean is this a course or a research group? How much AG are you supposed to do in a semester exactly?
 

 CURED

For feedback/discussion/requests of Close/Undelete/Reopen/Edit...
Sep 17 1:14 PM
thats what I calling playing tennis