Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Chris

@chrisTheClimber@mathstodon.xyz
mastodon 4.7.2
  • Open on mathstodon.xyz

Math student and climber from Austria now living and studying in Frankfurt! Here to have a good time!

🏳️‍🌈🌈🧗🧮

0 Followers
0 Following
11 Posts
Joined May 03, 2026
Favorite Mountain:
Barre des Ecrins
Favorite Climb:
Große Zinne Nordwand
Open post
Chris @chrisTheClimber@mathstodon.xyz
· 4mo ago

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?

mathoverflow.net
6
0
14
0
Open post
Chris @chrisTheClimber@mathstodon.xyz
· 4mo ago

RE: https://mathstodon.xyz/@chrisTheClimber/116658216201551038

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!

mathstodon.xyz
3
0
0
0
Open post
Chris @chrisTheClimber@mathstodon.xyz
· 4mo ago

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

2
0
0
0
Open post
Chris @chrisTheClimber@mathstodon.xyz
· 4mo ago

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.

2
0
0
0
Open post
Chris @chrisTheClimber@mathstodon.xyz
· 4mo ago

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

1
0
0
0
Open post
Chris @chrisTheClimber@mathstodon.xyz
· 4mo ago

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

1
0
0
0
Open post
Chris @chrisTheClimber@mathstodon.xyz
· 4mo ago

RE: https://mathstodon.xyz/@chrisTheClimber/116533202284289688

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

mathstodon.xyz

Chris: "There will be a lecture about #Lean next wednesda…" - Mathstodon

1
0
0
0
Open post
Chris @chrisTheClimber@mathstodon.xyz
· 4mo ago
Replying to
@matematiflo@mathstodon.xyz @de_Jong_Tom@mathstodon.xyz @mevenlennonbertrand@lipn.info Awsome! Thank you both for your answers!
1
0
0
0
Open post
Chris @chrisTheClimber@mathstodon.xyz
· 4mo ago
Replying to
@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.
1
3
0
0
Open post
Chris @chrisTheClimber@mathstodon.xyz
· 4mo ago

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"🙈

0
0
0
0
Open post
Chris @chrisTheClimber@mathstodon.xyz
· 4mo ago

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.

0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 15:57:24 UTC