nLab Duško Pavlović

Selected writings

On monadic descent and the Beck-Chevalley condition:

and its role in categorical logic/proof theory:

On quantum measurement formulated in finite quantum mechanics in terms of dagger-compact categories in terms of Frobenius algebras and the quantum reader monad:

On Functorial Semantics of Algebraic Theories generalized to relational theories:

category: people

Last revised on April 25, 2023 at 15:56:04. See the history of this page for a list of all contributions to it.