Contents

Ingredients

Concepts

Constructions

Examples

Theorems

# Contents

## Idea

In mathematics, by a locus one typically means a kind of subspace of points satisfying some prescribed conditions.

For example:

## Unrelated entries

Un-related to this standard use of “locus” is the notion of Joyal locus in (higher) topos theory.