Hypothesis

1 Matching Annotations

Mar 2023
math.libretexts.org math.libretexts.org

1.2: Meets and Joins

1
1. bartvpelt 02 Mar 2023
  
  in Public
  
  f(a) ∨
  
  I think the isomorphism symbol should be an inequality symbol. This is confirmed in Exercise 1.94
Visit annotations in context

Annotators

bartvpelt

URL

math.libretexts.org/Bookshelves/Applied_Mathematics/Seven_Sketches_in_Compositionality:_An_Invitation_to_Applied_Category_Theory_(Fong_and_Spivak)/01:_Generative_Effects_-_Orders_and_Adjunctions/1.02:_Meets_and_Joins