You can also download online some of my papers see also a graphically. Nuiten did his master in mathematics and physics at utrecht university with urs schreiber. Something id like to develop is the idea that transformations in the past in the relationships between logic, mathematics and physics were brought about by, and led to, a rethinking of the concepts of language, observation, world, knowledge, god once upon a time, etc. A book with the scientific results of the sfb 676 has been published in september 2018. The htc thesis database isnt a database its a pdf that lists every htc thesis title and author in chronological order.
Schreiber s research fields include the mathematical foundation of quantum field theory schreiber is a cocreator of the nlab, a wiki for research mathematicians and physicists working in higher. Lifting supersymmetric quantum mechanics to loop space yields the superstring. I appreciate all her contributions of time, ideas, and funding to make my ph. In thesis acknowledgement, you thank everyone who provided their enable you to healthy of recommendation, suggestions, as well as any other. We look at supersymmetric quantum mechanics on loop space and demonstrate how deformations here give rise to superstring background fields and boundary states. Interview of john baez and urs schreiber bruce bartlett january, 2007 the following interview was done while bruce bartlett, urs schreiber and myself were at a fields institute workshop on higher categories and their applications.
Sample dedication and acknowledgement for thesis writing. Nikolaus on higher categorical structures in geometry posted by urs schreiber. Bertrand toen, stacks and nonabelian cohomology pdf. An organization blog on math, physics and philosophy. I would like to thank urs schreiber for a number of conversations on 8topos, which greatly accelerated my understanding of the subject and its applications. A particle charged under a fiber bundle thereby turns into a string charged under a 2bundle, or gerbe. In real cohesive homotopy type theory, which will just be called real cohesion in the following, some well behaved topological spaces, like, for example, topological manifolds are supposed to be included in the theory. Urs schreiber, some thoughts on the future of modal homotopy type.
Yesterday thomas nikolaus former colleague of mine in hamburg has defended his phd. Joost nuiten did his phd student in mathematics at utrecht university with ieke moerdijk. My supervisors, frank herrlich and urs schreiber, offered great support in very different ways. These pages make extensive utilisation of the latest xhtml and css standards. Beginning around 2010, the entire text of honors theses can be obtained in the ohiolink electronic theses and dissertations center.
This is the personal area of urs schreiber within the nlab. Urs schreiber born 1974 is a mathematician specializing in the connection between. We thank urs schreiber, allen knutson and dmitry roytenberg for corrections and helpful conversations. A higher stacky perspective on chernsimons theory with hisham sati and urs schreiber, in mathematical aspects of. Schreiber obtained his doctorate from the university of duisburg essen in 2005 with a thesis supervised by robert graham and titled from loop space mechanics to nonabelian.
Rogers and urs schreiber, homology, homotopy and applications to appear. This provides a candidate for the wesszumino term for wzw models on unoriented surfaces. You can also listen to this interview in the form of an mp3 file. Thesis acknowledgment provides you with an chance to exhibit your gratitude for anyone who was with you inside your thesis writing task. The project was completed with a special colloquium in june 2018. Quantum gauge field theory in cohesive homotopy type theory. Gauge enhancement of super mbranes rational parameterized stable homotopy theory. They need to look wonderful in almost any standardscompliant modern browser. Ohio university thesis and dissertation i help to study. This solves the first of the three problems in modal type theory that had been posed in. Felix wellen just handed in a phd thesis that some readers here might find of interest, on the formalization of higher synthetic differential geometry in hott. During my studies i had a short interlude in particle physics research at cern.
He worked with me on networks such as electrical circuits, markov processes, and developed the formalism of decorated cospan categories. Communication studies graduate program in communication studies masters thesis topics. Urs schreiber proposed an interesting task to solve and was always available to give very helpful answers to my numerous questions, via email and at our meetings in bonn. Higher u1gerbe connections in geometric prequantization with christopher l. Unfortunately the only online access is to a very poor photocopy, here. For a list of students whose thesis work i have been supervising see here. Proceedings of the 19th ieee conference on logic in computer science lics04. Urs schreiber danny stevenson the theory of principal bundles makes sense in any infinitytopos, such as that of topological, of smooth, or of otherwise geometric infinitygroupoidsinfinity. I would also like to thank domenico fiorenza, who took the time to examine a developing paper, upon which this thesis is built, and o ered a number of suggestions on its direction. Category theory and biology since undertaking my phd dissertation research 19731977 i have been more interested in the foundational math underlying metabolisms of reactions than the reactions or enzymes and. Domenico fiorenzas curriculum vitae dipartimento di matematica.
Feynman diagrams, moduli spaces and the kdv hierarchy phd thesis. To use proofweb one does not need to install software locally, not even a. Higher tduality of super mbranes with hisham sati and urs schreiber advances in. Urs schreiber, from loop space mechanics to nonabelian strings, phd thesis 2005 arxiv. Prior to my phd, i obtained a msc degree in mathematics, where dr. Multiple m5branes, string 2connections, and 7d nonabelian chernsimons theory with hisham sati and urs schreiber, advances in theoretical and mathematical physics to appear. Anyway, what i considered in my phd thesis work was the algebraic deformation. So, we decided to call his paper higher gauge theory i. Formalizing cartan geometry in modal homotopy type theory. We define additional structure for a bundle gerbe that allows to extend the notion of surface holonomy to unoriented surfaces. In 2010 he received his phd for a dissertation on path dependencies and green technology in the automobile sector.
Anyway, marmolejo characterises makkais ultracategories there in a 2monadic way. Thesis acknowledgment provides you with an chance to demonstrate your gratitude for everyone who have been together with you in your thesis writing task. We also formulate a stacky version of the yangmills cauchy problem and show that its wellposedness is equivalent to a whole family of parametrized pde problems. Proofweb is a system for practising natural deduction on the computer. Before that, i did a bsc in both mathematics and in physics and astronomy. This stringification is nothing but categorification. Nikolaus on higher categorical structures in geometry. The repository has the ability to capture, index, store, disseminate and preserve etds submitted by the researchers. Master thesis, defended on august 31, 2010 1stacks and their function algebras with applications to 1lie theory herman stel thesis advisor.
Moduli spaces, feynman diagrams and the kdv hierarchy. The wesszumino term in twodimensional conformal field theory is best understood as a surface holonomy of a bundle gerbe. She has taught me, both consciously and unconsciously, how good experimental physics is done. David michael roberts and urs schreiber, the inner automorphism 3group of a strict 2group, journal of homotopy and related structures, vol. These papers were published in reputable scientific journals, and were alleged by their authors to culminate in a proposed theory for describing what occurred at and before the big bang. Schreiber obtained his doctorate from the university of duisburgessen in 2005 with a thesis supervised by robert graham and titled from loop space mechanics to nonabelian. We provide an abstract definition and an explicit construction of the stack of nonabelian yangmills fields on globally hyperbolic lorentzian manifolds. Formalizing cartan geometry in modal hott in schreiber. Unoriented wzw models and holonomy of bundle gerbes. The joy and enthusiasm she has for her research was contagious and motivational for. Higher categorical structures in geometry general theory and applications to qft. At about the same time, toby bartels came out with a paper based on the phd thesis he did with me.
Our work is based on the homotopy theoretical approach to stacks. In the present thesis the concept of graph edit distance is actually used for this task. Categorified symplectic geometry and the classical string. The sfb 676 has been funded by the dfg from 2006 to 2018. Stacks and their function algebras, master thesis, august 2010. If you download for windows which is what i use, youll get a zip file. This thesis is a study of various aspects of parametrised stable homotopy theory. It is almost, but not quite, entirely unlike the jape system. Dissertation prospectus defense nmctoastmasters writing a dissertation proposal vs. Quantization of strings and branes coupled to bf theory, with alejandro perez, adv. The structure of matter and spacetime, hamburg 2018, doi. In thesis acknowledgement, you thank everyone who provided their help you healthy of recommendation, suggestions, and then any other.
The stack of yangmills fields on lorentzian manifolds. Schreiber obtained his doctorate from the university of duisburgessen in 2005 with a thesis supervised by robert graham and titled from loop space mechanics to nonabelian strings work. Cartan geometry in modal homotopy type theory, phdthesis, 2017, kit. From loop space mechanics to nonabelian strings arxiv. John baez, urs schreiber, higher gauge theory, in categories in algebra. Crans, danny stevenson and urs schreiber, homotopy, homology and applications, 9 2007, 1015.
A higher stacky perspective on chernsimons theory with hisham sati. Proofweb is based on the coq proof assistant and runs inside any modern web browser. The bogdanov affair was an academic dispute regarding the legitimacy of a series of theoretical physics papers written by french twins igor and grichka bogdanov alternately spelt bogdanoff. Felix wellen, formalizing cartan geometry in modal homotopy type theory phd thesis, kit 2017. Think newton and the leibnizclarke correspondence, or the transformations of, say, 18801930. Prior to that, he was a research fellow at the university of luxembourgs institute of geography and spatial planning. Bohrification of local nets of observables, eptcs 95, 2012. The approach i am using is based on urs schreibers differential cohesion. Master degree in mathematics, 16 july 1996, sapienza university of rome. My thesis was titled coset spaces for quantum groups see abstract here. Regrettably, theyll most likely look horrible in older.