Prefer a chat interface with context about you and your work?
Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics