On completeness and cocompleteness in and around small categories

DOI10.1016/0168-0072(94)00035-2zbMATH Open0829.18001OpenAlexW1966573209MaRDI QIDQ1896485FDOQ1896485

Authors: Dusko Pavlovic 

Publication date: 17 January 1996

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)00035-2

Recommendations

• How nice are free completions of categories?
• A small complete category
• Vollständigkeitseigenschaften freier Colimes-Komplettierungen. (Completeness properties of free colimit completions)
• A remark on conservative cocompletions of categories
• scientific article; zbMATH DE number 3916529

zbMATH Keywords

toposesaccessible categoriessmall categoriescartesian closedadjoint functor theoremequivalence of completeness and cocompleteness

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Categorical logic, topoi (03G30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topoi (18B25) Fibered categories (18D30)

Cites Work

• Categories of continuous functors. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A small complete category
• Title not available (Why is that?)
• The calculus of constructions
• Title not available (Why is that?)
• Adjointness in Foundations
• Title not available (Why is that?)
• The Discrete Objects in the Effective Topos
• Title not available (Why is that?)
• Fibered categories and the foundations of naive category theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructive natural deduction and its ‘ω-set’ interpretation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• ABOUT MODEST SETS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Colimits in Topoi
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Title not available (Why is that?)
• Extending partial isomorphisms for the small index property of many \(\omega\)-categorical structures
• Maps. I: Relative to a factorisation system
• Completeness and cocompleteness of the categories of basic pairs and concrete spaces
• Logical systems. I: Internal calculi.
• A small complete category
• Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic

Uses Software

• Automath

This page was built for publication: On completeness and cocompleteness in and around small categories

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