Adjointness in Foundations

Foundations, relations to logic and deductive systems (18A15) 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)

Cited in

(only showing first 100 items - show all)

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

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)