Chris

Es ist wieder diese Zeit. Jedes Mal, wenn ich in der Uni was über ne Sigma-Algebra höre, habe ich wieder nen Ohrwurm von "Sigmaboy"🙈

RE: @chrisTheClimber@mathstodon.xyz

Ha! I solved it! Thanks for all the boosts! For all that are interested I'll probably do a write up and post it on here! The Tldr is: They are equivalent!

Please Help. I feel like I am in hell. In our Topology class we defined homology via a bunch of Axioms - however it was quite confusing and so I now wanted read about it in a book. The problem now is, we didn't define/use the "Eilenberg Steenrod axioms" which define a homology theory as a functor on category pairs of topological spaces. We defined a homology theory as a functor simply on the category of topological spaces and instead of the excision axiom we required our border map to make the Mayer-Vietoris Sequence exact. AI told me that these definitions are equivalent and that this was a well known fact, but even after spending several hours(!!) trying to find this other definition in a book, all I could find what this very vague Answer on Math overflow. https://mathoverflow.net/a/97647
Can anyone help? Is there any source that provides greater detail on this?

Erstmal das neue Drei ??? Hörspiel hören

I think the decomposition of finitely generated Modules over PIDs is my favourite theorem and yet I have never seen a proper proof of it.

How do you guys do your Note-Taking?
I recently simply created a new Typest file on each topic I want to take notes on. However, this makes it hard to search for notes and reuse them. I would like to use Obsidian but I really can't stand the "LaTeX math" anymore...

Help. I am spending way too much money on climbing guidebooks again😂🙈

I am currently in a course about elementary Probability Theory and don't really like it much to be honest. But as preparation for yesterdays Talk our prof explained how a discrete Probability Measure is a Monad. And that's insanely cool if you ask me.

RE: @chrisTheClimber@mathstodon.xyz

The Talk tourned out to be a "I used Claude to generate Lean code" Talk🫠

@matematiflo@mathstodon.xyz @de_Jong_Tom@mathstodon.xyz @mevenlennonbertrand@lipn.info Awsome! Thank you both for your answers!

@matematiflo@mathstodon.xyz @de_Jong_Tom@mathstodon.xyz @mevenlennonbertrand@lipn.info Hey, this sounds super interesting! Would theoretically a bachelor student also able to attend this workshop? And if so, do you think someone at that level (me 😅) would realistically get enough out of it for it to be worthwhile? Sorry if these are slightly odd questions — I just have basically no idea how workshops like this usually work.