nLab
locally Heyting-algebraic 2-poset
Context
Higher category theory
higher category theory
Basic concepts
Basic theorems
Applications
Models
Morphisms
Functors
Universal constructions
Extra properties and structure
1-categorical presentations
Contents
Definition
A 2-poset is locally Heyting-algebraic if for every object and , the hom-object is a Heyting algebra.
Examples
The 2-poset Rel of sets and relations is locally Heyting-algebraic.
See also
Last revised on June 7, 2022 at 06:59:36.
See the history of this page for a list of all contributions to it.