Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. J. Bénabou. Fibred categories and the foundation of naive category theory. Journal of Symbolic Logic, 50, 1985.
2. R. M. Burstall, J. A. Goguen, and A. Tarlecki. Some fundamental algebraic tools for the semantics of computation. part 3: Indexed categories. Theoretical Computer Science, 91:239–264, 1991.
3. M. Barr and C. Wells. Toposts, Triples and Theories. Springer Verlag, 1985.
4. J.A. Goguen and R.M. Burstall. Introducing institutions. Technical Report ECS-LFCS-90-106, Laboratory for Foundations of Computer Science, Dept. of Comp. Sci., Univ. of Edinburgh, 1990. to appear in JACM.
5. J. W. Gray. Fibred and cofibred categories. In S. Eilenberg, editor, Proceedings of the Conference on Categorical Algebra. Springer Verlag, 1966.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Two-sided cartesian fibrations of synthetic $$(\infty ,1)$$-categories;Journal of Homotopy and Related Structures;2024-06-21
2. Preservation and Reflection of Bisimilarity via Invertible Steps;Lecture Notes in Computer Science;2023
3. Elementary fibrations of enriched groupoids;Mathematical Structures in Computer Science;2021-11-19
4. Doctrines, modalities and comonads;Mathematical Structures in Computer Science;2021-09-14