## New answers tagged cartesian-closed-categories

4
votes

### Boolean algebra object structure on coproduct of terminal object

I am not entirely sure what a boolean algebra object looks like, but I can guess.
The way to remove the guesswork in this case is to get a nice definition of a boolean algebra as an algebraic theory, ...

4
votes

Accepted

### Boolean algebra object structure on coproduct of terminal object

I am not entirely sure what a boolean algebra object
There are many ways to make this precise, but an intuitive one is: you can define an internal lattice in $\cal C$ as an object $L$ equipped with $\...

Top 50 recent answers are included

#### Related Tags

cartesian-closed-categories × 59ct.category-theory × 46

reference-request × 10

monoidal-categories × 7

gn.general-topology × 6

higher-category-theory × 6

lambda-calculus × 6

lo.logic × 5

topos-theory × 5

locally-presentable-categories × 5

counterexamples × 4

at.algebraic-topology × 3

examples × 3

monads × 3

symmetric-monoidal-categories × 3

ag.algebraic-geometry × 2

ac.commutative-algebra × 2

homotopy-theory × 2

big-list × 2

simplicial-stuff × 2

model-categories × 2

adjoint-functors × 2

type-theory × 2

enriched-category-theory × 2

graph-theory × 1