Zulip Chat Archive
Stream: Is there code for X?
Topic: Adamek's fixed point theorem
IntGrah (Feb 21 2026 at 09:25):
https://ncatlab.org/nlab/show/Ad%C3%A1mek%27s+fixed+point+theorem ?
Joël Riou (Feb 21 2026 at 18:09):
No.
Last updated: Feb 28 2026 at 14:05 UTC