Pages that link to "Item:Q866572"
From MaRDI portal
The following pages link to Partial Horn logic and Cartesian categories (Q866572):
Displaying 23 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)
- 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)
- 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)
- 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)
- Reduction Free Normalisation for a proof irrelevant type of propositions (Q6135773) (← links)
- Inner automorphisms of presheaves of groups (Q6159708) (← links)
