All Questions
Tagged with cartesian-closed-categories lo.logic
4
questions
2
votes
0
answers
15
views
Reference request for dinatural transformations arising from free Cartesian closed categories
Let $g_n$ be a discrete graph with $n$ nodes and $\operatorname{F}$ the free functor of the adjunction between the category of graphs and the category of Cartesian closed categories and functors, as ...
3
votes
1
answer
463
views
Alternative definition of power object in a category
The standard definition of a power object seems to be: objects $\mathcal{P}X, K \in \mathbf{C}$ and a monic $\in: K \hookrightarrow X \times \mathcal{P}X$ such that for every monic $r: A \...
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
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 ...
