Work

A standard theorem on adjunctions in two variables

Year: 2019

Type: preprint

Abstract: We record an explicit proof of the theorem that lifts a two-variable adjunction to the arrow categories of its domains.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.1902.06074

Author: Loregian, Fosco

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2914619478

Cites: 8

Cited by:

Related to: 10