Locally cartesian closed exact completions (Q1588066): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
| (5 intermediate revisions by 4 users not shown) | |||
| Property / author | |||
| Property / author: Aurelio Carboni / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Jiří Rosický / rank | |||
| Property / author | |||
| Property / author: Aurelio Carboni / rank | |||
Normal rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Jiří Rosický / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| 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 | |||
| links / mardi / name | links / mardi / name | ||
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
