Adjointness in Foundations
From MaRDI portal
Publication:4108488
DOI10.1111/j.1746-8361.1969.tb01194.xzbMath0341.18002WikidataQ56608259 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
18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
18C10: Theories (e.g., algebraic theories), structure, and semantics
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
18A15: Foundations, relations to logic and deductive systems
Related Items
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, Identity of Proofs Based on Normalization and Generality, Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics, From Petri nets to linear logic, Tail recursion through universal invariants, On conceptual completeness of syntactic-semantical systems, Alpha conversion, conditions on variables and categorical logic, 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, On completeness and cocompleteness in and around small categories, Models of deduction, Unnamed Item, Unnamed Item, Tripos theory, Girard quantaloids, Two forms of the axiom of choice for an elementary topos, The shuffle Hopf algebra and noncommutative full completeness
