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
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
On a generalization of I-regularity
Open MathematicsLet SS be a pomonoid. The projectivity and strong flatness of right SS-posets have been central topics in the homological classification of pomonoids in recent decades. In 2005, Shi et al. introduced II-regular SS-posets and proved that all its cyclic SS-
Qiao Husheng, Feng Leting
doaj +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
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
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
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
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
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
On Po-injective and Po-surjective Wreath Product of Pomonoids
European Journal of Pure and Applied MathematicsLet $R$ and $S$ be pomonoids and $_{R}{A}$ be a left $R$-poset. The wreath product of the pomonoids $R$ and $S$ by $_{R}{A}$ is defined as the pomonoid $T~=~R \times F(A, S)$ While, the wreath product $_TC$ of the left $R$-poset $_{R}{A}$ with the left $S$-poset $_{S}{B}$ over the pomonoid $T= R \times F(A, S)$ is the left $T$-poset ${_T C}= {_R A ...
Bana Al Subaiei +3 more
openaire +1 more source