Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Comonad.

Articles de revues sur le sujet « Comonad »

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Comonad ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.

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.

Texte intégral
Résumé :
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].
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
16

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

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
17

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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-
Styles APA, Harvard, Vancouver, ISO, etc.
19

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!