nLab
Heyting algebra 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
( 0 , 1 ) (0,1)
Contents
Idea
The notion of a Heyting algebra object is the generalization of that of Heyting algebra category of sets into more general ambient categories with suitable properties.
Definition
In a finitely complete category C C Heyting algebra object is a bicartesian closed preordered object that is also a partially ordered object .
See also
Last revised on May 14, 2022 at 14:56:12.
See the history of this page for a list of all contributions to it.