Colóquio de Matemática – 29/08/2025 às 14h:00m
Colóquio de Matemática
Título: Quantum Combinatorics. Part I: Quantum Sets
Palestrante: Prof. Dr. Tomasz Maszczyk (University of Warsaw, Poland)
Abstract: We construct a topos of quantum sets and embed into it the classical topos of sets. We show that the internal logic of the topos of sets, when interpreted in the topos of quantum sets, provides the Birkhoff-von Neumann quantum propositional calculus of idempotents in a canonical internal commutative algebra of the topos of quantum sets. We extend this construction by allowing the quantum counterpart of Boolean algebras of classical truth values, which we introduce and study in detail. We realize expected values of observables in quantum states in our topos of quantum sets as a tautological morphism from the canonical internal commutative algebra to a canonical internal object of affine functions on quantum states.
Data e Horário: Sexta feira, dia 29 de agosto de 2025 às 14h
Local: Auditório Airton Silva, Departamento de Matemática – MTM /CFM