Relative monads formalised

Tools

Altenkirch, Thorsten, Chapman, James and Uustalu, Tarmo (2014) Relative monads formalised. Journal of Formalized Reasoning, 7 (1). pp. 1-43. ISSN 1972-5787

Full text not available from this repository.

Official URL: http://jfr.unibo.it/article/view/4389

Abstract

Relative monads are a generalisation of ordinary monads where the underlying functor need not be an endofunctor. In this paper, we describe a formalisation of the basic theory of relative monads in the interactive theorem prover and dependently typed programming language Agda. The formalisation comprises the requisite basic category theory, the central concepts of the theory of relative monads and adjunctions, which are compared to their ordinary counterparts, and two running examples from programming theory.

Item Type:	Article
RIS ID:	https://nottingham-repository.worktribe.com/output/997864
Schools/Departments:	University of Nottingham, UK > Faculty of Science > School of Computer Science
Identification Number:	https://doi.org/10.6092/issn.1972-5787/4389
Depositing User:	Altenkirch, Thorsten
Date Deposited:	02 Mar 2015 12:58
Last Modified:	04 May 2020 20:16
URI:	https://eprints.nottingham.ac.uk/id/eprint/28455

Actions (Archive Staff Only)

Edit View

LoginAdmin