Friedrich Ulmer’s scientific contributions

... Proposition 6.2.2 [23][Theorem 4.19] Let (T , η, μ, (ξ, ζ, ρ)) be a bifinitary pseudomonad on a bicomplete and bicocomplete 2-category C. Then the 2-category of pseudo-algebras and pseudomorphisms T -psAlg is bicocomplete.The theorem below is the 2-categorical analog of the famous result of[11]:Theorem6.2.3 Let B be a finitely bipresentable 2-category and T a bifinitary pseudomonad on B. ...

Reference:

Bi-accessible and Bipresentable 2-Categories

... Remark 4.28. Gabriel-Ulmer [14] proved that CH is ℵ 1 -cocompactly generated. Similarly, one can show that SC is ℵ 1 -cocompactly generated. ...

Reference:

Very Schwartz coidempotents and continuous spectrum

... The notions of locally finitely presentable category (see [3]) and symmetric monoidal closed category (see [2]) are now classical. Following a work of Kelly (see [6]) we fix a "locally finitely presentable symmetric monoidal closed category V", meaning by this a category having all those properties and in which, moreover, it is assumed that a finite tensor product of finitely presentable objects is again finitely presentable (that is, the unit / of the tensor product is finitely presentable and when V, W are finitely presentable, so is V <g> W). ...

Reference:

Enriched accessible categories