Homotopy Type Theory image > history (changes)

Showing changes from revision #3 to #4: Added | ~~Removed~~ | ~~Chan~~ged

~~Definition~~
~~Given a function $f:A \to B$ , we define the propositional image of $f$ as~~
~~$\mathrm{im}(f) \coloneqq \sum_{y:B} \left[\mathrm{fiber}(f, y)\right]$~~
~~See also~~

fiber

axiom of replacement

graded module

~~References~~

~~Marc Bezem, Ulrik Buchholtz, Pierre Cagne, Bjørn Ian Dundas, and Daniel R. Grayson, Symmetry book (2021)~~

~~category: not redirected to nlab yet~~

Last revised on June 16, 2022 at 14:23:53. See the history of this page for a list of all contributions to it.