Pages that link to "Item:Q3978981"
From MaRDI portal
The following pages link to Algebras for the partial map classifier monad (Q3978981):
Displaying 8 items.
- Algebraic weak factorisation systems. I: Accessible AWFS. (Q886977) (← links)
- Variations on the bagdomain theme (Q1349648) (← links)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- (Q4311229) (← links)
- The Scott model of PCF in univalent type theory (Q5055497) (← links)
- Lifting as a KZ-doctrine (Q5057470) (← links)
- Injective types in univalent mathematics (Q5156770) (← links)