Contextualizebeta

well-pointed

adj

Definitions

  1. Said of a category or topos

    Said of a category or topos: that it has a terminal object (or that it has no zero object, if it is a topos) and in which any distinct pair of parallel morphisms can be distinguished by their distinct compositions with a global element of their domain; i.e. any pair of parallel morphisms is distinct if and only if there is a global element in their domain that does not equalize them.

The neighborhood

Vish — recursive loop

No curated loop yet for well-pointed. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA