(0,1)-category

(0,1)-topos

# Contents

## Definition

A poset is Noetherian if every ascending chain of ideals (sieves) stabilizes.