topos (Q1448): Difference between revisions
Jump to navigation
Jump to search
Created a new Item: topos, category admitting all finite limits and power objects, that can be viewed as either as a mathematical universe (replacing the category of sets) or as a generalized space (considered as a generalization of the category of sheaves on a space) |
Created claim: subclass of (P1): quasitopos (Q1449) |
||
| (One intermediate revision by the same user not shown) | |||
| Property / instance of | |||
| Property / instance of: mathematical concept / rank | |||
Normal rank | |||
| Property / subclass of | |||
| Property / subclass of: quasitopos / rank | |||
Normal rank | |||
Latest revision as of 08:26, 31 January 2023
category admitting all finite limits and power objects, that can be viewed as either as a mathematical universe (replacing the category of sets) or as a generalized space (considered as a generalization of the category of sheaves on a space)
- topoi
- toposes
- elementary topos
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | topos |
category admitting all finite limits and power objects, that can be viewed as either as a mathematical universe (replacing the category of sets) or as a generalized space (considered as a generalization of the category of sheaves on a space) |
|