From 12c4a61f8b1e0a74354e0e36a022320f822b915c Mon Sep 17 00:00:00 2001
From: Matthew Ballard <matt@mrb.email>
Date: Thu, 16 Feb 2023 20:28:27 -0500
Subject: [PATCH] feat: port CategoryTheory.LiftingProperties.Adjunction