nLab
join-semilattice object

Contents

Context

Relations

Category theory

Limits and colimits

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

Contents

Idea

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

Definition

In a finitely complete category CC, a join-semilattice object is a cocartesian monoidal preordered object that is also a partially ordered object.

See also

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