 |
Post An6FT9Nf99b8jsHFXE by [email protected] |
 |
More posts by [email protected] |
|
Post #An6FT8gPjx0GZk2i7k by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Inspired by discussions with @ToucanIan, I’ve come up with what I think is a … |
|
|
|
Post #An6FT8pdBgNN2KM4US by [email protected] |
|
0 likes, 0 repeats |
|
|
|
First, some observations: Knaster-Tarski isn’t really a theorem about fixpoin… |
|
|
|
Post #An6FT8wilK2zOJfjXc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
The naive generalization is to turn this meet into a limit over the category of… |
|
|
|
Post #An6FT97096GpuCTwZ6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Now for the proof! Let C be a kappa-complete category, F an endofunctor, and as… |
|
|
|
Post #An6FT9FVdT4mKaSjpI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@totbwf what's a kappa-complete category? |
|
|
|
Post #An6FT9Nf99b8jsHFXE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@zanzi It's a size thing: you have all kappa-small limits. In type-theoreti… |
|
|
|
Post #An6FT9TgmkQ12Z63vc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@zanzi - and kappa, my friend, is a cardinal - perhaps one so large that you do… |
