Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Reference19 articles.
1. Boileau, A., Joyal, A.: La logique des topos. J. Symb. Logic 4, 6–16 (1981)
2. Carboni, A., Celia Magno, R.: The free exact category on a left exact one. J. Austral. Math. Soc. 33, 295–301 (1982)
3. Carboni, A., Vitale, E.M.: Regular and exact completions. J. Pure Appl. Algebra 125, 79–116 (1998)
4. Frey, J.: A 2-categorical analysis of the tripos-to-topos construction. http://arxiv.org/abs/1104.2776 (2011)
5. Hyland, J.M.E., Jonstone, P.T., Pitts, A.M.: Tripos theory. Math. Proc. Cambridge. Philos. Soc. 88, 205–232 (1980)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献