Locally cartesian closed exact completions (Q1588066): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| (One intermediate revision by one other user not shown) | |||
| 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 | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/s0022-4049(99)00192-9 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1996443480 / rank | |||
Normal rank | |||
Latest revision as of 11:01, 30 July 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
