The following pages link to Adjointness in Foundations (Q4108488):
Displaying 50 items.
- Deduction as reduction, from a categorical point of view (Q382412) (← links)
- Internal diagrams and archetypal reasoning in category theory (Q382414) (← links)
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism (Q516400) (← links)
- Coherence for modalities (Q531368) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- Closedness of the category of liminf complete fuzzy orders (Q723220) (← links)
- On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- First-order logic in the Medvedev lattice (Q897478) (← links)
- Alpha conversion, conditions on variables and categorical logic (Q913792) (← links)
- The proof monad (Q974136) (← 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 interpretation of classical proofs (Q1050333) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Foundations of system theory: Decomposable systems (Q1212896) (← links)
- Fixed-point constructions in order-enriched categories (Q1255084) (← links)
- A fully abstract semantics for concurrent constraint programming (Q1275748) (← links)
- Are the traditional philosophies of mathematics really incompatible? (Q1323041) (← links)
- On the semantics of the universal quantifier (Q1371430) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- An equational variant of Lawvere's natural numbers object (Q1588078) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- On the consistency of choice (Q1698984) (← links)
- A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- On models of higher-order separation logic (Q2130583) (← links)
- A characterisation of elementary fibrations (Q2131276) (← links)
- Condition/decision duality and the internal logic of extensive restriction categories (Q2133172) (← links)
- Dialectica logical principles (Q2151422) (← links)
- An enriched category theory of language: from syntax to semantics (Q2153136) (← links)
- Local local reasoning: a BI-hyperdoctrine for full ground store (Q2200846) (← links)
- Elementary doctrines as coalgebras (Q2220195) (← links)
- Adjoint reactive GUI programming (Q2233414) (← links)
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies (Q2238147) (← links)
- A co-free construction for elementary doctrines (Q2254598) (← links)
- Unifying exact completions (Q2254599) (← links)
- Construction of a monadic Heyting algebra in a logos (Q2373968) (← links)
- Ordinals in Frobenius monads (Q2376533) (← links)
- Models of deduction (Q2500815) (← links)
- Gödel on deduction (Q2631643) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- Neighborhood-Sheaf Semantics for First-Order Modal Logic (Q2825413) (← links)
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (Q2864158) (← links)
- Logic in Category Theory (Q2909761) (← links)
- Ordered combinatory algebras and realizability (Q2973254) (← links)
