 |
Post AvlUE3nr55nzPIu0fI by [email protected] |
 |
More posts by [email protected] |
|
Post #AvlUE1A4u0nbDMHDO4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Does anyone know a *category-theoretic* description of the large elimination ru… |
|
|
|
Post #AvlUE3h7U8Px4PkdAO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @carloangiuli @danielgratzer Would some kind of descent condition… |
|
|
|
Post #AvlUE3nr55nzPIu0fI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ncf @carloangiuli @danielgratzer Well, descent conditions are about colimits, … |
|
|
|
Post #AvlUE4mpQOZuSPQhhg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @carloangiuli @danielgratzer And, out of curiosity, what would a … |
|
|
|
Post #AvlUE9So2GX6xl6Hgm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @carloangiuli @danielgratzer Re the EDIT: the Smith paper that af… |
|
|
|
Post #AvlUE9axXx3TN2unOi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ecavallo @jonmsterling @danielgratzer Wow, I haven't seen this paper befor… |
|
|
|
Post #AvlUE9i37aj5j2ESRs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ecavallo @jonmsterling @danielgratzer Hold on, I'm suspicious about Smith&… |
|
|
|
Post #AvlUE9nimVGO0cszI0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@carloangiuli @ecavallo @danielgratzer I did not interpret it as schematic at a… |
|
|
|
Post #AvlUE9tkQ65GJJhngO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@carloangiuli @ecavallo @danielgratzer It appears, rather, that he is doing som… |
|
|
|
Post #AvlUEEuzkt3JsdKMoy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @ecavallo @danielgratzer Thanks! After a private discussion in wh… |
|
|
|
Post #AvlUEGbDVOQ75s5bGq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling I strongly suspect that I would have heard about it if there was … |
|
|
|
Post #AvlUEGhx6Lo9QlEylk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling The closest I can think of is the literature on algebraic set the… |
|
|
|
Post #AvlUEGoKicubkYE4iO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@aws Yes, that's exactly right. In fact, the main example of needing a larg… |
|
|
|
Post #AvlUEGuiKu144LDAf2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@aws Hmm, I have an idea... |
