Questions tagged [cartesian-closed-categories]
The cartesian-closed-categories tag has no usage guidance.
55
questions
8
votes
2
answers
418
views
Is the category of quotient of countably based topological spaces cartesian closed ?
In "Handbook of categorical algebra Vol 2" from Francis Borceux, the author gives a proof that $Top$ is not cartesian closed. It seems to me that this proof can be adapted to show that the category $\...
- 774
15
votes
2
answers
2k
views
Propositional logic with categories
I have some vague sense that certain types of categories are related to certain types of logic. I've been meaning to learn more about this, so I thought I'd ask about the simplest case, propositional ...
- 114k
7
votes
2
answers
1k
views
Is the category of affine schemes (over a fixed field) Cartesian closed?
This is probably a trivial question, but I don't see the answer, and I haven't found it on Wikipedia, nLab, nor MathOverflow.
Let $\text{ComAlg}$ denote the category whose objects are commutative ...
- 52.2k
0
votes
1
answer
614
views
Bicartesian closed categories and Heyting algebras
In Lambek and Scott's "Introduction to higher order categorical logic" (1988), they state that every Heyting Algebra can be understood as a bicartesian closed category.
On the other hand, fixing a ...
5
votes
0
answers
648
views
Cartesian-closed categories of algebras
If the Kleisli-category of a monad is Cartesian-closed, can we say when the category of Eilenberg-Moore algebras is?
- 15.3k