Log in

Relevant bibliographies by topics / Comonad / Journal articles

To see the other types of publications on this topic, follow the link: Comonad.

Journal articles on the topic 'Comonad'

Author: Grafiati

Published: 2 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Comonad.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

El Kaoutit, L., and J. Vercruysse. "Cohomology for Bicomodules. Separable and Maschke functors." Journal of K-Theory 3, no. 1 (2007): 123–52. http://dx.doi.org/10.1017/is007011017jkt017.

Full text

Abstract:

AbstractWe introduce the category of bicomodules for a comonad on a Grothendieck category whose underlying functor is right exact and preserves direct sums. We characterize comonads with a separable forgetful functor by means of cohomology groups using cointegrations into bicomodules. We present two applications: the characterization of coseparable corings stated in [14], and the characterization of coseparable coalgebra coextensions stated in [19].

APA, Harvard, Vancouver, ISO, and other styles

2

DOŠEN, KOSTA, and ZORAN PETRIĆ. "Coherence for monoidal monads and comonads." Mathematical Structures in Computer Science 20, no. 4 (2010): 545–61. http://dx.doi.org/10.1017/s0960129510000034.

Full text

Abstract:

The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, that is, monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor (this means that it preserves the monoidal structure up to a natural transformation that need not be an isomorphism). These results are proved first in the absence of symmetry in the monoidal structure, and then with this symmetry. The monoidal structure is also allowed to be given with finite products or finite coproducts. Monoidal comonads with finite

APA, Harvard, Vancouver, ISO, and other styles

3

Uustalu, Tarmo, and Tarmo Vene. "Signals and Comonads." JUCS - Journal of Universal Computer Science 11, no. (7) (2005): 1310–26. https://doi.org/10.3217/jucs-011-07-1311.

Full text

Abstract:

We propose a novel discipline for programming stream functions and for the semantic description of stream manipulation languages based on the observation that both general and causal stream functions can be characterized as coKleisli arrows of comonads. This seems to be a promising application for the old, but very little exploited idea that if monads abstract notions of computation of a value, comonads ought to be useable as an abstraction of notions of value in a context. We also show that causal partial-stream functions can be described in terms of a combination of a comonad and a monad.

APA, Harvard, Vancouver, ISO, and other styles

4

HO, WENG KIN. "Characterising E-projectives via Comonads." Mathematical Structures in Computer Science 27, no. 4 (2015): 491–506. http://dx.doi.org/10.1017/s0960129515000183.

Full text

Abstract:

This paper demonstrates the usefulness of a comonadic approach to give previously unknown characterisation of projective objects in certain categories over particular subclasses of epimorphisms. This approach is a simple adaptation of a powerful technique due to Escardó which has been used extensively to characterise injective spaces and locales over various kinds of embeddings, but never previously for projective structures. Using some examples, we advertise the versatility of this approach – in particular, highlighting its advantage over existing methods on characterisation of projectives, w

APA, Harvard, Vancouver, ISO, and other styles

5

Blanc, David, and Simona Paoli. "Comonad cohomology of track categories." Journal of Homotopy and Related Structures 14, no. 4 (2019): 881–917. http://dx.doi.org/10.1007/s40062-019-00235-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

WISBAUER, ROBERT. "COMODULES AND CONTRAMODULES." Glasgow Mathematical Journal 52, A (2010): 151–62. http://dx.doi.org/10.1017/s0017089510000194.

Full text

Abstract:

AbstractAlgebras A and coalgebras C over a commutative ring R are defined by properties of the (endo)functors A ⊗R – and C ⊗R – on the category of R-modules R. Generalising these notions, monads and comonads were introduced on arbitrary categories, and it turned out that some of their basic relations do not depend on the specific properties of the tensor product. In particular, the adjoint of any comonad is a monad (and vice versa), and hence, for any coalgebra C, HomR(C, –), the right adjoint of C ⊗R –, is a monad on R. The modules for the monad HomR(C, –) were called contramodules by Eilenbe

APA, Harvard, Vancouver, ISO, and other styles

7

Power, John, and Hiroshi Watanabe. "Combining a monad and a comonad." Theoretical Computer Science 280, no. 1-2 (2002): 137–62. http://dx.doi.org/10.1016/s0304-3975(01)00024-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

MARMOLEJO, F., and A. VÁZQUEZ-MÁRQUEZ. "No-iteration mixed distributive laws." Mathematical Structures in Computer Science 27, no. 1 (2015): 1–16. http://dx.doi.org/10.1017/s0960129514000656.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Power, John, and Hiroshi Watanabe. "Distributivity for a monad and a comonad." Electronic Notes in Theoretical Computer Science 19 (1999): 102. http://dx.doi.org/10.1016/s1571-0661(05)80271-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Hess, Kathryn, and Brooke Shipley. "The homotopy theory of coalgebras over a comonad." Proceedings of the London Mathematical Society 108, no. 2 (2013): 484–516. http://dx.doi.org/10.1112/plms/pdt038.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Uustalu, Tarmo, and Varmo Vene. "The Recursion Scheme from the Cofree Recursive Comonad." Electronic Notes in Theoretical Computer Science 229, no. 5 (2011): 135–57. http://dx.doi.org/10.1016/j.entcs.2011.02.020.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Shen, Bingliang, and Xiaoguang Zou. "The Braided Monoidal Structure on the Category of Comodules of Bimonads." Algebra Colloquium 26, no. 04 (2019): 565–78. http://dx.doi.org/10.1142/s1005386719000427.

Full text

Abstract:

We investigate how the category of comodules of bimonads can be made into a monoidal category. It suffices that the monad and comonad in question are bimonads, with some extra compatibility relation. On a monoidal category of comodules of bimonads, we construct a braiding and get the necessary and sufficient conditions making it a braided monoidal category. As an application, we consider the category of comodules of corings and the category of entwined modules.

APA, Harvard, Vancouver, ISO, and other styles

13

Rajani, Vineet, Gilles Barthe, and Deepak Garg. "A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs." Proceedings of the ACM on Programming Languages 8, OOPSLA2 (2024): 389–414. http://dx.doi.org/10.1145/3689725.

Full text

Abstract:

The design of online learning algorithms typically aims to optimise the incurred loss or cost , e.g., the number of classification mistakes made by the algorithm. The goal of this paper is to build a type-theoretic framework to prove that a certain algorithm achieves its stated bound on the cost. Online learning algorithms often rely on randomness, their loss functions are often defined as expectations, precise bounds are often non-polynomial (e.g., logarithmic) and proofs of optimality often rely on potential-based arguments. Accordingly, we present pλ-amor, a type-theoretic graded modal fram

APA, Harvard, Vancouver, ISO, and other styles

14

Mesablishvili, Bachuki, and Robert Wisbauer. "Bimonads and Hopf monads on categories." Journal of K-Theory 7, no. 2 (2010): 349–88. http://dx.doi.org/10.1017/is010001014jkt105.

Full text

Abstract:

AbstractThe purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There are several extensions of this theory to monoidal categories which in a certain sense follow the classical trace. Here we do not pose any conditions on our base category but we do refer to the monoidal structure of the category of endofunctors on any category and by this we retain some of the combinatorial complexity which makes the theory so interest

APA, Harvard, Vancouver, ISO, and other styles

15

Paine, Thomas. "A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation Theorem." Electronic Notes in Theoretical Computer Science 352 (October 2020): 191–209. http://dx.doi.org/10.1016/j.entcs.2020.09.010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Nxumalo, Mbekezeli. "Remoteness in the category of bilocales." Filomat 38, no. 22 (2024): 7991–8009. https://doi.org/10.2298/fil2422991n.

Full text

Abstract:

In locale theory, a sublocale is said to be remote in case it misses every nowhere dense sublocale. In this paper, we introduce and study a new class of sublocales in the category of bilocales, namely (i, j)- remote sublocales. These are bilocalic counterparts of remote sublocales and are the sublocales missing every (i, j)-nowhere dense sublocale, with (i, j)-nowhere dense sublocales being bilocalic counterparts of (?i, ?j)-nowhere dense subsets in bitopological spaces. A comprehensive study of (i, j)-nowhere dense sublocales is given and we show that in the class of balanced bilocales, a sub

APA, Harvard, Vancouver, ISO, and other styles

17

Deligiannis, Athanasios. "Ganea comonads." manuscripta mathematica 102, no. 2 (2000): 251–61. http://dx.doi.org/10.1007/s002291020251.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Abramsky, Samson, and Luca Reggio. "An Invitation to Game Comonads." ACM SIGLOG News 11, no. 3 (2024): 5–48. http://dx.doi.org/10.1145/3687256.3687260.

Full text

Abstract:

Game comonads offer a categorical view of a number of model-comparison games central to model theory, such as pebble and Ehrenfeucht-Fraïssé games. Remarkably, the categories of coalgebras for these comon-ads capture preservation of several fragments of resource-bounded logics, such as (infinitary) first-order logic with n variables or bounded quantifier rank, and corresponding combinatorial parameters such as tree-width and tree-depth. In this way, game comonads provide a new bridge between categorical methods developed for semantics, and the combinatorial and algorithmic methods of resource-

APA, Harvard, Vancouver, ISO, and other styles

19

Mesablishvili, Bachuki, and Robert Wisbauer. "Azumaya Monads and Comonads." Axioms 4, no. 1 (2015): 32–70. http://dx.doi.org/10.3390/axioms4010032.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Capretta, Venanzio, Tarmo Uustalu, and Varmo Vene. "Recursive coalgebras from comonads." Information and Computation 204, no. 4 (2006): 437–68. http://dx.doi.org/10.1016/j.ic.2005.08.005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

El Kaoutit, Laiachi, and José Gómez-Torrecillas. "Hereditary triangular matrix comonads." Linear and Multilinear Algebra 64, no. 6 (2015): 1032–55. http://dx.doi.org/10.1080/03081087.2015.1071315.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Gómez-Torrecillas, J. "Comonads and Galois Corings." Applied Categorical Structures 14, no. 5-6 (2006): 579–98. http://dx.doi.org/10.1007/s10485-006-9049-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Capretta, Venanzio, Tarmo Uustalu, and Varmo Vene. "Recursive Coalgebras from Comonads." Electronic Notes in Theoretical Computer Science 106 (December 2004): 43–61. http://dx.doi.org/10.1016/j.entcs.2004.02.034.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Hasegawa, Masahito. "Linear Exponential Comonads without Symmetry." Electronic Proceedings in Theoretical Computer Science 238 (January 17, 2017): 54–63. http://dx.doi.org/10.4204/eptcs.238.6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Ghani, Neil, Christoph Lüth, Federico de Marchi, and John Power. "Algebras, Coalgebras, Monads and Comonads." Electronic Notes in Theoretical Computer Science 44, no. 1 (2001): 128–45. http://dx.doi.org/10.1016/s1571-0661(04)80905-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Jagtman, Margriet, and Theo Bongaerts. "Report- COMOLA: a computer system for the analysis of interlanguage data." Second Language Research 10, no. 1 (1994): 49–83. http://dx.doi.org/10.1177/026765839401000103.

Full text

Abstract:

In a recent contribution to Second Language Research, Pienemann (1992) described a computational system for the analysis of interlanguage data, termed COALA. In this report we will introduce another computer system for the analysis of L2 acquisition data, which has been developed independently. This system we have named COMOLA. This report contains: (1) a description of the COMOLA system, followed by an illustration of the type and scope of analyses yielded by COMOLA; (2) a brief description of COALA; and (3) a comparison of COMOLA and COALA pointing out the major differences between the two s

APA, Harvard, Vancouver, ISO, and other styles

27

Asperti, Andrea. "LINEAR LOGIC, COMONADS AND OPTIMAL REDUCTIONS." Fundamenta Informaticae 22, no. 1,2 (1995): 3–22. http://dx.doi.org/10.3233/fi-1995-22121.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Choudhury, Vikraman, and Neel Krishnaswami. "Recovering purity with comonads and capabilities." Proceedings of the ACM on Programming Languages 4, ICFP (2020): 1–28. http://dx.doi.org/10.1145/3408993.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Böhm, Gabriella, Tomasz Brzeziński, and Robert Wisbauer. "Monads and comonads on module categories." Journal of Algebra 322, no. 5 (2009): 1719–47. http://dx.doi.org/10.1016/j.jalgebra.2009.06.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Orchard, Dominic. "Complexity bounds for container functors and comonads." Information and Computation 261 (August 2018): 144–58. http://dx.doi.org/10.1016/j.ic.2018.05.008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Livernet, Muriel, Bachuki Mesablishvili, and Robert Wisbauer. "Generalised bialgebras and entwined monads and comonads." Journal of Pure and Applied Algebra 219, no. 8 (2015): 3263–78. http://dx.doi.org/10.1016/j.jpaa.2014.10.013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Böhm, Gabriella, and Stephen Lack. "Hopf comonads on naturally Frobenius map-monoidales." Journal of Pure and Applied Algebra 220, no. 6 (2016): 2177–213. http://dx.doi.org/10.1016/j.jpaa.2015.11.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Gainutdinov, Azat M., Jonas Haferkamp, and Christoph Schweigert. "Davydov-Yetter cohomology, comonads and Ocneanu rigidity." Advances in Mathematics 414 (February 2023): 108853. http://dx.doi.org/10.1016/j.aim.2022.108853.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Pastro, Craig, and Ross Street. "Closed categories, star-autonomy, and monoidal comonads." Journal of Algebra 321, no. 11 (2009): 3494–520. http://dx.doi.org/10.1016/j.jalgebra.2008.05.004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Piernas López, Juan Jorge. "Estudio sobre la práctica de la Corte Penal Internacional en materia de Investigaciones preliminares a la luz de la reciente remisión de la Unión de Comores." Anuario Español de Derecho Internacional 29 (June 25, 2015): 327–61. http://dx.doi.org/10.15581/010.29.2514.

Full text

Abstract:

Este trabajo analiza el funcionamiento y la práctica reciente del sistema de exámenes preliminares de la Corte Penal Internacional a la luz de la referencia hecha por la Unión de las Comoras en relación con el abordaje de la llamada Flotilla de la Libertad por parte de Israel. El trabajo también pretende evaluar, en base a la práctica de la Corte y la opinión de los comentaristas, la probabilidad de que la remisión de la Unión de Comoras contra Israel se declarara admisible.

APA, Harvard, Vancouver, ISO, and other styles

36

Guffanti, Francesca. "Adding a constant and an axiom to a doctrine." Mathematical Logic Quarterly 70, no. 3 (2024): 294–332. http://dx.doi.org/10.1002/malq.202300053.

Full text

Abstract:

AbstractWe study the meaning of “adding a constant to a language” for any doctrine, and “adding an axiom to a theory” for a primary doctrine, by showing how these are actually two instances of the same construction. We prove their universal properties, and how these constructions are compatible with additional structure on the doctrine. Existence of Kleisli object for comonads in the 2‐category of indexed poset is proved in order to build these constructions.

APA, Harvard, Vancouver, ISO, and other styles

37

Islam, Mohammed Moinul, M. Mahabub-Uz-Zaman, Rasheda Aktar, and Nazim Uddin Ahmed. "Hypocholesterolemic Effect of Ethanol Extract of Ananas comosas (L.) Merr. Leaves in High Cholesterol Fed Albino Rats." International Journal of Life Sciences 5, no. 1 (2012): 57–62. http://dx.doi.org/10.3126/ijls.v5i1.3739.

Full text

Abstract:

The hypocholesterolemic effect of the ethanol extract of Ananas comosas (Pineapple) was investigated in 5 groups of albino rats, 7 in each group. Group I rat received only distilled water and served as normal control. Groups II, III, IV and V were made hypercholesterolemic by feeding cholesterol orally suspended in 2% cholic acid mixed soybean oil (1 ml/kg bw) at a dose of 100 mg/kg bw daily up to 60 days. Group II rat received 1 ml distilled water while animals of Group III , IV and V received ethanol extract of Ananas comosas at the dose of 1000 mg/kg, 500 mg/kg and 100 mg/kg body weight res

APA, Harvard, Vancouver, ISO, and other styles

38

Ward, Gillian, Maggie Winchcombe, and Grace Teah. "Assisted living technologies and the consumer market: how is it developing?" Journal of Enabling Technologies 12, no. 1 (2018): 22–31. http://dx.doi.org/10.1108/jet-01-2018-0002.

Full text

Abstract:

Purpose A three-year research study, funded by Innovate UK, Consumer Models for Assisted Living (COMODAL) aimed to support the development of the consumer market for electronic assisted living technology (eALT) products and services, particularly for people aged 50-70, approaching older age and retirement themselves or with caring responsibilities for family or friends. The purpose of the COMODAL study was to gain a greater understanding of their needs and behaviours relating to the acquisition of eALT and develop sustainable consumer-led business models that might address these needs and supp

APA, Harvard, Vancouver, ISO, and other styles

39

Casarotti, Alex, Alex Massarenti, and Massimiliano Mella. "On Comon’s and Strassen’s Conjectures." Mathematics 6, no. 11 (2018): 217. http://dx.doi.org/10.3390/math6110217.

Full text

Abstract:

