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)

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

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)