Expanding the modelling capabilities of systemic interactions utilizing applied category theory
Sign Up to like & getrecommendations! Published in 2024 at "Systems Research and Behavioral Science"
DOI: 10.1002/sres.3015
Abstract: Current systems analysis approaches often lack the necessary clarity to capture details relating to the interactions of systems, defining arbitrary system boundaries, and expanding boundaries to capture interactions of interest. This paper proposes a new… read more here.
Keywords: applied category; systemic interactions; system; category theory ... See more keywords
Automating Free Logic in HOL, with an Experimental Application in Category Theory
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-018-09507-7
Abstract: A shallow semantical embedding of free logic in classical higher-order logic is presented, which enables the off-the-shelf application of higher-order interactive and automated theorem provers for the formalisation and verification of free logic theories. Subsequently,… read more here.
Keywords: application; free logic; automating free; category theory ... See more keywords
Category theory-based emotional intelligence mapping model for consumer-E-business to improve E-commerce
Sign Up to like & getrecommendations! Published in 2021 at "Aggression and Violent Behavior"
DOI: 10.1016/j.avb.2021.101631
Abstract: Abstract Economic growth, proliferation, and globalization of economic and trade policies have resulted in the rapid growth and development of e-commerce and e-business across different application domains. However, with this growing demand for e-business, there… read more here.
Keywords: emotional intelligence; business; commerce; category theory ... See more keywords
The application of applied category theory to quantify mission success
Sign Up to like & getrecommendations! Published in 2022 at "SIMULATION"
DOI: 10.1177/00375497221114861
Abstract: Mission engineering is the quantification of the effects applied by a system of systems to achieve measurable desired results. The execution of the mission is defined by a mission thread; that is the sequence of… read more here.
Keywords: applied category; category theory; mission thread; success ... See more keywords