GUFFANTI, F. (2024). Adding a constant and an axiom to a doctrine. Mathematical Logic Quarterly. doi:10.1002/malq.202300053 Peer Reviewed verified by ORBi |
GUFFANTI, F. (07 May 2024). Left adjoint to precomposition in elementary doctrines. Theory and Applications of Categories, 41 (15), 493-515. Peer reviewed |