Anon001

@Shaun I haven't do the turnstile thing

I see, this was probably the most on topic and relevant comment @MauroALLEGRANZA

Yes but this point I have not seen in any book mentioned explicitly @BenSteffan

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?

What does contra positives have to do with this question? @NaïmFavier

Mistake @Lonaldin..

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

@RyderRude what exactly do you want to do

agag-gathmann.math.rptu.de/class/alggeom-2014/alggeom-2014.pdf

algebraic geometry for under grads assuming minimal pre requisites

well my university professor has made the most insane course eve

category theory and PDE?

category theory + abstract algebra or category theory + topology

calculus on manifolds and real analysis?

physics and mathematics?

@ILikeMathematics dont they only have winter admissions

need to make it precise

ill think more tho

@BenSteffan drawing some open sets I notice that the intersection is not path connected when it unifies to the entire space

I mean it works when you involve all the sides in gluing , but not when just a pair?

could you elaborate why you think that

*an

@BenSteffan you've idea to how to finish ti with the method I started with in the post math.stackexchange.com/questions/4974113/…

are u a bonn undergrad @ILikeMathematics

id say it is a philosophy of math book

That book is much more than topoi

did you ever end up finishing it? Was it worth it? how long did it take?

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

@BenSteffan I am working through this book but it takes forever

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.

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

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

I guess I have a different view on it than most people as I tried learning it from a very different angle.

jeez

@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.

how much category theory and all did you know before the course @AlessandroCodenotti

like ptuting all that effort and it doesnt even count

@AlessandroCodenotti ndamn that is depressing

@AlessandroCodenotti how did you surivve that

it is basically till MV analysis, and linear algebra

grundlagen der mathematik I and II

@BenSteffan oh wait u have to do some compulsiry here

@AlessandroCodenotti dam

dam I guess there is not much organisatorische difference between bonn and here

@BenSteffan is everything like standardized in bonn too or are there like different tracks for exceptional students

I see

I've seen the rising sea by ravi vakil. What % of that did you've to do

@BenSteffan I mean is this a course or a research group? How much AG are you supposed to do in a semester exactly?

thats what I calling playing tennis