Results 51 to 60 of about 791 (171)
Finitely accessible arboreal adjunctions and Hintikka formulae
Arboreal categories provide an axiomatic framework in which abstract notions of bisimilarity and back-and-forth games can be defined. They act on extensional categories, typically consisting of relational structures, via arboreal adjunctions.
Reggio, Luca, Riba, Colin
core +1 more source
Double adjunctions and free monads [PDF]
, 2012 We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg--Moore objects in double categories. We improve upon our earlier result in "Monads in Double Categories",
Gambino, N, Kock, J, Fiore, TM
core +2 more sources
پژوهشهای ریاضی, 2020 Introduction Over a commutative ring k, it is well known from the classical module theory that the tensor-endofunctor of is left adjoint to the Hom-endofunctor. The unit and counit of this adjunction is obtained trivially.
Saeid Bagheri
doaj
Colax adjunctions and lax-idempotent pseudomonads [PDF]
We prove a generalization of a theorem of Bunge and Gray about forming colax adjunctions out of relative Kan extensions and apply it to the study of the Kleisli 2-category for a lax-idempotent pseudomonad. For instance, we establish the weak completeness
Štěpán, Miloslav
core
Zappa–Szép Skew Braces: A Unified Framework for Mutual Interactions in Noncommutative Algebra
MathematicsThis paper introduces and systematically develops the theory of Zappa–Szép skew braces, a novel algebraic structure that provides a unified framework for bidirectional group interactions, thereby generalizing the classical constructions of semidirect ...
Suha Wazzan, David A. Oluyori
doaj +1 more source
Why Adjunctions Matter—A Functional Programmer Perspective
For the average programmer, adjunctions are (if at all known) more respected than loved. At best, they are regarded as an algebraic device of theoretical interest only, not useful in common practice.
Oliveira, José Nuno Fonseca
core +1 more source
Coalgebraic semantics for timed processes [PDF]
, 2006 We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a “time domain”, and we model processes by “timed transition systems”, which amount to partial monoid actions of the time domain or ...
Simpson, Alexander +6 more
core +1 more source
Quillen adjunctions induce adjunctions of quasicategories
, 2015 We prove that a Quillen adjunction of model categories (of which we do not require functorial factorizations and of which we only require finite bicompleteness) induces a canonical adjunction of underlying quasicategories.
openaire +3 more sources
An adjunction hypothesis between qualia and reports. [PDF]
Front Psychol, 2022 Tsuchiya N, Saigo H, Phillips S.
europepmc +1 more source
Preprint Number 15–49 GENERATING SUBLOCALES BY SUBSETS AND RELATIONS: A TANGLE OF ADJUNCTIONS [PDF]
, 2016 : Generalizing the obvious representation of a subspace Y ⊆ X as a sublocale in Ω(X) by the congruence {(U, V) | U ∩ Y = V ∩ Y} one obtains the congruence {(a, b) | o(a)∩S = o(b)∩S}, first with sublocales S of a frame L, which (as it is well known ...
Picado, Jorge +5 more
core +1 more source