Academic literature on the topic 'Comonad'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.
Journal articles on the topic "Comonad"
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 textDOŠ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 textUustalu, 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 textHO, 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 textBlanc, 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 textWISBAUER, ROBERT. "COMODULES AND CONTRAMODULES." Glasgow Mathematical Journal 52, A (2010): 151–62. http://dx.doi.org/10.1017/s0017089510000194.
Full textPower, 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 textMARMOLEJO, 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 textPower, 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 textHess, 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 textDissertations / Theses on the topic "Comonad"
Kvamme, Sondre [Verfasser]. "Comonads and Gorenstein Homological Algebra / Sondre Kvamme." Bonn : Universitäts- und Landesbibliothek Bonn, 2017. http://d-nb.info/1149154241/34.
Full textSirland, Jenny. "Realistisk restidsberäkning för comodal reseplanering." Thesis, Uppsala University, Department of Information Technology, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-111166.
Full textSvensson, Richard. "COMOBA : Counteract Motion Backrest." Thesis, Högskolan i Halmstad, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-31919.
Full textnilsson, Kevin. "Material modeling in Sheet Metal Forming Simulations : Quality comparison between comonly used material models." Thesis, Blekinge Tekniska Högskola, Institutionen för maskinteknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-18227.
Full textSalem, M. A. "Accumulation and degradation of aliphatic nitrocompounds in Hippocrepis comosa and other legumes." Thesis, Swansea University, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.638749.
Full textGlaser, Norbert. "Contribution à l'acquisition et à la modélisation de connaissances dans un cadre multi-agents : l’approche CoMoMAS." Nancy 1, 1996. http://www.theses.fr/1996NAN10300.
Full textHellström, Josefine. "Tårfilmen hos datoranvändare : En jämförande studie av tårsubstituten Systane och Hylo-Comod." Thesis, University of Kalmar, School of Pure and Applied Natural Sciences, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:hik:diva-2277.
Full textFouquet, Guillemette. "Régulation de l’érythropoïèse : rôle des récepteurs à la transferrine et d’un phytoestrogène." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLS293.
Full textJagenberg, Jan Tim [Verfasser], Reiner [Akademischer Betreuer] Anderl, and Michael [Akademischer Betreuer] Abramovici. "CoMoNo: A Communication Model and Notation Supporting the Analysis and Planning of Communication Infrastructure / Jan Tim Jagenberg. Betreuer: Reiner Anderl ; Michael Abramovici." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014. http://d-nb.info/1108094759/34.
Full textClarens, Christophe. "Processus et contrôles de la sédimentation miocène à actuelle dans un bassin en extension : cas de la formation Comondu et du bassin Alfonso-El Carrizal (Basse Californie du Sud, Mexique)." Bordeaux 1, 2006. http://www.theses.fr/2006BOR13206.
Full textBooks on the topic "Comonad"
Andrad, Mario de. São Paulo! comocao de minha vida... Prefeitura de São Paulo Cultura, 2013.
Find full textMeza, J. Antonio Sequera. Coloquio de San Miguel de Comondú. Gobierno del Estado de Baja California Sur, Instituto Sudcaliforniano de Cultura, 2008.
Find full textOliva, Salvador Hinojosa. Cuaderno histórico del templo misional de Nuestro Señor de San José de Comondú. Gobierno del Estado de Baja California Sur, Instituto Sudcaliforniano de Cultura, 2009.
Find full textTorre, Giovanni La. La comoda menzogna: Il dibattito sulla crisi globale. Dedalo, 2011.
Find full textGlaser, Norbert. Conceptual Modelling of Multi-Agent Systems: The CoMoMAS Engineering Environment. Springer US, 2002.
Find full textBoard, Engineering Industry Training. Engineering training guide: Welding and fabrication - comon skills. 2nd ed. EITB, 1988.
Find full textMicheline, Cariño Martha, ed. Opciones de desarrollo en el oasis de los Comondú, Baja California Sur, México. Gobierno del Estado de Baja California Sur, Instituto Sudcaliforniano de Cultura, 2013.
Find full textAgrosì, Giulia. La smart city e la città comoda: Una nuova realtà futurista "Smartiana". Mimesis, 2022.
Find full textBook chapters on the topic "Comonad"
McDermott, Dylan, Exequiel Rivas, and Tarmo Uustalu. "Sweedler Theory of Monads." In Lecture Notes in Computer Science. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99253-8_22.
Full textAhman, Danel, James Chapman, and Tarmo Uustalu. "When Is a Container a Comonad?" In Foundations of Software Science and Computational Structures. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-28729-9_5.
Full textDawar, Anuj. "Constraint Satisfaction, Graph Isomorphism, and the Pebbling Comonad." In Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24117-8_18.
Full textPientka, Brigitte, and Ulrich Schöpp. "Semantical Analysis of Contextual Types." In Lecture Notes in Computer Science. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_26.
Full textGehrke, Wolfgang. "Problems in rewriting applied to categorical concepts by the example of a computational comonad." In Rewriting Techniques and Applications. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59200-8_58.
Full textDošen, Kosta. "Comonads." In Cut Elimination in Categories. Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-017-1207-1_6.
Full textOrchard, Dominic, and Alan Mycroft. "A Notation for Comonads." In Implementation and Application of Functional Languages. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41582-1_1.
Full textFukihara, Yōji, and Shin-ya Katsumata. "Generalized Bounded Linear Logic and its Categorical Semantics." In Lecture Notes in Computer Science. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71995-1_12.
Full textClouston, Ranald, and Robert Goldblatt. "Covarieties of Coalgebras: Comonads and Coequations." In Theoretical Aspects of Computing – ICTAC 2005. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11560647_19.
Full textAbramsky, Samson, Tomáš Jakl, and Thomas Paine. "Discrete Density Comonads and Graph Parameters." In Coalgebraic Methods in Computer Science. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10736-8_2.
Full textConference papers on the topic "Comonad"
Abramsky, Samson, Anuj Dawar, and Pengming Wang. "The pebbling comonad in Finite Model Theory." In 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2017. http://dx.doi.org/10.1109/lics.2017.8005129.
Full textMontacute, Yoàv, and Nihil Shah. "The Pebble-Relation Comonad in Finite Model Theory." In LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2022. http://dx.doi.org/10.1145/3531130.3533335.
Full textKatsumata, Shin-ya, Exequiel Rivas, and Tarmo Uustalu. "Interaction Laws of Monads and Comonads." In LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2020. http://dx.doi.org/10.1145/3373718.3394808.
Full textDawar, Anuj, Tomas Jakl, and Luca Reggio. "Lovász-Type Theorems and Game Comonads." In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2021. http://dx.doi.org/10.1109/lics52264.2021.9470609.
Full textFoner, Kenneth. "Functional pearl: getting a quick fix on comonads." In ICFP'15: 20th ACM SIGPLAN International Conference on Functional Programming. ACM, 2015. http://dx.doi.org/10.1145/2804302.2804310.
Full textLee, Youngki, Younghyun Ju, Chulhong Min, Seungwoo Kang, Inseok Hwang, and Junehwa Song. "CoMon." In the 10th international conference. ACM Press, 2012. http://dx.doi.org/10.1145/2307636.2307641.
Full textAbramsky, Samson, and Dan Marsden. "Comonadic semantics for guarded fragments." In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2021. http://dx.doi.org/10.1109/lics52264.2021.9470594.
Full textГонсалес Франко, M. X., А. И. Юркина, О. В. Разумова, М. Г. Дивашук та Е. Д. Бадаева. "ЦИТОГЕНЕТИЧЕСКОЕ ИЗУЧЕНИЕ AEGILOPS COMOSA". У Биотехнология в растениеводстве, животноводстве и сельскохозяйственной микробиологии. Crossref, 2024. https://doi.org/10.48397/e4006-1919-2277-y.
Full textMontacute, Yoàv, and Glynn Winskel. "Concurrent Games over Relational Structures: The Origin of Game Comonads." In LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2024. http://dx.doi.org/10.1145/3661814.3662075.
Full textAbramsky, Samson, Rui Soares Barbosa, Martti Karvonen, and Shane Mansfield. "A comonadic view of simulation and quantum resources." In 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2019. http://dx.doi.org/10.1109/lics.2019.8785677.
Full textReports on the topic "Comonad"
Gehrke, Wolfgang. Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad. Defense Technical Information Center, 1994. http://dx.doi.org/10.21236/ada288582.
Full textBrookes, Stephen, and Kathryn Van Stone. Monads and Comonads in Intensional Semantics. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada266522.
Full textContessi, Silvio, Pierangelo De Pace, and Massimo Guidolin. How Did the Financial Crisis Alter the Correlations of U.S. Yield Spreads? Federal Reserve Bank of St. Louis, 2013. http://dx.doi.org/10.20955/wp.2013.005.
Full textDubcovsky, Jorge, Tzion Fahima, and Ann Blechl. Molecular characterization and deployment of the high-temperature adult plant stripe rust resistance gene Yr36 from wheat. United States Department of Agriculture, 2013. http://dx.doi.org/10.32747/2013.7699860.bard.
Full text