A systematic approach for invariants of C*-algebras
, 2023 We define a categorical framework in which we build a systematic construction that provides generic invariants for C*-algebras. The benefit is significant as we show that any invariant arising this way automatically enjoys nice properties such as ...
Cantier, Laurent
core
BCC-algebras and residuated partially-ordered groupoid
, 2013 The aim of the paper is to investigate the relationship between BCC-algebras and residuated partially-ordered groupoids. We prove that an integral residuated partially-ordered groupoid is an integral residuated pomonoid if and only if it is a double BCC ...
Xiaohong Zhang
semanticscholar +1 more source
An Algebraic Approach to Valued Constraint Satisfaction [PDF]
, 2017 [EN]We study the complexity of the valued CSP (VCSP, for short) over arbitrary templates, taking the general framework of integral bounded linearly order monoids as valuation structures.
, Moraschini, Tommaso, Vidal, Amanda
core +1 more source
Implementing the Process Tracing Technique using Combinatory Categorial Grammars: An Application to the Analysis of Economic Coordination within Firms [PDF]
, 2023 This paper describes a method for analyzing the evolutionary path of a complex, dynamic, and contingent social phenomenon. Given empirical evidence of a surprising or anomalous fact that contradicts a widely acknowledged theory, the aim is to create a ...
da Rocha Braga, Bruno
core
The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL [PDF]
, 2015 Residuated lattices, although originally considered in the realm of algebra providing a general setting for studying ideals in ring theory, were later shown to form algebraic models for substructural logics.
Cardona Fuentes, Riquelmi Salvador
core +1 more source
Generalized relations for compositional models of meaning [PDF]
, 2018 In this thesis, tools of categorical quantum mechanics are used to explain natural language from a cognitive point of view. Categories of generalized relations are developed for the task, examples are provided, and languages that are particularly tricky ...
Genovese, Fabrizio Romano
core +2 more sources
An algebraic study of residuated ordered monoids and logics without exchange and contraction. [PDF]
, 1998 Thesis (Ph.D.)-University of Natal, Durban, 1998.Please refer to the thesis for the ...
Van Alten, Clint Johann.
core
Weak factorization systems and fibrewise regular injectivity for actions of pomonoids on posets [PDF]
, 2017 Let S be a pomonoid. In this paper, Pos-S, the category of S-posets and S-poset maps, is considered. One of the main aims of this paper is to draw attention to the notion of weak factorization systems in Pos-S.
Farsad, F., Madanshekaf, A.
core +1 more source
An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction [PDF]
, 2017 We develop an interval-based logic for reasoning about systems consisting of components speci ed using stream-processing functions, which map streams of inputs to streams of outputs.
Dongol, B
core
Cyclic posets and triangulation clusters
, 2019 Triangulated categories coming from cyclic posets were originally introduced by the authors in [IT15b] as a generalization of the constructions of various triangulated categories with cluster structures.
Igusa, Kiyoshi, Todorov, Gordana
core +1 more source