Pages that link to "Item:Q866572"
From MaRDI portal
The following pages link to Partial Horn logic and Cartesian categories (Q866572):
Displaying 30 items.
- Continuity and geometric logic (Q280833) (← links)
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- Cosheaves and connectedness in formal topology (Q651322) (← links)
- Categorical Horn theories and modules (Q662650) (← links)
- Duality beyond sober spaces: Topological spaces and observation frames (Q671991) (← links)
- A logical approach to stable domains (Q859843) (← links)
- Introduction to Turing categories (Q998306) (← links)
- The connected Vietoris powerlocale (Q1030196) (← links)
- Universal monos in partial morphism categories (Q1037408) (← links)
- Fast left Kan extensions using the chase (Q2102935) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- Covariant isotropy of Grothendieck toposes and extensive categories (Q2156420) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Pullback in partial morphism categories (Q2397325) (← links)
- Internal enriched categories (Q2674401) (← links)
- A variety theorem for relational universal algebra (Q2695366) (← links)
- Type classes for mathematics in type theory (Q3094177) (← links)
- Unitary Theories, Unitary Categories (Q3178243) (← links)
- Partial hyperdoctrines: categorical models for partial function logic and Hoare logic (Q4302334) (← links)
- Categorical concepts for parameterized partial specifications (Q4856659) (← links)
- Model structures on categories of models of type theories (Q4961720) (← links)
- Canonicity and homotopy canonicity for cubical type theory (Q5028486) (← links)
- On generalized algebraic theories and categories with families (Q5084311) (← links)
- (Q5089011) (← links)
- Fibrations of AU-contexts beget fibrations of toposes (Q5112051) (← links)
- CATEGORICAL HARMONY AND PATH INDUCTION (Q5274880) (← links)
- Reduction Free Normalisation for a proof irrelevant type of propositions (Q6135773) (← links)
- Inner automorphisms of presheaves of groups (Q6159708) (← links)
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (Q6649497) (← links)
- Filtered colimit elimination from Birkhoff's variety theorem (Q6671712) (← links)
