nLab Boolean algebra object

Contents

Context

Relations

Category theory

Limits and colimits

(0,1)(0,1)-Category theory

Contents

1. Idea

The notion of a Boolean algebra object is the generalization of that of Boolean algebra as one passes from the ambient category of sets into more general ambient categories with suitable properties.

2. Definition

In a finitely complete category CC, a Boolean algebra object is a Boolean prealgebra object that is also a partially ordered object.

3. See also

Last revised on May 14, 2022 at 14:55:32. See the history of this page for a list of all contributions to it.