Browsing by MSC "18"
Now showing items 120 of 49

Abstract Bivariant Cuntz Semigroups
[OWP201704] (Mathematisches Forschungsinstitut Oberwolfach, 20170213)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 KTheory
[OWR200646] (2006)  (08 Oct  14 Oct 2006)The “Arbeitsgemeinsschaft mit aktuellem Thema ‘Twisted KTheory’ ” gave an introduction to several aspects of twisted Ktheory. It started with a couple of different definitions of twisted Ktheory, suitable in situations ... 
0714  Arbeitsgemeinschaft: Conformal Field Theory
[OWR200717] (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
[OWR201118] (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
[OWP201205] (Mathematisches Forschungsinstitut Oberwolfach, 20120424) 
Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations
[OWP202306] (Mathematisches Forschungsinstitut Oberwolfach, 20230619)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
[OWR201147] (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
[OWR201327] (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
[OWR200944] (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
[OWR201637] (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
[OWR201137] (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
[OWP201114] (Mathematisches Forschungsinstitut Oberwolfach, 20110515)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  Finitedimensional Approximations of Discrete Groups
[OWR201126] (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 finitedimensional approximations of infinite algebraic and analytic objects, such as groups, ... 
1504  Geometric Topology
[OWR20153] (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)
[OWR202146] (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
[OWP202308] (Mathematisches Forschungsinstitut Oberwolfach, 20230619)Let $\mathsf{Ord} $ be the category of (pre)ordered sets. Unlike $\mathsf{Ord}/X$, whose behaviour is wellknown, not much can be found in the literature about the lax comma 2category $\mathsf{Ord} //X$. In this paper ... 
Logical Relations for Partial Features and Automatic Differentiation Correctness
[OWP202309] (Mathematisches Forschungsinstitut Oberwolfach, 20230619)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
[OWR201344] (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  MiniWorkshop: BatalinVilkovisky Algebras, Operads, and Hopf Algebroids
[OWR201411] (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  MiniWorkshop: Category Theory and Related Fields: History and Prospects
[OWR20098] (2009)  (15 Feb  21 Feb 2009)The workshop concerned various topics in the history of category theory and related ﬁelds, paying attention to some extent also to open questions, present and possible future development.