Boolean-ringed topos of regular languages

No posts yet.