nLab Duško Pavlović

Selected writings

On categorical semantics of constructive logic and intuitionistic type theory:

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 November 3, 2023 at 11:28:20. See the history of this page for a list of all contributions to it.