The following pages link to (Q5642701):
Displaying 50 items.
- Internal diagrams and archetypal reasoning in category theory (Q382414) (← links)
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Fibred 2-categories and bicategories (Q393515) (← links)
- Coherence for modalities (Q531368) (← links)
- Hopf monads on monoidal categories (Q533951) (← links)
- Weak bimonads and weak Hopf monads (Q536159) (← links)
- Linear realizability and full completeness for typed lambda-calculi (Q556821) (← links)
- Comprehensive factorisation systems (Q680308) (← links)
- Generalising canonical extension to the categorical setting (Q714727) (← links)
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
- Alpha conversion, conditions on variables and categorical logic (Q913792) (← links)
- Equality of proofs for linear equality (Q944225) (← links)
- Läuchli's completeness theorem from a topos-theoretic perspective (Q969688) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- An application of open maps to categorical logic (Q1055409) (← links)
- Cofibrations. II: Left exact right actions and compositions of gamuts (Q1068181) (← links)
- A small complete category (Q1112159) (← links)
- From types to sets (Q1140642) (← links)
- Categorical models of polymorphism (Q1193592) (← links)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- Topological space objects in a topos. II: \(\varepsilon\)-completeness and \(\varepsilon\)-cocompleteness (Q1222711) (← links)
- Change of base for toposes with generators (Q1236172) (← links)
- Yoneda structures on 2-categories (Q1255083) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Spreads and the symmetric topos. II (Q1295565) (← links)
- An algebraic theory of normal forms (Q1346245) (← links)
- On the semantics of the universal quantifier (Q1371430) (← links)
- Descent theory of locally internal categories (Q1588061) (← links)
- The petit topos of globular sets (Q1588081) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- A game semantics for generic polymorphism (Q1772770) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- The Frobenius condition, right properness, and uniform fibrations (Q2013548) (← links)
- A characterisation of elementary fibrations (Q2131276) (← links)
- Dialectica logical principles (Q2151422) (← links)
- Elementary doctrines as coalgebras (Q2220195) (← links)
- Categorical notions of fibration (Q2221495) (← links)
- A co-free construction for elementary doctrines (Q2254598) (← links)
- Unifying exact completions (Q2254599) (← links)
- Second-order type isomorphisms through game semantics (Q2474443) (← links)
- Connected components and colimits (Q2558517) (← links)
- Yoneda structures from 2-toposes (Q2643608) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- Categories of partial equivalence relations as localizations (Q2699426) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories (Q2825368) (← links)
