3 papers
math.CT2025
Lax structures in 2-category theory
Miloslav Štěpán
This thesis focuses on topics in 2-category theory: in particular on double categories, pseudomonads and codescent objects. In Chapter 2 we recall all the necessary notions. In Cha…
math.CT2024
Colax adjunctions and lax-idempotent pseudomonads
Miloslav Štěpán
We prove a generalization of a theorem of Bunge and Gray about forming colax adjunctions out of relative Kan extensions and apply it to the study of the Kleisli 2-category for a la…
math.CT2023
Factorization systems and double categories
Miloslav Štěpán
We show that factorization systems, both strict and orthogonal, can be equivalently described as double categories satisfying certain properties. This provides conceptual reasons f…