Duško Pavlović (changes) in nLab

Showing changes from revision #10 to #11: Added | Removed | Changed

• webpage

• webpage

Selected writings

On differential calculus via coinduction:

• Martín Escardó, Duško Pavlović: Calculus in coinductive form, in Proceedings of Thirteenth Annual IEEE Symposium on Logic in Computer Science (1998) 408-417 [[doi:10.1109/LICS.1998.705675](https://doi.org/10.1109/LICS.1998.705675), pdf]

On categorical semantics of constructive logic and intuitionistic type theory:

• Duško Pavlović, Predicates and Fibrations, PhD thesis, Utrecht (1990) [[pdf](https://dusko.org/wp-content/uploads/2020/03/1990-proefschrift-dusko.pdf), pdf]

On monadic descent and the Beck-Chevalley condition:

• Duško Pavlović, Categorical interpolation: Descent and the Beck-Chevalley condition without direct images, in: Category Theory, Lecture Notes in Mathematics 1488 (1991) [[doi:10.1007/BFb0084229](https://doi.org/10.1007/BFb0084229), pdf, pdf]

and its role in categorical logic/proof theory:

• Duško Pavlović, Maps II: Chasing Diagrams in Categorical Proof Theory, Logic Journal of the IGPL, 4 2 (1996) 159–194 [[doi:10.1093/jigpal/4.2.159](https://doi.org/10.1093/jigpal/4.2.159), pdf]

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

• Bob Coecke, Duško Pavlović, Quantum measurements without sums, in Louis Kauffman, Samuel Lomonaco (eds.), Mathematics of Quantum Computation and Quantum Technology, Taylor & Francis (2008) 559-596 [[arXiv:quant-ph/0608035](https://arxiv.org/abs/quant-ph/0608035), doi:10.1201/9781584889007]

• Bob Coecke, Eric Paquette, Dusko Pavlovic, Classical and quantum structures (2008) [[pdf](http://www.comlab.ox.ac.uk/files/627/RR-08-02.pdf), pdf]

• Bob Coecke, Eric Oliver Paquette, Duško Pavlović, Classical and quantum structuralism [[arXiv:0904.1997](https://arxiv.org/abs/0904.1997)]

• Bob Coecke, Duško Pavlović, Jamie Vicary, A new description of orthogonal bases, Mathematical Structures in Computer Science 23 3 (2012) 555- 567 [[arXiv:0810.0812](https://arxiv.org/abs/0810.0812), doi:10.1017/S0960129512000047]

On Functorial Semantics of Algebraic Theories generalized to relational theories:

• Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski, Functorial Semantics for Relational Theories, (arXiv:1711.08699)

• quantum information theory via dagger-compact categories

  • classical structure