All Questions
1 question with no upvoted or accepted answers
10
votes
0
answers
391
views
How do properties of a partial order $\mathbb{P}$ affect the logic of the functor category $\mathsf{Set}^\mathbb{P}$?
$\DeclareMathOperator\true{\mathsf{true}}$I am very suspicious the answer to this (family of) question(s) is well-known, but I couldn't find anything after a bit of searching so I'll ask anyway.
I am ...
- 613