hom-set, hom-object, internal hom, exponential object, derived hom-space
loop space object, free loop space object, derived loop space
An internal hom in an (∞,1)-topos. The generalization of mapping stacks to higher topos theory.
Created on February 20, 2013 at 10:33:25. See the history of this page for a list of all contributions to it.