nLab
bicartesian preordered object
Redirected from "prelattice object".
Contents
Context
Relations
Category theory
Limits and colimits
limits and colimits
1-Categorical
-
limit and colimit
-
limits and colimits by example
-
commutativity of limits and colimits
-
small limit
-
filtered colimit
-
sifted colimit
-
connected limit, wide pullback
-
preserved limit, reflected limit, created limit
-
product, fiber product, base change, coproduct, pullback, pushout, cobase change, equalizer, coequalizer, join, meet, terminal object, initial object, direct product, direct sum
-
finite limit
-
Kan extension
-
weighted limit
-
end and coend
-
fibered limit
2-Categorical
(∞,1)-Categorical
Model-categorical
-Category theory
Contents
Idea
The notion of a prelattice internal to a finitely complete category.
Definition
In a finitely complete category , a bicartesian preordered object or prelattice object is a preordered object that is both a cartesian monoidal preordered object and a cocartesian monoidal preordered object.
See also
Last revised on April 11, 2025 at 08:27:30.
See the history of this page for a list of all contributions to it.