nope · @stacked_automation
123 followers · 6948 posts · Server mastodon.socialDiagrammatic Techniques in Group Theory
(1981) : Mandula, J. E.
url: https://cds.cern.ch/record/129911/files/SHEP%2080-81-7.pdf
#string_diagrams #category_theory #group_theory #diagram #my_bibtex
#string_diagrams #category_theory #group_theory #diagram #my_bibtex
nope · @stacked_automation
123 followers · 6688 posts · Server mastodon.socialComputational Category Theory
(2022) : D.E Rydeheard and R.M Burstall
url: https://www.cs.man.ac.uk/~david/categories/
#adjunction #category_theory #functional_programming #functors #standard_ML #toposes #unification
#my_bibtex
#adjunction #category_theory #functional_programming #functors #standard_ml #toposes #unification #my_bibtex
nope · @stacked_automation
117 followers · 6409 posts · Server mastodon.social
An Invitation to Applied Category Theory
(2019) : Fong, Brendan and David I. Spivak
DOI: https://doi.org/10.1017/9781108668804
#__important #category_theory #database #functors #galois_connection #hypergraph #joins #logic_of_behaviour #meets #monoid
#my_bibtex
#__important #category_theory #database #functors #galois_connection #hypergraph #joins #logic_of_behaviour #meets #monoid #my_bibtex
nope · @stacked_automation
111 followers · 6208 posts · Server mastodon.socialModelling Multi-agent Systems with Category Theory
(2015) : Olga Ormandjieva and Jamal Bentahar and Jinzi Huang and Heng Kuang
DOI: https://doi.org/10.1016/j.procs.2015.05.031
#MAS #__important #category_theory #constructive_proof #fault_tolerance #m
#my_bibtex
#mas #__important #category_theory #constructive_proof #fault_tolerance #m #my_bibtex
nope · @stacked_automation
83 followers · 5929 posts · Server mastodon.socialThe Institutional Approach
(2010) : Robert E. Kent
DOI: https://doi.org/10.1007/978-90-481-8847-5_23
#__important #category_theory #information_systems #institution #language #logic #ontology #structure
#my_bibtex
#__important #category_theory #information_systems #institution #language #logic #ontology #structure #my_bibtex