The following pages link to (Q5111309):
Displaying 6 items.
- Differential algebras in codifferential categories (Q2001387) (← links)
- Integral categories and calculus categories (Q4611199) (← links)
- Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories (Q4993351) (← links)
- Convenient antiderivatives for differential linear categories (Q5139291) (← links)
- Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
- Monoidal reverse differential categories (Q5889303) (← links)