• Abstract Bivariant Cuntz Semigroups 

      [OWP-2017-04] Antoine, Ramon; Perera, Francesc; Thiel, Hannes (Mathematisches Forschungsinstitut Oberwolfach, 2017-02-13)
      We show that abstract Cuntz semigroups form a closed symmetric monoidal category. Thus, given Cuntz semigroups $S$ and $T$, there is another Cuntz semigroup $((S,T))$ playing the role of morphisms from $S$ to $T$. Applied ...
    • Categoric Aspects of Authentication 

      [OWP-2012-05] Schillewaert, Jeroen; Thas, Koen (Mathematisches Forschungsinstitut Oberwolfach, 2012-04-24)
    • Definable orthogonality classes in accessible categories are small 

      [OWP-2011-14] Bagaria, Joan; Casacuberta, Carles; Mathias, Adrian R. D.; Rosický, Jiří (Mathematisches Forschungsinstitut Oberwolfach, 2011-05-15)
      We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary ...