A cottage industry of lax extensions | ||
| Categories and General Algebraic Structures with Applications | ||
| مقاله 7، دوره 3، شماره 1، مهر 2015، صفحه 113-151 اصل مقاله (1.8 M) | ||
| نوع مقاله: Research Paper | ||
| نویسندگان | ||
| Dirk Hofmann1؛ Gavin J. Seal2 | ||
| 1Departamento de Matem ́atica, Universidade de Aveiro, 3810-193 Aveiro, Portugal. | ||
| 2Ecole Polytechnique F ́ed ́erale de Lausanne, Station 8, CH-1015 Lausanne, Switzerland | ||
| چکیده | ||
| In this work, we describe an adjunction between the comma category of Set-based monads under the V -powerset monad and the category of associative lax extensions of Set-based monads to the category of V -relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations. | ||
| کلیدواژهها | ||
| Monad؛ lax extension؛ quantale؛ enriched category | ||
| مراجع | ||
|
[1] M. Barr. Relational algebras. In Reports of the Midwest Category Seminar, IV, volume 137 of Lect. Notes Math., pages 39–55, Berlin, 1970. Springer. [2] M.M. Clementino, E. Colebunders, D. Hofmann, R. Lowen, R. Lucyshyn-Wright, G.J. Seal, and W. Tholen. Monoidal Topology: A Categorical Approach to Order, Metric and Topology. Cambridge University Press, Cambridge, 2014. [3] M.M. Clementino and D. Hofmann. Topological features of lax algebras. Appl. Categ. Structures, 11(3):267–286, 2003. [4] M.M. Clementino, D. Hofmann, and W. Tholen. One setting for all: Metric, topology, uniformity, approach structure. Appl. Categ. Structures, 12(2):127–154, 2004.
[5] M.M. Clementino and W. Tholen. Metric, topology and multicategory—a common approach. J. Pure Appl. Algebra, 179(1-2):13–47, 2003.
[6] S. Enqvist and J. Sack. A coalgebraic view of characteristic formulas in equational modal fixed point logics. In Coalgebraic methods in computer science, Lecture Notes in Comput. Sci., pages 98–117. Springer, 2014.
[7] R. Lowen and T. Vroegrijk. A new lax algebraic characterization of approach spaces. In Theory and Applications of Proximity, Nearness and Uniformity, volume 22 of Quad. Mat., pages 199–232. Dept. Math., Seconda Univ. Napoli, Caserta, 2008. [8] J. Marti and Y. Venema. Lax extensions of coalgebra functors. In Coalgebraic methods in computer science, volume 7399 of Lecture Notes in Comput. Sci., pages 150–169. Springer, 2012.
[9] M.C. Pedicchio and W. Tholen. Multiplicative structures over sup-lattices. Arch. Math., 25(1-2):107–114, 1989. [10] G.J. Seal. A Kleisli-based approach to lax algebras. 17(1):75–89, 2009. Appl. Categ. Structures, [11] G.J. Seal. Order-adjoint monads and injective objects. J. Pure Appl. Algebra, 214(6):778–796, 2010. | ||
|
آمار تعداد مشاهده مقاله: 3,079 تعداد دریافت فایل اصل مقاله: 2,071 |
||