scientific article; zbMATH DE number 937370

MaRDI QIDQ4896510zbMATH OpenFDO

Authors F. William Lawvere

Publication date 25 May 1997

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)

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

(14)

• scientific article; zbMATH DE number 6613495 (Why is no real title available?)
• scientific article; zbMATH DE number 3857345 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 6789593 (Why is no real title available?)
• scientific article; zbMATH DE number 4087890 (Why is no real title available?)
• Weak subobjects and the epi-monic completion of a category.
• Modes of adjointness
• scientific article; zbMATH DE number 1123623 (Why is no real title available?)
• 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)