Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
Given a closed monoidal -category , with unit , tensor product , and internal hom , let and be objects in . Let be a map. is a trace-class map or nuclear map if lies in the image of the natural map .
Created on May 26, 2022 at 17:55:47. See the history of this page for a list of all contributions to it.