Notation 4.1.5.1.2 (01QG): The Category of Pointed Sets and Active Morphisms

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 4: Pointed Sets
Section 4.1: Pointed Sets
Subsection 4.1.5: Active and Inert Morphisms of Pointed Sets
Notation 4.1.5.1.2: The Category of Pointed Sets and Active Morphisms (cite)

Notation 4.1.5.1.2 ▶ The Category of Pointed Sets and Active Morphisms

We write $\mathsf{Sets}^{\mathrm{actv}}_{*}$ for the wide subcategory of $\mathsf{Sets}_{*}$ spanned by pointed sets and the active maps between them.

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

Email
Twitter
Discord

You can also use the contact form below: