Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Reference12 articles.
1. Johnstone, P.T.: Sketches of an elephant: A topos theory compendium, Oxford Logic Guides 43, 44, vol. 1, 2. Oxford Science Publications (2002)
2. Johnstone, P.T., Vickers, S.J.: Preframe presentations present. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds.) Category Theory–Proceedings Como, 1990, Springer Lecture Notes in Mathematics, vol. 1488, pp. 193–212 (1991)
3. Moerdijk, I.: The classifying topos of a continuous groupoid, I. Trans. Am. Math. Soc. 310(2), 629–668 (1988)
4. Plewe, T.: Localic triquotient maps are effective descent maps. Math. Proc. Cambridge Philos. Soc. 122, 17–43 (1997)
5. Townsend, C.F.: Principal bundles as Frobenius adjunctions with application to geometric morphisms. Math. Proc. Camb. Philos. Soc. 159(03), 433–444 (2015)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献