闷热
发表于 2025-3-27 01:01:50
Graham Cox,Philip Lowe,Michael Winterother algebraic, topological, order-theoretical, categorical and logical theories..We sketch the development of Galois connections, both in their covariant form (adjunctions) and in the contravariant form (polarities) through the last three centuries and illustrate their importance by many examples.
BUMP
发表于 2025-3-27 01:56:25
http://reply.papertrans.cn/39/3805/380416/380416_32.png
Unsaturated-Fat
发表于 2025-3-27 08:41:46
http://reply.papertrans.cn/39/3805/380416/380416_33.png
笨拙的你
发表于 2025-3-27 12:28:22
http://reply.papertrans.cn/39/3805/380416/380416_34.png
发展
发表于 2025-3-27 15:43:32
http://reply.papertrans.cn/39/3805/380416/380416_35.png
沐浴
发表于 2025-3-27 21:34:23
https://doi.org/10.1007/978-981-19-0928-3tal algebras. On one side there are many different subsets of the set of first order formulas, which one wants to use as a concept of . in some special context, and where one is interested in the closure operators induced by restricting the . to this special subset. On the other hand the polarity in
预定
发表于 2025-3-28 01:27:30
https://doi.org/10.1007/978-981-10-4325-3quires exactly that both . and t have complexity ≥ 1. We generalize this definition to any integer . ≥1 by saying that a non-trivial identity . is .-normal when both . and . have complexity ≥ .. A variety will be called .-normal when all its non-trivial identities are .-normal. Using results from th
VERT
发表于 2025-3-28 03:22:11
http://reply.papertrans.cn/39/3805/380416/380416_38.png
不在灌木丛中
发表于 2025-3-28 06:40:34
https://doi.org/10.1007/978-981-19-3555-8ne) and the category of relational systems of a given arity (where arities are considered to be ordinals). We show that objects of the obtained coreflective subcategory of the category of closure spaces are suitable for applications to digital topology because their connectedness is a certain type o
Extort
发表于 2025-3-28 12:14:31
http://reply.papertrans.cn/39/3805/380416/380416_40.png