Referenced by:

• arcane-equality
• cats-category-theory
• cats-category
• cats-homomorphism
• extrusive-posets
• ucb-metamathematics-b-05
• 01
• 02
• 09
• vague-notes
• metric
• the-trainable-cat
• topology-box-topology
• topology-convergent-sequences-under-continuous-functions
• topology-net
• topology-separated-by-a-cont-func
• topology-uniformly-continuous
• topology-urysohn-lemma
• topology-via-grazing