The cartesian-closed tag has no usage guidance.

**5**

votes

**1**answer

272 views

### What is the monoidal equivalent of a locally cartesian closed category?

If a closed monoidal category is the monoidal equivalent of a Cartesian closed category, is there an analogous equivalent for locally cartesian closed categories? Is there a standard terminology or ...

**2**

votes

**1**answer

157 views

### Are lax functor categories into a cartesian closed 2-category cartesian closed?

Suppose that $C$ is a complete closed monoidal category and $I$ is any small category. Then the functor category $Fun(I,C)$ is again a closed monoidal category with the pointwise tensor product $F \...

**3**

votes

**1**answer

384 views

### Cartesian closed category

Let $\bf{C}$ be a category with finite products.
(1) An object $X$ of $\bf{C}$ is called cartesian if the functor $(-)\times X$ has a right
adjoint.
(2) A morphism $s:X\rightarrow B$...

**2**

votes

**1**answer

205 views

### Product in the free CCC over a CCC

When you start with a CCC $C$, take the underlying graph of $C$ via the forgetful $U : Cat \to Graph$, and then construct the free CCC over $U(C)$ via $Free : Graph \to Cat$: what's the relationship ...

**8**

votes

**3**answers

653 views

### When is the projective model structure cartesian? When is the internal hom invariant?

If M is a sufficiently nice model category and D is a small category then there are two natural model structures we can impose on the functor category $Fun(D,M)$ where the weak equivalences are the ...

**4**

votes

**2**answers

318 views

### A (too?) simple notion of “closed multicategory”

Suppose I define a multicategory $M=(Ob(M),Hom_M)$ to be simply closed if
for every sequence $S=(b_1,\ldots,b_n;x)$ of $n+1$ objects in $M$, we provide an object $Exp(S)\in Ob(M)$, and
for every ...

**4**

votes

**1**answer

274 views

### Example of a non-closed cocomplete symmetric monoidal category

Background
By a cocomplete symmetric monoidal category $C$ I mean a symmetric monoidal category whose underlying category is cocomplete and such that $- \otimes X : C \to C$ is cocontinuous for all $...

**1**

vote

**1**answer

184 views

### Seems like Reader monad composed with a strong monad produces a monad, am I right?

Take a Cartesian (or monoidal) closed category; define Reader monad for a given object $E$ as
$X \mapsto X^E$; and take a strong monad $M$ (strong means preserves product or tensor product).
Now the ...

**8**

votes

**1**answer

467 views

### Exponentiable objects in a category, valued in a larger, containing category

Recall that when dealing with topological spaces one usually likes dealing with a subcategory of $Top$ which is convenient, one facet of which is that it is cartesian closed. However to get to a ...

**1**

vote

**1**answer

240 views

### Do Categorical Quotients Preserve Covering Maps?

Before asking a question, please let me write down settings.
SETTINGS:
Let $C$ be a category with fiber products and $B$ be a closed subcategory of $C$ (i.e. $B$ contains any isomorphism of $C$, and ...

**7**

votes

**2**answers

289 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 $\...

**11**

votes

**2**answers

1k 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 ...

**5**

votes

**2**answers

657 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 ...

**0**

votes

**1**answer

450 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 ...

**2**

votes

**0**answers

364 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?