Author:
Schultz Patrick,Spivak David I.
Publisher
Springer International Publishing
Reference7 articles.
1. Bunge, M., Fiore, M.P.: Unique factorisation lifting functors and categories of linearly-controlled processes. Math. Struct. Comput. Sci. 10(2), 137–163 (2000)
2. Fiore, M.P.: Fibred models of processes: discrete, continuous, and hybrid systems. In: IFIP TCS, vol. 1872, pp. 457–473. Springer, Heidelberg (2000)
3. Johnstone, P., Joyal, A.: Continuous categories and exponentiable toposes. J. Pure Appl. Algebra 25(3), 255–296 (1982). ISSN:0022-4049.
http://dx.doi.org/10.1016/0022-4049(82)90083-4
4. Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium. Oxford Logic Guides, vol. 43, pp. xxii+ 468+ 71. New York: The Clarendon Press/Oxford University Press (2002). ISBN:0-19-853425-6
5. Johnstone, P.: A note on discrete Conduch’e fibrations. Theory Appl. Categ. 5(1), 1–11 (1999). ISSN:1201-561X