The formal theory of relative monads
author
Arkor, Nathanael
McDermott, Dylan
statement of authorship
Nathanael Arkor, Dylan McDermott
source
Journal of pure and applied algebra
publisher
Elsevier
journal volume number month
vol. 228, 9
year of publication
2024
pages
art. 107676, 107 p. : ill
url
https://doi.org/10.1016/j.jpaa.2024.107676
subject term
kategooriateooria
absoluutne ja suhteline
monaadid
keyword
enriched category theory
formal category theory
relative adjunction
relative monad
skew-monoidal category
virtual equipment
ISSN
0022-4049
notes
Bibliogr.: 101 ref
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/23968
https://www.scopus.com/record/display.uri?eid=2-s2.0-85189487441&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22The+formal+theory+of+relative+monads%22%29&sessionSearchId=b1f33d3b615491dc7c7d93f57393950c&relpos=0
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20PURE%20APPL%20ALGEBRA&year=2023
https://www.webofscience.com/wos/woscc/full-record/WOS:001223882300001
category (general)
Mathematics
Matemaatika
category (sub)
Mathematics. Algebra and number theory
Matemaatika. Algebra ja arvuteooria
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory