Results 1 to 10 of about 19,289 (184)
Free Applicative Functors [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Applicative functors are a generalisation of monads. Both allow the expression of effectful computations into an otherwise pure language, like Haskell.
Paolo Capriotti, Ambrus Kaposi
doaj +4 more sources
Adjoint functors and triangulated categories [PDF]
Communications in Algebra, 2007 We give a construction of triangulated categories as quotients of exact categories where the subclass of objects sent to zero is defined by a triple of functors. This includes the cases of homotopy and stable module categories. These categories naturally
Grime, Matthew
core +3 more sources
Adjoint functors and tree duality [PDF]
Discrete Mathematics & Theoretical Computer Science, 2009 Graphs and ...
Jan Foniok, Claude Tardif
doaj +7 more sources
Higher Algebraic K-Theory of Causality [PDF]
EntropyCausal discovery involves searching intractably large spaces. Decomposing the search space into classes of observationally equivalent causal models is a well-studied avenue to making discovery tractable.
Sridhar Mahadevan
doaj +2 more sources
Cubical Sets and Trace Monoid Actions [PDF]
The Scientific World Journal, 2013 This paper is devoted to connections between trace monoids and cubical sets. We prove that the category of trace monoids is isomorphic to the category of generalized tori and it is a reflective subcategory of the category of cubical sets.
Ahmet A. Husainov
doaj +2 more sources
A characterization of finite \'etale morphisms in tensor triangular geometry [PDF]
Épijournal de Géométrie Algébrique, 2022 We provide a characterization of finite \'etale morphisms in tensor triangular geometry. They are precisely those functors which have a conservative right adjoint, satisfy Grothendieck--Neeman duality, and for which the relative dualizing object is ...
Beren Sanders
doaj +1 more source
Crossed modules bifibred over k-Algebras
Cumhuriyet Science Journal, 2021 In this paper we examine on a pair of adjoint functors (ϕ^* ,ϕ_*)for a subcategory of the category of crossed modules over commutative algebras where ϕ_*: XMod/P → XMod/Q, induced, and ϕ^*:XMod/Q → XMod/P, pullback (co-induced), which enables us to move
Özgün Gürmen Alansal +1 more
doaj +1 more source
On the Lambek Calculus with an Exchange Modality [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In this paper we introduce Commutative/Non-Commutative Logic (CNC logic) and two categorical models for CNC logic. This work abstracts Benton's Linear/Non-Linear Logic by removing the existence of the exchange structural rule.
Jiaming Jiang +2 more
doaj +1 more source
A note on spherical functors [PDF]
, 2021 We provide a new and very short proof of the fact that a spherical functor between certain triangulated categories induces an autoequivalence.Comment: Final version. Accepted for publication in Bull. Lond.
Meachan, Ciaran
core +2 more sources
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory [PDF]
Logical Methods in Computer Science, 2020 Clocked Type Theory (CloTT) is a type theory for guarded recursion useful for programming with coinductive types, allowing productivity to be encoded in types, and for reasoning about advanced programming language features using an abstract form of step ...
Bassel Mannaa +2 more
doaj +1 more source