A. Azevedo-de-amorim, M. Gaboardi, J. Hsu, S. Y. Katsumata, and I. Cherigui, A semantic account of metric preservation, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, pp.545-556, 2017.

,

A. Balan, A. Kurz, and J. Velebil, Extensions of Functors From Set to V-cat, Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, pp.17-34, 2015.

P. Baldan, F. Bonchi, H. Kerstan, and B. König, Behavioral Metrics via Functor Lifting, Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS, pp.403-415, 2014.

,

F. Borceux, Handbook of Categorical Algebra 2, Encyclopedia of Mathematics and Its Applications, vol.51, 1994.

F. Van-breugel and J. Worrell, A behavioural pseudometric for probabilistic transition systems, Theoretical Computer Science, vol.331, issue.1, pp.115-142, 2005.

K. Chatzikokolakis, D. Gebler, C. Palamidessi, and L. Xu, Generalized Bisimulation Metrics, Proceedings of the 25th International Conference on Concurrency Theory, pp.32-46, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01011471

J. Desharnais, R. Jagadeesan, V. Gupta, and P. Panangaden, The Metric Analogue of Weak Bisimulation for Probabilistic Processes, Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS, pp.413-422, 2002.

A. Girard and G. J. Pappas, Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00171714

,

A. Girard and G. J. Pappas, Approximate Bisimulation: A Bridge Between Computer Science and Control Theory, European Journal of Control, vol.17, issue.5-6, pp.568-578, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00765660

A. Girard, G. Pola, and P. Tabuada, Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.116-126, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00306990

I. Hasuo, K. Cho, T. Kataoka, and B. Jacobs, Coinductive Predicates and Final Sequences in a Fibration, Electronic Notes in Theoretical Computer Science, vol.298, pp.197-214, 2013.

,

C. Hermida and B. Jacobs, Structural Induction and Coinduction in a Fibrational Setting, Information and Computation, vol.145, issue.2, pp.107-152, 1998.

,

H. Herrlich, Topological functors, General Topology and its Applications, vol.4, issue.2, pp.125-142, 1974.

,

B. Jacobs, Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics, vol.141, 1999.

S. Katsumata and T. Sato, Codensity Liftings of Monads, Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). pp, pp.156-170, 2015.

,

G. M. Kelly, Basic Concepts of Enriched Category Theory, Lecture Notes in Mathematics, vol.64, 1982.

G. M. Kelly and F. Rossi, Topological categories with many symmetric monoidal closed structures, Bulletin of the Australian Mathematical Society, vol.31, issue.1, pp.41-59, 1985.

K. Kido, S. Sedwards, and I. Hasuo, Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems, 2017.

S. M. Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics, vol.5, 1998.

J. Rutten, Universal coalgebra: a theory of systems, Theoretical Computer Science, vol.249, issue.1, pp.56-62, 2000.

J. Cin?ura, Tensor products in the category of topological spaces, Commentationes Mathematicae Universitatis Carolinae, vol.20, issue.3, pp.431-446, 1979.