Adjointness in Foundations

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)

Cited in

(only showing first 100 items - show all)

Local local reasoning: a BI-hyperdoctrine for full ground store
scientific article; zbMATH DE number 4177054 (Why is no real title available?)
Bunched polymorphism
Tail recursion through universal invariants
Abstract categorical logic
Condition/decision duality and the internal logic of extensive restriction categories
A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus
A minimalist two-level foundation for constructive mathematics
A logical framework combining model and proof theory
A characterisation of elementary fibrations
Unifying exact completions
Coherence for modalities
An Isbell duality theorem for type refinement systems
Why categories?
The existential completion
Quotient completion for the foundation of constructive mathematics
On duality and model theory for polyadic spaces
A presheaf semantics for quantified temporal logics
scientific article; zbMATH DE number 29052 (Why is no real title available?)
A topos for continuous logic
An equational variant of Lawvere's natural numbers object
On models of higher-order separation logic
Construction of a monadic Heyting algebra in a logos
Coherence in linear predicate logic
Gödel on deduction
Models of deduction
Nonstandard proof methods in toposes
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
The proof monad
Variation on a comprehensive theme
Girard quantaloids
Adjoint reactive GUI programming
A characterization of generalized existential completions
A fully abstract semantics for concurrent constraint programming
Gödel's Notre Dame course
Presenting functors on many-sorted varieties and applications
Two forms of the axiom of choice for an elementary topos
Closedness of the category of liminf complete fuzzy orders
Elementary doctrines as coalgebras
A formal logic for formal category theory
From IF to BI. A tale of dependence and separation
Quotients, pure existential completions and arithmetic universes
On the algebraic structure of declarative programming languages
On conceptual completeness of syntactic-semantical systems
Completeness of Nominal PROPs
Native type theory
2008 Annual Meeting of the Association for Symbolic Logic
Dialectica principles via Gödel doctrines
Inferential Semantics
The far side of the cube. An elementary introduction to game semantics
Partial hyperdoctrines: categorical models for partial function logic and Hoare logic
Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
Gödel, Escher, Bell: contextual semantics of logical paradoxes
Identity of Proofs Based on Normalization and Generality
Dialectica logical principles
An enriched category theory of language: from syntax to semantics
On the semantics of the universal quantifier
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
A Categorical Aspect of the Analogy Between Quantifiers and Modalities
Are the traditional philosophies of mathematics really incompatible?
Logic in category theory
First-order logic in the Medvedev lattice
Category theory and set theory as theories about complementary types of universals
Some properties of internal locale morphisms externalised
Foundations as truths which organize mathematics
Ordered combinatory algebras and realizability
A co-free construction for elementary doctrines
Neighborhood-sheaf semantics for first-order modal logic
Adding a constant and an axiom to a doctrine
Foundations of system theory: Decomposable systems
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
Doctrines, modalities and comonads
The category theoretic understanding of universal algebra: Lawvere theories and monads
Ontological pluralism and multi-quantificational ontology
Representing conjunctive deductions by disjunctive deductions
CATEGORICAL HARMONY AND PATH INDUCTION
Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
Alpha conversion, conditions on variables and categorical logic
Ordinals in Frobenius monads
An interpretation of classical proofs
Logical foundations of quantitative equality
Least fixpoints of endofunctors of cartesian closed categories
A complete characterization of all-versus-nothing arguments for stabilizer states
Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic
Fixed-point constructions in order-enriched categories
scientific article; zbMATH DE number 7533330 (Why is no real title available?)
Exact completion and constructive theories of sets
Crypto-preorders, topological relations, information and logic
Left adjoint to precomposition in elementary doctrines
Algebra and logic for resource-based systems modelling
The axiom of infinity and transformations \(j: V \rightarrow V\)
From Petri nets to linear logic
Tripos theory
On completeness and cocompleteness in and around small categories
Kripke Semantics for Martin-Löf’s Extensional Type Theory
Conditional rewriting logic as a unified model of concurrency
Deduction as reduction, from a categorical point of view
Internal diagrams and archetypal reasoning in category theory
The unity of logic, pedagogy and foundations in Grassmann's mathematical work

This page was built for publication: Adjointness in Foundations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4108488)