Adjointness in Foundations
From MaRDI portal
Publication:4108488
DOI10.1111/j.1746-8361.1969.tb01194.xzbMath0341.18002OpenAlexW2099684400WikidataQ56608259 ScholiaQ56608259MaRDI QIDQ4108488
Publication date: 1969
Published in: dialectica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/j.1746-8361.1969.tb01194.x
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Foundations, relations to logic and deductive systems (18A15)
Related Items
Completeness of Nominal PROPs, The shuffle Hopf algebra and noncommutative full completeness, GÖDEL’S NOTRE DAME COURSE, On models of higher-order separation logic, A characterisation of elementary fibrations, From IF to BI. A tale of dependence and separation, Condition/decision duality and the internal logic of extensive restriction categories, Construction of a monadic Heyting algebra in a logos, Gödel on deduction, Ordinals in Frobenius monads, On completeness and cocompleteness in and around small categories, Logic in Category Theory, Least fixpoints of endofunctors of cartesian closed categories, The Axiom of Infinity and Transformations j: V → V, Dialectica logical principles, An enriched category theory of language: from syntax to semantics, Doctrines, modalities and comonads, A complete characterization of all-versus-nothing arguments for stabilizer states, On the semantics of the universal quantifier, Girard quantaloids, A topos for continuous logic, Partial hyperdoctrines: categorical models for partial function logic and Hoare logic, Deduction as reduction, from a categorical point of view, Internal diagrams and archetypal reasoning in category theory, Quotient completion for the foundation of constructive mathematics, From petri nets to linear logic, Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator, Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory, Variation on a comprehensive theme, Abstract categorical logic, Presenting functors on many-sorted varieties and applications, A Categorical Aspect of the Analogy Between Quantifiers and Modalities, A formal logic for formal category theory, Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories, Dialectica principles via Gödel doctrines, First-order logic in the Medvedev lattice, A characterization of generalized existential completions, On duality and model theory for polyadic spaces, Nonstandard proof methods in toposes, On the consistency of choice, Local local reasoning: a BI-hyperdoctrine for full ground store, A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes, Ordered combinatory algebras and realizability, Alpha conversion, conditions on variables and categorical logic, Two forms of the axiom of choice for an elementary topos, A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus, Unnamed Item, Elementary doctrines as coalgebras, Bunched polymorphism, Why Categories?, EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS, Adjoint reactive GUI programming, An Isbell duality theorem for type refinement systems, A logical framework combining model and proof theory, Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies, Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic, Conditional rewriting logic as a unified model of concurrency, Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism, Identity of Proofs Based on Normalization and Generality, Tail recursion through universal invariants, FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS, Coherence for modalities, A co-free construction for elementary doctrines, Unifying exact completions, REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS, Foundations of system theory: Decomposable systems, The proof monad, Unnamed Item, Models of deduction, Category theory and set theory as theories about complementary types of universals, Unnamed Item, Closedness of the category of liminf complete fuzzy orders, The existential completion, 2008 Annual Meeting of the Association for Symbolic Logic, Topos Theory in Montréal in the 1970s: My Personal Involvement, Fixed-point constructions in order-enriched categories, Inferential Semantics, Coherence in linear predicate logic, Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics, Tripos theory, From Petri nets to linear logic, Kripke Semantics for Martin-Löf’s Extensional Type Theory, Neighborhood-Sheaf Semantics for First-Order Modal Logic, Algebra and logic for resource-based systems modelling, A fully abstract semantics for concurrent constraint programming, Unnamed Item, A minimalist two-level foundation for constructive mathematics, On the algebraic structure of declarative programming languages, The unity of logic, pedagogy and foundations in Grassmann's mathematical work, Category theory and the foundations of mathematics: philosophical excavations., An interpretation of classical proofs, An equational variant of Lawvere's natural numbers object, On conceptual completeness of syntactic-semantical systems, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads, FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION, Are the traditional philosophies of mathematics really incompatible?, CATEGORICAL HARMONY AND PATH INDUCTION