Comon’s conjecture on the equality of the rank and the symmetric rank of a symmetric tensor, and Strassen’s conjecture on the additivity of the rank of tensors are two of the most challenging and guiding problems in the area of tensor decomposition. We survey the main known results on these conjectures, and, under suitable bounds on the rank, we prove them, building on classical techniques used in the case of symmetric tensors, for mixed tensors. Finally, we improve the bound for Comon’s conjecture given by flattenings by producing new equations for secant varieties of Veronese and Segre varie

APA, Harvard, Vancouver, ISO, and other styles

40

Zhang, Xiaohui, and Hui Wu. "The cosemisimplicity and cobraided structures of monoidal comonads." Frontiers of Mathematics in China 17, no. 3 (2022): 485–99. http://dx.doi.org/10.1007/s11464-022-1019-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Foner, Kenneth. "Functional pearl: getting a quick fix on comonads." ACM SIGPLAN Notices 50, no. 12 (2016): 106–17. http://dx.doi.org/10.1145/2887747.2804310.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Hess, Kathryn, and Magdalena Kędziorek. "The homotopy theory of coalgebras over simplicial comonads." Homology, Homotopy and Applications 21, no. 1 (2019): 247–68. http://dx.doi.org/10.4310/hha.2019.v21.n1.a11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Adámek, Jiří, and Lurdes Sousa. "A Formula for Codensity Monads and Density Comonads." Applied Categorical Structures 26, no. 5 (2018): 855–72. http://dx.doi.org/10.1007/s10485-018-9530-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Uustalu, Tarmo, and Varmo Vene. "Comonadic Notions of Computation." Electronic Notes in Theoretical Computer Science 203, no. 5 (2008): 263–84. http://dx.doi.org/10.1016/j.entcs.2008.05.029.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Jiménez, María-Luisa, and Carlos Palacios-Cardiel. "Filistatinella palaciosi sp. Nov. (Araneidae: Filistatidae) de México." Dugesiana 19, no. 2 (2012): 75–77. https://doi.org/10.32870/dugesiana.v19i2.4059.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Zhang, Shilong, Li Guo, and William Keigher. "Classification of operator extensions, monad liftings and distributive laws for differential algebras and Rota–Baxter algebras." Journal of Algebra and Its Applications 19, no. 09 (2019): 2050172. http://dx.doi.org/10.1142/s0219498820501728.

Full text

Abstract:

Generalizing the algebraic formulation of the First Fundamental Theorem of Calculus (FFTC), a class of constraints involving a pair of operators was considered in [Extensions of operators, liftings of monads, and mixed distributive laws, Appl. Categ. Struct. 26 (2018) 747–765]. For a given constraint, the existences of extensions of differential and Rota–Baxter operators, of liftings of monads and comonads, and of mixed distributive laws are shown to be equivalent. In this paper, we give a classification of the constraints satisfying these equivalent conditions.

APA, Harvard, Vancouver, ISO, and other styles

47

Park, KyoungSoo, and Vivek S. Pai. "CoMon." ACM SIGOPS Operating Systems Review 40, no. 1 (2006): 65–74. http://dx.doi.org/10.1145/1113361.1113374.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

MELLIÈS, PAUL-ANDRÉ, NICOLAS TABAREAU, and CHRISTINE TASSON. "An explicit formula for the free exponential modality of linear logic." Mathematical Structures in Computer Science 28, no. 7 (2017): 1253–86. http://dx.doi.org/10.1017/s0960129516000426.

Full text

Abstract:

The exponential modality of linear logic associates to every formula A a commutative comonoid !A which can be duplicated in the course of reasoning. Here, we explain how to compute the free commutative comonoid !A as a sequential limit of equalizers in any symmetric monoidal category where this sequential limit exists and commutes with the tensor product. We apply this general recipe to a series of models of linear logic, typically based on coherence spaces, Conway games and finiteness spaces. This algebraic description unifies for the first time a number of apparently different constructions

APA, Harvard, Vancouver, ISO, and other styles

49

Zhang, Xiaohui, Wei Wang, and Xiaofan Zhao. "Smash coproducts of monoidal comonads and Hom-entwining structures." Rocky Mountain Journal of Mathematics 49, no. 6 (2019): 2063–105. http://dx.doi.org/10.1216/rmj-2019-49-6-2063.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Dalalyan, S., and A. Petrosyan. "The slice classification of categories of coalgebras for comonads." Algebra Universalis 41, no. 3 (1999): 177–85. http://dx.doi.org/10.1007/s000120050108.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!