scientific article; zbMATH DE number 937370

MaRDI QIDQ4896510zbMATH OpenFDO

Authors F. William Lawvere

Publication date 25 May 1997

zbMATH Keywords

adjoint functorbicategory of categoriesproof theorytopos theory

Mathematics Subject Classification ID

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

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

Cited in

(15)

• Weak subobjects and the epi-monic completion of a category.
• A characterization of the left exact categories whose exact completions are toposes
• The adjoint algebra for 2-categories
• The compact closed bicategory of left adjoints
• scientific article; zbMATH DE number 6613495 (Why is no real title available?)
• scientific article; zbMATH DE number 3857345 (Why is no real title available?)
• scientific article; zbMATH DE number 4087890 (Why is no real title available?)
• scientific article; zbMATH DE number 1123623 (Why is no real title available?)
• Modes of adjointness
• Exact completion and constructive theories of sets
• Adjunction in 2-categories
• scientific article; zbMATH DE number 6789593 (Why is no real title available?)
• About Grothendieck fibrations
• Cocomplete toposes whose exact completions are toposes
• Läuchli's completeness theorem from a topos-theoretic perspective

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)