 |
Post Ay0FJGy4kw3ihrtD0K by [email protected] |
 |
More posts by [email protected] |
|
Post #Ay0FJGdA0hKRf06VP6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I have a question about biCCCs that I would like to figure out before my lectur… |
|
|
|
Post #Ay0FJGlJWNqo4Hv172 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew Sorry, what theory are you using to define completeness here? I'm … |
|
|
|
Post #Ay0FJGrh8exGO4u73g by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@danielgratzer So an STLC signature would have a set of base types, function sy… |
|
|
|
Post #Ay0FJGy4kw3ihrtD0K by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew Hm, perhaps this is too simple-minded but consider the following:take … |
|
|
|
Post #Ay0FJH4SNDAB1esIwy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@danielgratzer lol ofc that works should have thought of that. I wonder if ther… |
|
|
|
Post #Ay0FJHBXwqpnNeBy08 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew @danielgratzer One could argue that presheaf categories present a very… |
|
|
|
Post #Ay0FJHIHXoDpiXLLV2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@varkor @danielgratzer well yes, you can show presheaf models are complete for … |
|
|
|
Post #Ay0FJHwh7YY3jsFcUS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew Oh, and one should have distinct maps 1 --> y(X) if there are disti… |
|
|
|
Post #Ay0FJtMW0WBfmfcGNE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew Indeed... my feeling is that one can find some such category, but cate… |
|
|
|
Post #Ay0FJtStcnI86SbMJs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@danielgratzer yea I have a lot more familiarity with concrete models for guard… |
