Showing 1–9 of 9 results for author: Wong, L Z

Enhancing Stance Classification with Quantified Moral Foundations

Authors: Hong Zhang, Prasanta Bhattacharya, Wei Gao, Liang Ze Wong, Brandon Siyuan Loh, Joseph J. P. Simons, Jisun An

Abstract: This study enhances stance detection on social media by incorporating deeper psychological attributes, specifically individuals' moral foundations. These theoretically-derived dimensions aim to provide a comprehensive profile of an individual's moral concerns which, in recent work, has been linked to behaviour in a range of domains, including society, politics, health, and the environment. In this… ▽ More This study enhances stance detection on social media by incorporating deeper psychological attributes, specifically individuals' moral foundations. These theoretically-derived dimensions aim to provide a comprehensive profile of an individual's moral concerns which, in recent work, has been linked to behaviour in a range of domains, including society, politics, health, and the environment. In this paper, we investigate how moral foundation dimensions can contribute to predicting an individual's stance on a given target. Specifically we incorporate moral foundation features extracted from text, along with message semantic features, to classify stances at both message- and user-levels across a range of targets and models. Our preliminary results suggest that encoding moral foundations can enhance the performance of stance detection tasks and help illuminate the associations between specific moral foundations and online stances on target topics. The results highlight the importance of considering deeper psychological attributes in stance analysis and underscores the role of moral foundations in guiding online social behavior. △ Less

Submitted 15 October, 2023; originally announced October 2023.

Comments: 11 pages, 5 figures

Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories

Authors: Daniel Carranza, Chris Kapulkin, Liang Ze Wong

Abstract: The diagonal lemma asserts that if a map of bisimplicial sets is a levelwise weak equivalence in the Kan-Quillen model structure, then it induces a weak equivalence of the diagonal simplicial sets. In this short note, we observe that the standard proof of this fact works for an arbitrary Eilenberg-Zilber category in place of the simplex category. The diagonal lemma asserts that if a map of bisimplicial sets is a levelwise weak equivalence in the Kan-Quillen model structure, then it induces a weak equivalence of the diagonal simplicial sets. In this short note, we observe that the standard proof of this fact works for an arbitrary Eilenberg-Zilber category in place of the simplex category. △ Less

Submitted 3 June, 2023; originally announced June 2023.

Comments: short note; 9 pages; comments welcome

MSC Class: 18N40; 55U35 (primary); 18N45; 18N50 (secondary)

Cofibration category of digraphs for path homology

Authors: Daniel Carranza, Brandon Doherty, Chris Kapulkin, Morgan Opie, Maru Sarazola, Liang Ze Wong

Abstract: We prove that the category of directed graphs and graph maps carries a cofibration category structure in which the weak equivalences are the graph maps inducing isomorphisms on path homology. We prove that the category of directed graphs and graph maps carries a cofibration category structure in which the weak equivalences are the graph maps inducing isomorphisms on path homology. △ Less

Submitted 23 December, 2022; originally announced December 2022.

Comments: 38 pages; comments welcome

MSC Class: 05C20; 18N45 (primary); 18N40; 55U35 (secondary)

Dependently Typed Knowledge Graphs

Authors: Zhangsheng Lai, Aik Beng Ng, Liang Ze Wong, Simon See, Shaowei Lin

