Publisher
Societe Mathematique de France
Cited by
70 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Protocol choice and iteration for the free cornering;Journal of Logical and Algebraic Methods in Programming;2024-02
2. Univalent Double Categories;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
3. What is an equivalence in a higher category?;Bulletin of the London Mathematical Society;2023-11-14
4. An orthogonal approach to algebraic weak factorisation systems;Journal of Pure and Applied Algebra;2023-06
5. Categorification of Algebras: 2-Algebras;Ikonion Journal of Mathematics;2022-12-23