Algebraic models of type theory Wijnand Koen van Woerkom Abstract: In the seminal work by Awodey and Warren it was shown that the intensional identity types of Martin-Löf dependent type theory can be modelled categorically using weak factorisation systems. In this interpretation the dependent types are modelled by fibrations, i.e. the right maps of a weak factorisation system. This work inspired a lot of further research into such categorical models of identity types. Recently it was adapted by Gambino and Larrea to the setting of algebraic weak factorisation systems who added interpretations of the dependent sum and product types of said type theory. In their work the dependent types are interpreted using the algebras of the pointed endofunctor of the system, and in the present work we show that the same approach also works when we instead use the algebras for the monad of the system.