Statistics for tag 008C — The Clowder Project

Preferences





Font:

PDF Style:

Here's a breakdown of the differences between each PDF style:

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`

*To be replaced with Linus Romer's Elemaints when it is released.

Table of Contents
Part 1: Sets
Chapter 2: Constructions With Sets
Section 2.6: The Adjoint Triple $f_{*}\dashv f^{-1}\dashv f_{!}$
Subsection 2.6.2: Inverse Images
Proposition 2.6.2.1.4: Properties of Inverse Images II (cite)

Statistics Cite

2 tags refer to this tag

Statistics for tag 008C

Go back to the tag's page.

Complexity measure

metric	value
number of results in proof	12
number of results used in preliminary results	143
number of chapters used	23
number of sections used	3
number of results (indirectly) using this tag	2

Tags (directly) using this result

Proposition 2.4.2.1.1 in Subsection 2.4.2: Functoriality of Powersets
(go to statistics)
Proposition 2.6.2.1.4 in Subsection 2.6.2: Inverse Images
(go to statistics)

Noticed something off, or have any comments? Feel free to reach out!

You can also use the contact form below: