Locally cartesian closed exact completions (Q1588066): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Exact categories and categories of sheaves / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3682648 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4936141 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Some free constructions in realizability and proof theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3795831 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Introduction to extensive and distributive categories / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Regular and exact completions / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4853985 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Colimit completions and the effective topos / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Data Types as Lattices / rank | |||
Normal rank | |||
Revision as of 09:50, 3 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Locally cartesian closed exact completions |
scientific article |
Statements
Locally cartesian closed exact completions (English)
0 references
4 June 2001
0 references
Categories are characterized whose exact completion is locally cartesian closed. The result explains why the category of equilogical spaces of \textit{D. S. Scott} is locally cartesian closed.
0 references
exact completion
0 references
equilogical space
0 references
locally cartesian closed category
0 references
