Bibliography Entry — The Clowder Project

Style	Class	Font	Theorem Environments
Style 1	`book`	Alegreya Sans	`tcbthm`
Style 2	`book`	Alegreya Sans	`amsthm`
Style 3	`book`	Arno*	`amsthm`
Style 4	`book`	Computer Modern	`amsthm`

Bibliography Entry: favier:postcompose-not-full

Author: Favier, Naïm Camille
Title: PostcomposeNotFull
Year: 2024
URL: https://agda.monade.li/PostcomposeNotFull.html


@misc{favier:postcompose-not-full,
    AUTHOR = "Favier, Naïm Camille",
    TITLE = "PostcomposeNotFull",
    HOWPUBLISHED = "\url{https://agda.monade.li/PostcomposeNotFull.html}",
    URL = "https://agda.monade.li/PostcomposeNotFull.html",
    MONTH = "July",
    YEAR = "2024"
}

This item is referenced in 1 tag:

in Subsection 9.6.2: Full Functors