Results 1 to 10 of about 90,057 (293)
Strongly Complete Logics for Coalgebras [PDF]
Logical Methods in Computer Science, 2012 Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras.
Alexander Kurz, Jiri Rosicky
doaj +5 more sources
An expressive completeness theorem for coalgebraic modal mu-calculi [PDF]
Logical Methods in Computer Science, 2017 Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas.
Sebastian Enqvist +2 more
doaj +6 more sources
Coinduction functor in representation stability theory [PDF]
Journal of the London Mathematical Society, 2015 We study the coinduction functor on the category of FI‐modules and its variants. Using the coinduction functor, we give new proofs of (generalizations of) various results on homological properties of FI‐modules.
Liping Li
exaly +2 more sources
What is category theory to cognitive science? Compositional representation and comparison [PDF]
Frontiers in Psychology, 2022 Category theorists and cognitive scientists study the structural (analogical) relations between domains of interest albeit in different contexts, that is, formal and psychological systems, respectively.
Steven Phillips
doaj +2 more sources
Modified Traces and the Nakayama Functor [PDF]
Algebras and Representation Theory, 2021 We organize the modified trace theory with the use of the Nakayama functor of finite abelian categories. For a linear right exact functor Σ on a finite abelian category M ${\mathscr{M}}$ , we introduce the notion of a Σ -twisted trace on the class Proj (
Taiki Shibata, K. Shimizu
semanticscholar +1 more source
The six-functor formalism for rigid analytic motives [PDF]
Forum of Mathematics, Sigma, 2020 We offer a systematic study of rigid analytic motives over general rigid analytic spaces, and we develop their six-functor formalism. A key ingredient is an extended proper base change theorem that we are able to justify by reducing to the case of ...
J. Ayoub +2 more
semanticscholar +1 more source
t-Structures with Grothendieck hearts via functor categories [PDF]
Selecta Mathematica, 2020 We study when the heart of a t -structure in a triangulated category $$\mathcal {D}$$ D with coproducts is AB5 or a Grothendieck category. If $$\mathcal {D}$$ D satisfies Brown representability, a t -structure has an AB5 heart with an injective ...
Manuel Saor'in, Jan Šťovíček
semanticscholar +1 more source
The universal six-functor formalism [PDF]
Annals of K-theory, 2020 We prove that Morel-Voevodsky's stable $\mathbb{A}^1$-homotopy theory affords the universal six-functor formalism.
B. Drew, Martin Gallauer
semanticscholar +1 more source
Jacobi–Trudi Identity and Drinfeld Functor for Super Yangian [PDF]
International mathematics research notices, 2020 We show that the quantum Berezinian that gives a generating function of the integrals of motions of XXX spin chains associated to super Yangian $\textrm{Y}(\mathfrak{g}\mathfrak{l}_{m|n})$ can be written as a ratio of two difference operators of orders
Kang Lu, E. Mukhin
semanticscholar +1 more source
Predicting Change in Emotion through Ordinal Patterns and Simple Symbolic Expressions
Mathematics, 2022 Human interlocutors may use emotions as an important signaling device for coordinating an interaction. In this context, predicting a significant change in a speaker’s emotion may be important for regulating the interaction.
Yair Neuman, Yochai Cohen
doaj +1 more source