Algebraic Geometry And Category Theory¶
← Back to Domain-Specific Abstractions by Domain
1 domain-specific abstractions whose origin domain is Algebraic Geometry And Category Theory.
- Prestack — A category fibered in groupoids over a site whose isomorphisms satisfy descent, while objects need not yet glue effectively as they do in a stack.