scientific article; zbMATH DE number 937370

zbMATH Open0862.18002MaRDI QIDQ4896510FDOQ4896510

Authors: F. William Lawvere 

Publication date: 25 May 1997

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4087890
• General facts on the Scott adjunction
• scientific article; zbMATH DE number 29047
• Algebra of proofs
• Towards higher topology

zbMATH Keywords

adjoint functorproof theorytopos theorybicategory of categories

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Categorical logic, topoi (03G30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topoi (18B25) Foundations, relations to logic and deductive systems (18A15)

Cited In (14)

• Title not available (Why is that?)
• Title not available (Why is that?)
• The compact closed bicategory of left adjoints
• Läuchli's completeness theorem from a topos-theoretic perspective
• Adjunction in 2-categories
• Cocomplete toposes whose exact completions are toposes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Weak subobjects and the epi-monic completion of a category.
• Modes of adjointness
• Title not available (Why is that?)
• A characterization of the left exact categories whose exact completions are toposes
• Exact completion and constructive theories of sets
• The adjoint algebra for 2-categories

This page was built for publication:

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