• 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 ...
    • 0641 - Arbeitsgemeinschaft mit aktuellem Thema: Twisted K-Theory 

      [OWR-2006-46] (2006) - (08 Oct - 14 Oct 2006)
      The “Arbeitsgemeinsschaft mit aktuellem Thema ‘Twisted KTheory’ ” gave an introduction to several aspects of twisted K-theory. It started with a couple of different definitions of twisted K-theory, suitable in situations ...
    • 0714 - Arbeitsgemeinschaft: Conformal Field Theory 

      [OWR-2007-17] (2007) - (01 Apr - 07 Apr 2007)
      The two major approaches to chiral conformal field theory – one based on operator algebras and one based on vertex algebras – both lead to representation categories which are tensor categories and, in the case of rational ...
    • 1114 - Arbeitsgemeinschaft: Rational Homotopy Theory in Mathematics and Physics 

      [OWR-2011-18] (2011) - (03 Apr - 08 Apr 2011)
      This Arbeitsgemeinschaft focused on the interplay among rational homotopy theory, differential geometry and the physics of string topology. The talks centered on one hand on how geometry and string topology make use of ...
    • Categoric Aspects of Authentication 

      [OWP-2012-05] Schillewaert, Jeroen; Thas, Koen (Mathematisches Forschungsinstitut Oberwolfach, 2012-04-24)
    • Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations 

      [OWP-2023-06] Lucatelli Nunes, Fernando; Prezado, Rui; Sousa, Lurdes (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)
      For any suitable base category $\mathcal{V} $, we find that $\mathcal{V} $-fully faithful lax epimorphisms in $\mathcal{V} $-$\mathsf{Cat} $ are precisely those $\mathcal{V}$-functors $F \colon \mathcal{A} \to \mathcal{B}$ ...
    • 1139 - Complex Algebraic Geometry 

      [OWR-2011-47] (2011) - (25 Sep - 01 Oct 2011)
      The conference focused on several classical and modern topics in the realm of complex algebraic geometry, such as moduli spaces, birational geometry and the minimal model program, Mirror symmetry and Gromov–Witten invariants, ...
    • 1322 - Complex Algebraic Geometry 

      [OWR-2013-27] (2013) - (26 May - 01 Jun 2013)
      The conference focused on several topics, classical and modern, in the classification theory of compact algebraic and Kähler varieties, and on several methods, from singularity theory, topology, homological algebra, Geometric ...
    • 0940 - Complex Algebraic Geometry 

      [OWR-2009-44] (2009) - (27 Sep - 03 Oct 2009)
      The Conference focused on several classical and novel theories in the realm of complex algebraic geometry, such as Algebraic surfaces, Moduli theory, Minimal Model Program, Abelian Varieties, Holomorphic Symplectic Varieties, ...
    • 1631 - Computational Group Theory 

      [OWR-2016-37] (2016) - (31 Jul - 06 Aug 2016)
      This was the seventh workshop on Computational Group Theory. It showed that Computational Group Theory has significantly expanded its range of activities. For example, symbolic computations with groups and their representations ...
    • 1131 - Computational Group Theory 

      [OWR-2011-37] (2011) - (31 Jul - 06 Aug 2011)
      This sixth workshop on Computational Group Theory proved that its main themes “finitely presented groups”, “$p$-groups”, “matrix groups” and “representations of groups” are lively and active fields of research. The talks ...
    • 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 ...
    • 1120a - Finite-dimensional Approximations of Discrete Groups 

      [OWR-2011-26] (2011) - (15 May - 21 May 2011)
      The main objective of this workshop was to bring together experts from various fields, which are all interested in finite and finite-dimensional approximations of infinite algebraic and analytic objects, such as groups, ...
    • 1504 - Geometric Topology 

      [OWR-2015-3] (2015) - (18 Jan - 24 Jan 2015)
      Geometric topology has seen significant advances in the understanding and application of infinite symmetries and of the principles behind them. On the one hand, for advances in (geometric) group theory, tools from algebraic ...
    • 2138 - Homotopical Algebra and Higher Structures (hybrid meeting) 

      [OWR-2021-46] (2021) - (19 Sep - 25 Sep 2021)
      Homotopical algebra and higher category theory play an increasingly important role in pure mathematics, and higher methods have seen tremendous development in the last couple of decades. The talks delivered at the workshop ...
    • Lax Comma Categories of Ordered Sets 

      [OWP-2023-08] Clementino, Maria Manuel; Lucatelli Nunes, Fernando (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)
      Let $\mathsf{Ord} $ be the category of (pre)ordered sets. Unlike $\mathsf{Ord}/X$, whose behaviour is well-known, not much can be found in the literature about the lax comma 2-category $\mathsf{Ord} //X$. In this paper ...
    • Logical Relations for Partial Features and Automatic Differentiation Correctness 

      [OWP-2023-09] Lucatelli Nunes, Fernando; Vákár, Matthijs (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)
      We present a simple technique for semantic, open logical relations arguments about languages with recursive types, which, as we show, follows from a principled foundation in categorical semantics. We demonstrate how it can ...
    • 1336 - Matrix Factorizations in Algebra, Geometry, and Physics 

      [OWR-2013-44] (2013) - (01 Sep - 07 Sep 2013)
      Let $W$ be a polynomial or power series in several variables, or, more generally, a nonzero element in some regular commutative ring. A matrix factorization of $W$ consists of a pair of square matrices $X$ and $Y$ of the ...
    • 1409c - Mini-Workshop: Batalin-Vilkovisky Algebras, Operads, and Hopf Algebroids 

      [OWR-2014-11] (2014) - (23 Feb - 01 Mar 2014)
      This workshop brought together 17 researchers whose work involves Batalin–Vilkovisky algebras, operads, and related structures such as Gerstenhaber algebras and cyclic homology. It featured introductory lectures on some ...
    • 0908a - Mini-Workshop: Category Theory and Related Fields: History and Prospects 

      [OWR-2009-8] (2009) - (15 Feb - 21 Feb 2009)
      he workshop concerned various topics in the history of category theory and related fields, paying attention to some extent also to open questions, present and possible future development.