duaLab

1. Topos§

• Quotient topos: Prequotient · Local state classifier · Normalization operator · Discrete dynamical system
• Aufhebung
• Completely connected topos

2. Games§

• Games: FinGames · Game topos
• Game value: Bouton monoid

3. Automata§

• Sigma-set: Automaton · Boolean-ringed topos of regular languages

4. Related concepts§

—

5. References§

—