Abstract: Reasoning over knowledge graphs is traditionally built upon a hierarchy of languages in the Semantic Web Stack. Starting from the Resource Description Framework (RDF) for knowledge graphs, more advanced constructs have been introduced through various syntax extensions to add reasoning capabilities to knowledge graphs. In this paper, we show how standardized semantic web technologies (RDF and its q… ▽ More Reasoning over knowledge graphs is traditionally built upon a hierarchy of languages in the Semantic Web Stack. Starting from the Resource Description Framework (RDF) for knowledge graphs, more advanced constructs have been introduced through various syntax extensions to add reasoning capabilities to knowledge graphs. In this paper, we show how standardized semantic web technologies (RDF and its query language SPARQL) can be reproduced in a unified manner with dependent type theory. In addition to providing the basic functionalities of knowledge graphs, dependent types add expressiveness in encoding both entities and queries, explainability in answers to queries through witnesses, and compositionality and automation in the construction of witnesses. Using the Coq proof assistant, we demonstrate how to build and query dependently typed knowledge graphs as a proof of concept for future works in this direction. △ Less

Submitted 8 March, 2020; originally announced March 2020.

Smash Products for Non-cartesian Internal Prestacks

Authors: Liang Ze Wong

Abstract: The smash product construction (or the Grothendieck construction) takes a functor (or prestack) $F \colon B^{op} \to \mathbf{Cat}$ and returns a fibration $p \colon A \to B$. In this paper, we develop an analogue of the smash product for prestacks internal to a non-cartesian monoidal category. Our construction simultaneously generalizes the Grothendieck construction for prestacks and smash product… ▽ More The smash product construction (or the Grothendieck construction) takes a functor (or prestack) $F \colon B^{op} \to \mathbf{Cat}$ and returns a fibration $p \colon A \to B$. In this paper, we develop an analogue of the smash product for prestacks internal to a non-cartesian monoidal category. Our construction simultaneously generalizes the Grothendieck construction for prestacks and smash products for $B$-module algebras over a bialgebra $B$. Further, taking fibers or coinvariants allows one to recover the original prestack. △ Less

Submitted 22 July, 2019; originally announced July 2019.

Comments: 19 pages, comments welcome

A co-reflection of cubical sets into simplicial sets with applications to model structures

Authors: Chris Kapulkin, Zachery Lindsey, Liang Ze Wong

Abstract: We show that the category of simplicial sets is a co-reflective subcategory of the category of cubical sets with connections, with the inclusion given by a version of the straightening functor. We show that using the co-reflector, one can transfer any cofibrantly generated model structure in which cofibrations are monomorphisms to cubical sets, thus obtaining cubical analogues of the Quillen and J… ▽ More We show that the category of simplicial sets is a co-reflective subcategory of the category of cubical sets with connections, with the inclusion given by a version of the straightening functor. We show that using the co-reflector, one can transfer any cofibrantly generated model structure in which cofibrations are monomorphisms to cubical sets, thus obtaining cubical analogues of the Quillen and Joyal model structures. △ Less

Submitted 21 June, 2019; originally announced June 2019.

Comments: 12 pages

MSC Class: 55U35; 18G55; 55U40

The Operadic Nerve, Relative Nerve, and the Grothendieck Construction

Authors: Jonathan Beardsley, Liang Ze Wong

Abstract: We relate the relative nerve $\mathrm{N}_f(\mathcal{D})$ of a diagram of simplicial sets $f \colon \mathcal{D} \to \mathsf{sSet}$ with the Grothendieck construction $\mathsf{Gr} F$ of a simplicial functor $F \colon \mathcal{D} \to \mathsf{sCat}$ in the case where $f = \mathrm{N} F$. We further show that any strict monoidal simplicial category $\mathcal{C}$ gives rise to a functor… ▽ More We relate the relative nerve $\mathrm{N}_f(\mathcal{D})$ of a diagram of simplicial sets $f \colon \mathcal{D} \to \mathsf{sSet}$ with the Grothendieck construction $\mathsf{Gr} F$ of a simplicial functor $F \colon \mathcal{D} \to \mathsf{sCat}$ in the case where $f = \mathrm{N} F$. We further show that any strict monoidal simplicial category $\mathcal{C}$ gives rise to a functor $\mathcal{C}^\bullet \colon Δ^\mathrm{op} \to \mathsf{sCat}$, and that the relative nerve of $\mathrm{N} \mathcal{C}^\bullet$ is the operadic nerve $\mathrm{N}^\otimes(\mathcal{C})$. Finally, we show that all the above constructions commute with appropriately defined opposite functors. △ Less

Submitted 15 April, 2019; v1 submitted 24 August, 2018; originally announced August 2018.

Comments: Improvements to exposition, citations and introduction thanks to referee suggestions

MSC Class: 55U40; 55U10; 18D20; 18D30

Journal ref: Theory.Appl.Categ. 34 (2019) 349-374

The Enriched Grothendieck Construction

Authors: Jonathan Beardsley, Liang Ze Wong

Abstract: We define and study opfibrations of $V$-enriched categories when $V$ is an extensive monoidal category whose unit is terminal and connected. This includes sets, simplicial sets, categories, or any locally cartesian closed category with disjoint coproducts and connected unit. We show that for an ordinary category $B$, there is an equivalence of 2-categories between $V$-enriched opfibrations over th… ▽ More We define and study opfibrations of $V$-enriched categories when $V$ is an extensive monoidal category whose unit is terminal and connected. This includes sets, simplicial sets, categories, or any locally cartesian closed category with disjoint coproducts and connected unit. We show that for an ordinary category $B$, there is an equivalence of 2-categories between $V$-enriched opfibrations over the free $V$-category on $B$, and pseudofunctors from $B$ to the 2-category of $V$-categories. This generalizes the classical ($Set$-enriched) Grothendieck correspondence. △ Less

Submitted 18 December, 2018; v1 submitted 11 April, 2018; originally announced April 2018.

Comments: Final version to appear in Advances in Mathematics, minor changes after further refereeing, 30 pages

MSC Class: 18D30 (Primary) 18D20 (Secondary) 55U40

Non-commutative Geometry of Homogenized Quantum $\mathfrak{sl}(2,\mathbb{C})$

Authors: Alex Chirvasitu, S. Paul Smith, Liang Ze Wong

Abstract: This paper examines the relationship between certain non-commutative analogues of projective 3-space, $\mathbb{P}^3$, and the quantized enveloping algebras $U_q(\mathfrak{sl}_2)$. The relationship is mediated by certain non-commutative graded algebras $S$, one for each $q \in \mathbb{C}^\times$, having a degree-two central element $c$ such that $S[c^{-1}]_0 \cong U_q(\mathfrak{sl}_2)$. The non-com… ▽ More This paper examines the relationship between certain non-commutative analogues of projective 3-space, $\mathbb{P}^3$, and the quantized enveloping algebras $U_q(\mathfrak{sl}_2)$. The relationship is mediated by certain non-commutative graded algebras $S$, one for each $q \in \mathbb{C}^\times$, having a degree-two central element $c$ such that $S[c^{-1}]_0 \cong U_q(\mathfrak{sl}_2)$. The non-commutative analogues of $\mathbb{P}^3$ are the spaces $\operatorname{Proj}_{nc}(S)$. We show how the points, fat points, lines, and quadrics, in $\operatorname{Proj}_{nc}(S)$, and their incidence relations, correspond to finite dimensional irreducible representations of $U_q(\mathfrak{sl}_2)$, Verma modules, annihilators of Verma modules, and homomorphisms between them. △ Less

Submitted 13 July, 2017; v1 submitted 2 July, 2016; originally announced July 2016.

Comments: 34 pages + references; minor modifications to address referee comments

MSC Class: 14A22; 16S38; 16W50; 17B37

Journal ref: Pacific J. Math. 292 (2018) 305-354