Intersection theory: hom --> map, more docu

[wdecker]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 94.11765% with 1 line in your changes missing coverage. Please review.

Project coverage is 84.54%. Comparing base (d0984f8) to head (f12dcc0).
Report is 4 commits behind head on master.

Files with missing lines	Patch %	Lines
experimental/IntersectionTheory/src/Main.jl	93.33%	1 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #4304   +/-   ##
=======================================
  Coverage   84.53%   84.54%           
=======================================
  Files         641      641           
  Lines       85525    85561   +36     
=======================================
+ Hits        72300    72334   +34     
- Misses      13225    13227    +2     

Files with missing lines	Coverage Δ
...ental/IntersectionTheory/src/IntersectionTheory.jl	100.00% <ø> (ø)
experimental/IntersectionTheory/src/blowup.jl	99.24% <100.00%> (ø)
experimental/IntersectionTheory/src/Main.jl	93.27% <93.33%> (ø)

... and 1 file with indirect coverage changes