Higher-dimensional rewriting strategies and acyclic polygraphs Yves Guiraud Philippe Malbos Institut Camille Jordan, Lyon. Tianjin 6 July 2010
|
|
- Robyn Hudson
- 6 years ago
- Views:
Transcription
1 Higher-dimensional rewriting strategies and acyclic polygraphs Yes Girad Philippe Malbos Institt Camille Jordan, Lyon Tianjin 6 Jly 2010
2 1 Introdction
3 11 Motiation Problem: Monoid M as a celllar object One 1-cell x for eery x in M Contract triangles x xy y for eery x, y in M Qestion: Bild a "complete celllar model" ie, free celllar object with the same homotopy type ie, cofibrant replacement (in a model category)
4 11 Motiation Problem: Monoid M as a celllar object One 1-cell x for eery x in M Contract triangles x xy y for eery x, y in M Qestion: Bild a "complete celllar model" ie, free celllar object with the same homotopy type ie, cofibrant replacement (in a model category) Lower dimensions: Use a presentation M = X R x One 1-cell for eery x in X One 2-cell for eery relation = in R Higher dimensions: Use rewriting theory
5 12 Rewriting theory Rewriting: Theory of comptational properties of presentations [The 14, Newman 42] Example: A = a aa = a A = a aa φ a ( ) aaaaa φaaa aφaa aaφa aaaφ aaaa φaa aφa aaφ aaa φa aφ aa φ a
6 12 Rewriting theory Rewriting: Theory of comptational properties of presentations [The 14, Newman 42] Example: A = a aa = a A = a aa φ a ( ) aaaaa φaaa aφaa aaφa aaaφ aaaa φaa aφa aaφ aaa φa aφ aa φ a "Good" comptational properties: Termination: Reach "normal form" a eentally Conflence: Eery path leads to a Conergence (= termination + conflence) Soltion for the word problem [The] Cofibrant replacement for A
7 13 The dimensions of rewriting Dimensions of the cofibrant replacement: 0 1 ( ) n n + 1 n + 2 ( ) n + p Syntactical dimensions Original object Homotopical dimensions Rewriting Syntactical dimensions: Comptads [Street, Batanin, Makkai] Polygraphs [Brroni, Métayer, Girad, Malbos] Homotopical dimensions: General setting for reslts by Sqier, Kobayashi, Otto, etc
8 2 The syntactical dimensions of rewriting
9 21 Presentations of categories by 2-polygraphs Monoid: category with one 0-cell Presentation of category C: Objects and generating morphisms (a graph X) Commtatie diagrams x c a a y b z y b (relations R in free category X with C X /R)
10 21 Presentations of categories by 2-polygraphs Monoid: category with one 0-cell Presentation of category C: Objects and generating morphisms (a graph X) Commtatie diagrams x c a a y b 2-Polygraph Σ: rewriting presentation of a category z y b (relations R in free category X with C X /R) Graph Σ 1 Free category Σ 1 Celllar extension Σ 2 of Σ 1 = Set of 2-cells Presented category: Σ = Σ 1 /Σ 2 φ with, Σ 1 Example: The 2-polygraph As 2 = (, a, aa φ a) is a presentation of A
11 22 Rewriting theory: normal forms and termination Let Σ be a 2-polygraph Rewriting step: w φw w with φ : in Σ 2 Normal form: 1-cell Σ 1 st f Intition: Normal forms sed to represent elements of Σ in Σ 1 Condition: Σ 1! comptable normal form in class Σ
12 22 Rewriting theory: normal forms and termination Let Σ be a 2-polygraph Rewriting step: w φw w with φ : in Σ 2 Normal form: 1-cell Σ 1 st f Intition: Normal forms sed to represent elements of Σ in Σ 1 Condition: Σ 1! comptable normal form in class Σ Termination: infinite seqence of rewriting steps 1 f 1 2 f 2 3 f 3 ( ) f n 1 n f n ( ) Conseqence: Termination Existence of normal forms Example: As 2 = (a, aa φ a) terminates a n a n 1 ( ) a 3 a 2 a
13 23 Rewriting theory: branchings and conflence f 1 ( ) f p p Branching: pair of rewriting seqences g 1 ( ) g q w q Local: p = q = 1 f 1 ( ) Conflent: g 1 ( ) f p p h 1 ( ) h r g q w q k1 ( ) k s
14 23 Rewriting theory: branchings and conflence f 1 ( ) f p p Branching: pair of rewriting seqences g 1 ( ) g q w q Local: p = q = 1 f 1 ( ) f p p h 1 ( ) h r Conflent: g 1 ( ) g q w q k1 ( ) k s φa aa φ Example: a conflent local branching in As 2 aaa a aφ aa φ (Local) conflence: eery (local) branching is conflent Conseqence: Conflence Unicity of normal forms
15 24 Rewriting theory: conergence Conergence: termination + conflence Conergence = Existence and nicity of normal forms Conergence + finiteness = idem + comptability Class FCP: Categories admitting a finite conergent presentation
16 24 Rewriting theory: conergence Conergence: termination + conflence Conergence = Existence and nicity of normal forms Conergence + finiteness = idem + comptability Class FCP: Categories admitting a finite conergent presentation Theorem [Newman s lemma] Termination + Local conflence = Conergence Critical branchings: local branching with a "minimal oerlapping" of 2-cells aaa φa aa a aφ aa Theorem Termination + Conflence of critical branchings = Conergence
17 25 2-Categories 2-category: category enriched in categories Informally: 1-cells: x y with one composition 0 = x y z 2-cells: x f y with two compositions f 0 g = x f y g Exchange relation: (f 1 g) 0 (h 1 k) = (f 0 h) 1 (g 0 k) for z and f 1 g = f g h k x f g w y
18 25 2-Categories 2-category: category enriched in categories Informally: 1-cells: x y with one composition 0 = x y z 2-cells: x f y with two compositions f 0 g = x f y g Exchange relation: (f 1 g) 0 (h 1 k) = (f 0 h) 1 (g 0 k) for z and f 1 g = f g h k x f g w y Example: The free 2-category Σ generated by a 2-polygraph Σ Example: a pro(p) P one 0-cell 1-cells: natral nmbers with composition m 0 n = m + n 2-cells: morphisms of P with compositions f 0 g = f g f 1 g = g f
19 26 Presentations of 2-categories by 3-polygraphs 3-Polygraphs: 2-polygraph Σ 2 Free 2-category Σ 2 Celllar extension Σ 3 of Σ 2 = Set of 3-cells Presented 2-category: Σ = Σ 2 /Σ 3 f ω x g y with f, g Σ 2
20 26 Presentations of 2-categories by 3-polygraphs 3-Polygraphs: 2-polygraph Σ 2 Free 2-category Σ 2 Celllar extension Σ 3 of Σ 2 = Set of 3-cells Presented 2-category: Σ = Σ 2 /Σ 3 f ω x g y with f, g Σ 2 Diagrammatic representations: Generating 2-cells: Composed 2-cells: Generating 3-cells:
21 27 Examples of 3-polygraphs: presentations of pros Associatie algebras: a presentation As 3 of the pro As ( FCP) 0-cell: 1-cell: 2-cell: 3-cell:
22 27 Examples of 3-polygraphs: presentations of pros Associatie algebras: a presentation As 3 of the pro As ( FCP) 0-cell: 1-cell: 2-cell: 3-cell: Monoids: a presentation Mon 3 of the pro Mon ( FCP) 2-cells: 3-cells:
23 27 Examples of 3-polygraphs: presentations of pros Associatie algebras: a presentation As 3 of the pro As ( FCP) 0-cell: 1-cell: 2-cell: 3-cell: Monoids: a presentation Mon 3 of the pro Mon ( FCP) 2-cells: 3-cells: Bialgebras: a presentation of the pro of bialgebras ( FCP) 2-cells: (some) 3-cells:
24 27 Examples of 3-polygraphs: presentations of pros Associatie algebras: a presentation As 3 of the pro As ( FCP) 0-cell: 1-cell: 2-cell: 3-cell: Monoids: a presentation Mon 3 of the pro Mon ( FCP) 2-cells: 3-cells: Bialgebras: a presentation of the pro of bialgebras ( FCP) 2-cells: (some) 3-cells: Braids: a presentation of the pro of braids (FCP: open problem) 2-cells: 3-cells:
25 28 Examples of 3-polygraphs in compter science First-order fnctional program: type nat = 0 S(nat) fonction pls : nat * nat > nat pls(0, n) > n pls(s(m), n) > S(pls(m, n))
26 28 Examples of 3-polygraphs in compter science First-order fnctional program: type nat = 0 S(nat) fonction pls : nat * nat > nat pls(0, n) > n pls(s(m), n) > S(pls(m, n)) Polygraphic ersion: 2-cells: 3-cells: Reslts in program analysis: termination [Girad 06], complexity [Bonfante-Girad 09]
27 28 Examples of 3-polygraphs in compter science First-order fnctional program: type nat = 0 S(nat) fonction pls : nat * nat > nat pls(0, n) > n pls(s(m), n) > S(pls(m, n)) Polygraphic ersion: 2-cells: 3-cells: Reslts in program analysis: termination [Girad 06], complexity [Bonfante-Girad 09] Tring machines [Brroni, Bonfante-Girad 09] Petri nets [Girad 06]
28 29 Presentations of n-categories by polygraphs n-category: category enriched in (n 1)-categories k-cells between parallel (k 1)-cells with k compositions exchange relations
29 29 Presentations of n-categories by polygraphs n-category: category enriched in (n 1)-categories k-cells between parallel (k 1)-cells with k compositions exchange relations (n + 1)-Polygraph Σ: presentation of an n-category n-polygraph Σ n free n-category Σ n celllar extension Σ n+1 of Σ n
30 29 Presentations of n-categories by polygraphs n-category: category enriched in (n 1)-categories k-cells between parallel (k 1)-cells with k compositions exchange relations (n + 1)-Polygraph Σ: presentation of an n-category n-polygraph Σ n free n-category Σ n celllar extension Σ n+1 of Σ n Example: the 4-polygraph Mon 4 is Mon 3 extended with 4-cells Presentation of the 2-pro MonCat of monoidal categories [Girad-Malbos 10]
31 3 The homotopical dimensions of rewriting
32 31 The informal idea Problem: category C "homotopically eqialent" free n-category Σ Presentation of C: 2-polygraph Σ Graph Σ 1 Celllar extension Σ 2 of Σ 1 st C Σ 1 /Σ 2 = pasting, sch as φ ψ ξ with φ, ψ, ξ in Σ 2
33 31 The informal idea Problem: category C "homotopically eqialent" free n-category Σ Presentation of C: 2-polygraph Σ Graph Σ 1 Celllar extension Σ 2 of Σ 1 st C Σ 1 /Σ 2 = pasting, sch as φ ψ ξ with φ, ψ, ξ in Σ 2 α Problem: Another pasting c from to β φ Soltion: Fill the 2-sphere with a 3-cell ξ ψ ω α c β
34 32 Higher presentations 2-fold presentation of C: 3-polygraph Σ 2-polygraph Σ 2 Free 2-category Σ 2 Free track 2-category Σ 2 Presented 1-category Σ f f f
35 32 Higher presentations 2-fold presentation of C: 3-polygraph Σ 2-polygraph Σ 2 Free 2-category Σ 2 Free track 2-category Σ 2 Presented 1-category Σ f f Homotopy basis Σ 3 of Σ 2 = Celllar extension of Σ 2 st f f g in Σ 2 f W g in Σ 3
36 32 Higher presentations 2-fold presentation of C: 3-polygraph Σ 2-polygraph Σ 2 Free 2-category Σ 2 Free track 2-category Σ 2 Presented 1-category Σ f f Homotopy basis Σ 3 of Σ 2 = Celllar extension of Σ 2 st f f g in Σ 2 f W g in Σ 3 n-fold presentation of C: (n + 1)-polygraph Σ (n 1)-fold presentation Σ n Homotopy basis Σ n of Σ n
37 33 The main reslt Theorem [Girad-Malbos 10] If a category C admits a conergent presentation, then C admits an n-fold presentation, for eery n N
38 33 The main reslt Theorem [Girad-Malbos 10] If a category C admits a conergent presentation, then C admits an n-fold presentation, for eery n N Class FDT n : Categories admitting a finite (n + 1)-fold presentation FDT 1 : finite generating graph FDT 0 : finite presentation FDT 1 : finite presentation + homotopy basis = finite deriation type (FDT [Sqier 94])
39 33 The main reslt Theorem [Girad-Malbos 10] If a category C admits a conergent presentation, then C admits an n-fold presentation, for eery n N Class FDT n : Categories admitting a finite (n + 1)-fold presentation FDT 1 : finite generating graph FDT 0 : finite presentation FDT 1 : finite presentation + homotopy basis = finite deriation type (FDT [Sqier 94]) Corollary FCP = FDT n Corollary [Sqier 94] For monoids FCP = FDT
40 34 Key element of the proof: normalisation strategies Normalisation strategy: coherent choice of normal forms in eery dimension In eery class Σ, a representatie 1-cell û Σ 1 For eery 1-cell in Σ 1, a 2-cell σ û in Σ 2
41 34 Key element of the proof: normalisation strategies Normalisation strategy: coherent choice of normal forms in eery dimension In eery class Σ, a representatie 1-cell û Σ 1 For eery 1-cell in Σ 1, a 2-cell σ û in Σ 2 For eery 2-cell f : in Σ 2, a 3-cell in Σ 3 f σ σ f σ û
42 34 Key element of the proof: normalisation strategies Normalisation strategy: coherent choice of normal forms in eery dimension In eery class Σ, a representatie 1-cell û Σ 1 For eery 1-cell in Σ 1, a 2-cell σ û in Σ 2 For eery 2-cell f : in Σ 2, a 3-cell in Σ 3 f σ σ f σ û For eery 3-cell A : f g in Σ 3, a 4-cell in Σ 4 f W g σ σ g σ û f σ σ f σ W σ û Proposition: Normalisation strategies Homotopy bases
43 35 Indction start: the 2-fold presentation of critical branchings Theorem [Girad-Malbos 09, 10]: If Σ is a conergent 2-polygraph then its critical branchings generate a homotopy basis Σ 3 of Σ
44 35 Indction start: the 2-fold presentation of critical branchings Theorem [Girad-Malbos 09, 10]: If Σ is a conergent 2-polygraph then its critical branchings generate a homotopy basis Σ 3 of Σ Example: Let As 2 = ( ) a, aa φ a = (, ) Define σ as the rightmost normalisation strategy: σ a = 1 a σ aa = φ = σ aaa = aφ 1 φ =
45 35 Indction start: the 2-fold presentation of critical branchings Theorem [Girad-Malbos 09, 10]: If Σ is a conergent 2-polygraph then its critical branchings generate a homotopy basis Σ 3 of Σ Example: Let As 2 = ( ) a, aa φ a = (, ) Define σ as the rightmost normalisation strategy: σ a = 1 a σ aa = φ = σ aaa = aφ 1 φ = Define Σ 3 : one critical branching (φa, aφ) (** Conflence **) aaa φa aφ aa σ aa ω a or aa σ aa or Define σ φa = and extend σ to eery 2-cell f (**Termination**)
46 36 Indction: the n-fold presentation of n-fold critical branchings Theorem [Girad-Malbos 10]: If Σ is a conergent 2-polygraph then its n-fold critical branchings form a homotopy basis Σ n+1 of Σ n
47 36 Indction: the n-fold presentation of n-fold critical branchings Theorem [Girad-Malbos 10]: If Σ is a conergent 2-polygraph then its n-fold critical branchings form a homotopy basis Σ n+1 of Σ n Example: As 2 = ( ) [ ] [ ], As 3 = As 2 As 4 = As 3 aaaa aaa aaa aaa
48 36 Indction: the n-fold presentation of n-fold critical branchings Theorem [Girad-Malbos 10]: If Σ is a conergent 2-polygraph then its n-fold critical branchings form a homotopy basis Σ n+1 of Σ n Example: As 2 = ( ) [ ] [ ], As 3 = As 2 As 4 = As 3 aaaa aaa aaa aaa Corollary: If Σ has no n-fold critical branchings then Σ n is "aspherical" ie Σ n is a cofibrant replacement for Σ Corollary: If Σ has n-fold critical branchings for eery n then Σ is a cofibrant replacement for Σ
49 37 Link with homological finiteness condition FP n Class FP n : Categories C sch that the triial C-modle Z admits a projectie resoltion M n M n 1 ( ) M 1 M 0 Z 0
50 37 Link with homological finiteness condition FP n Class FP n : Categories C sch that the triial C-modle Z admits a projectie resoltion M n M n 1 ( ) M 1 M 0 Z 0 Theorem [Girad-Malbos 10]: FDT n = FP n+2 Proof: C[Σ n+2 ] C[Σ n+1 ] C[Σ n ] C[Σ 1 ] C[Σ 0 ] Z 0 Differentials: sorce target Contracting homotopies: normalisation strategy Corollary [Sqier 87]: For monoids FCP = FP 3
Higher-dimensional normalisation strategies for acyclicity
Higher-dimensional normalisation strategies or acyclicity Yes Girad, Philippe Malbos To cite this ersion: Yes Girad, Philippe Malbos. Higher-dimensional normalisation strategies or acyclicity. Adances
More informationHomotopical methods in polygraphic rewriting Yves Guiraud and Philippe Malbos
Homotopical methods in polygraphic rewriting Yves Guiraud and Philippe Malbos Categorical Computer Science, Grenoble, 26/11/2009 References Higher-dimensional categories with finite derivation type, Theory
More informationCoherence in monoidal track categories
Coherence in monoidal track categories Yves Guiraud Philippe Malbos INRIA Université Lyon 1 Institut Camille Jordan Institut Camille Jordan guiraud@math.univ-lyon1.fr malbos@math.univ-lyon1.fr Abstract
More informationCoherent presentations of Artin groups
Coherent presentations of Artin groups Philippe Malbos INRIA - πr 2, Laboratoire Preuves, Programmes et Systèmes, Université Paris Diderot & Institut Camille Jordan, Université Claude Bernard Lyon 1 Joint
More informationFive Basic Concepts of Axiomatic Rewriting Theory
Fie Basic Concepts of Axiomatic Rewriting Theory Pal-André Melliès Institt de Recherche en Informatiqe Fondamentale (IRIF) CNRS, Uniersité Paris Diderot Abstract In this inited talk, I will reiew fie basic
More informationHigher-dimensional categories with finite derivation type
Higher-dimensional categories with finite derivation type Yves Guiraud Philippe Malbos INRIA Nancy Université Lyon 1 yves.guiraud@loria.fr malbos@math.univ-lyon1.fr Abstract We study convergent (terminating
More informationA Homotopical Completion Procedure with Applications to Coherence of Monoids
A Homotopical Completion Procedre with Applications to Coherence of Monoids Yves Girad 1, Philippe Malbos 2, and Samel Mimram 3 1 Laboratoire Preves, Programmes et Systèmes, INRIA, Université Paris 7 yves.girad@pps.niv-paris-diderot.fr
More informationConvergent presentations and polygraphic resolutions of associative algebras
Convergent presentations and polygraphic resolutions of associative algebras Yves Guiraud Eric Hoffbeck Philippe Malbos Abstract Several constructive homological methods based on noncommutative Gröbner
More informationNotes on Homological Algebra
Notes on Homological Algebra Marisz Wodzicki December 1, 2016 x 1 Fondations 1.1 Preliminaries 1.1.1 A tacit assmption is that A, B,..., are abelian categories, i.e., additive categories with kernels,
More informationIdentities among relations for polygraphic rewriting
Identities amon relations for polyraphic rewritin July 6, 2010 References: (P M, Y Guiraud) Identities amon relations for hiher-dimensional rewritin systems, arxiv:09104538, to appear; (P M, Y Guiraud)
More informationChords in Graphs. Department of Mathematics Texas State University-San Marcos San Marcos, TX Haidong Wu
AUSTRALASIAN JOURNAL OF COMBINATORICS Volme 32 (2005), Pages 117 124 Chords in Graphs Weizhen G Xingde Jia Department of Mathematics Texas State Uniersity-San Marcos San Marcos, TX 78666 Haidong W Department
More informationCoherent presentations of Artin monoids
Coherent presentations of Artin monoids Stéphane Gaussent, Yves Guiraud, Philippe Malbos To cite this version: Stéphane Gaussent, Yves Guiraud, Philippe Malbos. Coherent presentations of Artin monoids.
More informationHomotopy Automorphisms of Operads & Grothendieck-Teichmüller Groups
Homotopy Automorphisms of Operads & Grothendieck-Teichmüller Groups Benoit Fresse Université Lille 1 GDO, Isaac Newton Institute March 5, 2013 Reminder: The notion of an E n -operad refers to a class of
More information9. Tensor product and Hom
9. Tensor prodct and Hom Starting from two R-modles we can define two other R-modles, namely M R N and Hom R (M, N), that are very mch related. The defining properties of these modles are simple, bt those
More informationResearch Article Permanence of a Discrete Predator-Prey Systems with Beddington-DeAngelis Functional Response and Feedback Controls
Hindawi Pblishing Corporation Discrete Dynamics in Natre and Society Volme 2008 Article ID 149267 8 pages doi:101155/2008/149267 Research Article Permanence of a Discrete Predator-Prey Systems with Beddington-DeAngelis
More informationAuslander-Yoneda algebras and derived equivalences. Changchang Xi ( ~) ccxi/
International Conference on Operads and Universal Algebra, Tianjin, China, July 5-9, 2010. Auslander- and derived Changchang Xi ( ~) xicc@bnu.edu.cn http://math.bnu.edu.cn/ ccxi/ Abstract In this talk,
More informationLECTURE 2: THE THICK SUBCATEGORY THEOREM
LECTURE 2: THE THICK SUBCATEGORY THEOREM 1. Introduction Suppose we wanted to prove that all p-local finite spectra of type n were evil. In general, this might be extremely hard to show. The thick subcategory
More informationON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES
ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES CLEMENS BERGER AND IEKE MOERDIJK Abstract. We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given
More informationSémantique des jeux asynchrones et réécriture 2-dimensionnelle
Sémantique des jeux asynchrones et réécriture 2-dimensionnelle Soutenance de thèse de doctorat Samuel Mimram Laboratoire PPS (CNRS Université Paris Diderot) 1 er décembre 2008 1 / 64 A program is a text
More informationHigher Prop(erad)s. Philip Hackney, Marcy Robertson*, and Donald Yau UCLA. July 1, 2014
Higher Prop(erad)s Philip Hackney, Marcy Robertson*, and Donald Yau UCLA July 1, 2014 Philip Hackney, Marcy Robertson*, and Donald Yau (UCLA) Higher Prop(erad)s July 1, 2014 1 / 1 Intro: Enriched Categories
More informationRewriting Systems and Discrete Morse Theory
Rewriting Systems and Discrete Morse Theory Ken Brown Cornell University March 2, 2013 Outline Review of Discrete Morse Theory Rewriting Systems and Normal Forms Collapsing the Classifying Space Outline
More informationSign-reductions, p-adic valuations, binomial coefficients modulo p k and triangular symmetries
Sign-redctions, p-adic valations, binomial coefficients modlo p k and trianglar symmetries Mihai Prnesc Abstract According to a classical reslt of E. Kmmer, the p-adic valation v p applied to a binomial
More informationThe Brauer Manin obstruction
The Braer Manin obstrction Martin Bright 17 April 2008 1 Definitions Let X be a smooth, geometrically irredcible ariety oer a field k. Recall that the defining property of an Azmaya algebra A is that,
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
More informationOn oriented arc-coloring of subcubic graphs
On oriented arc-coloring of sbcbic graphs Alexandre Pinlo Alexandre.Pinlo@labri.fr LaBRI, Université Bordeax I, 351, Cors de la Libération, 33405 Talence, France Janary 17, 2006 Abstract. A homomorphism
More informationApproximate Solution of Convection- Diffusion Equation by the Homotopy Perturbation Method
Gen. Math. Notes, Vol. 1, No., December 1, pp. 18-114 ISSN 19-7184; Copyright ICSRS Pblication, 1 www.i-csrs.org Available free online at http://www.geman.in Approximate Soltion of Convection- Diffsion
More informationHomotopy type theory: towards Grothendieck s dream
Homotopy type theory: towards Grothendieck s dream Mike Shulman 1 The Univalent Foundations Project 2 1 University of San Diego 2 Institute for Advanced Study Topos theory Homotopy type theory? Outline
More informationInjective Braids, Braided Operads and Double Loop Spaces
Injective Braids, Braided Operads and Double Loop Spaces Mirjam Solberg Master s Thesis in Topology Department of Mathematics University of Bergen Norway June 2011 Acknowledgements First of all, I want
More informationThe positive complete model structure and why we need it
The positive complete model structure and why we need it Hood Chatham Alan told us in his talk about what information we can get about the homotopical structure of S G directly. In particular, he built
More informationCategorical models of homotopy type theory
Categorical models of homotopy type theory Michael Shulman 12 April 2012 Outline 1 Homotopy type theory in model categories 2 The universal Kan fibration 3 Models in (, 1)-toposes Homotopy type theory
More informationIndCoh Seminar: Ind-coherent sheaves I
IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of
More informationCONVERGENCE OF THE HOMOLOGY SPECTRAL SEQUENCE OF A COSIMPLICIAL SPACE. 1. Introduction
CONVERGENCE OF THE HOMOLOGY SPECTRAL SEQUENCE OF A COSIMPLICIAL SPACE BROOKE E. SHIPLEY 1. Introdction In this paper e stdy the convergence properties of the homology spectral seqence of a cosimplicial
More informationDirect linearization method for nonlinear PDE s and the related kernel RBFs
Direct linearization method for nonlinear PDE s and the related kernel BFs W. Chen Department of Informatics, Uniersity of Oslo, P.O.Box 1080, Blindern, 0316 Oslo, Norway Email: wenc@ifi.io.no Abstract
More informationElements of Coordinate System Transformations
B Elements of Coordinate System Transformations Coordinate system transformation is a powerfl tool for solving many geometrical and kinematic problems that pertain to the design of gear ctting tools and
More informationThe Lehmer matrix and its recursive analogue
The Lehmer matrix and its recrsive analoge Emrah Kilic, Pantelimon Stănică TOBB Economics and Technology University, Mathematics Department 0660 Sogtoz, Ankara, Trkey; ekilic@etedtr Naval Postgradate School,
More informationGeometry of Interaction
Linear logic, Ludics, Implicit Complexity, Operator Algebras Geometry of Interaction Laurent Regnier Institut de Mathématiques de Luminy Disclaimer Syntax/Semantics Syntax = nite (recursive) sets Semantics
More informationNetwork Theory III: Bayesian Networks, Information and Entropy. John Baez, Brendan Fong, Tobias Fritz, Tom Leinster
Network Theory III: Bayesian Networks, Information and Entropy John Baez, Brendan Fong, Tobias Fritz, Tom Leinster Given finite sets X and Y, a stochastic map f : X Y assigns a real number f yx to each
More informationarxiv: v1 [math.co] 10 Nov 2010
arxi:1011.5001 [math.co] 10 No 010 The Fractional Chromatic Nmber of Triangle-free Graphs with 3 Linyan L Xing Peng Noember 1, 010 Abstract Let G be any triangle-free graph with maximm degree 3. Staton
More information4.2 First-Order Logic
64 First-Order Logic and Type Theory The problem can be seen in the two qestionable rles In the existential introdction, the term a has not yet been introdced into the derivation and its se can therefore
More informationDerivatives of the identity functor and operads
University of Oregon Manifolds, K-theory, and Related Topics Dubrovnik, Croatia 23 June 2014 Motivation We are interested in finding examples of categories in which the Goodwillie derivatives of the identity
More information10 Excision and applications
22 CHAPTER 1. SINGULAR HOMOLOGY be a map of short exact sequences of chain complexes. If two of the three maps induced in homology by f, g, and h are isomorphisms, then so is the third. Here s an application.
More informationThe Geometry and Topology of Groups
The Geometry and Topology of Groups Brent Eeritt ersion March 3, 2005 Contents 1. Clockwork topology. 2. From 2-complexes to groups. 3. From 2-complexes to groups: more adanced features. 4. Presentations.
More informationCODIMENSION AND REGULARITY OVER COHERENT SEMILOCAL RINGS
COMMUNICATIONS IN ALGEBRA, 29(10), 4811 4821 (2001) CODIMENSION AND REGULARITY OVER COHERENT SEMILOCAL RINGS Gaoha Tang, 1,2 Zhaoyong Hang, 1 and Wenting Tong 1 1 Department of Mathematics, Nanjing University,
More informationON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES
The Quarterly Journal of Mathematics Quart. J. Math. 64 (2013), 805 846; doi:10.1093/qmath/hat023 ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES by CLEMENS BERGER (Université de Nice, Lab. J.-A. Dieudonné,
More informationThe theory of calculi with explicit substitutions revisited
The theory of calcli with explicit sbstittions reisited Delia Kesner To cite this ersion: Delia Kesner. The theory of calcli with explicit sbstittions reisited. 2007. HAL Id: hal-00111285
More informationZig-zag and Extraction Families in Non-duplicating Stable Deterministic Residual Structures
Zigzag and Extraction Families in Nondplicating Stable Deterministic Residal Strctres Zrab Khasidashili and John Glaert School of Information Systems, UEA Norwich NR4 7TJ England zrab@sys.ea.ac.k, jrwg@sys.ea.ac.k
More informationCubical categories for homotopy and rewriting
Cubical categories for homotopy and rewriting Maxime Lucas To cite this version: Maxime Lucas. Cubical categories for homotopy and rewriting. Algebraic Topology [math.at]. Université Paris 7, Sorbonne
More informationAlgebraic Models for Homotopy Types III Algebraic Models in p-adic Homotopy Theory
Algebraic Models for Homotopy Types III Algebraic Models in p-adic Homotopy Theory Michael A. Mandell Indiana University Young Topologists Meeting 2013 July 11, 2013 M.A.Mandell (IU) Models in p-adic Homotopy
More informationOPERAD BIMODULE CHARACTERIZATION OF ENRICHMENT. V2
OPERAD BIMODULE CHARACTERIZATION OF ENRICHMENT. 2 STEFAN FORCEY 1. Idea In a recent talk at CT06 http://faculty.tnstate.edu/sforcey/ct06.htm and in a research proposal at http://faculty.tnstate.edu/sforcey/class_home/research.htm
More informationErrata to Model Categories by Mark Hovey
Errata to Model Categories by Mark Hovey Thanks to Georges Maltsiniotis, maltsin@math.jussieu.fr, for catching most of these errors. The one he did not catch, on the non-smallness of topological spaces,
More informationFiniteness conditions and index in semigroup theory
Finiteness conditions and index in semigroup theory Robert Gray University of Leeds Leeds, January 2007 Robert Gray (University of Leeds) 1 / 39 Outline 1 Motivation and background Finiteness conditions
More informationPHASE PLANE DIAGRAMS OF DIFFERENCE EQUATIONS. 1. Introduction
PHASE PLANE DIAGRAMS OF DIFFERENCE EQUATIONS TANYA DEWLAND, JEROME WESTON, AND RACHEL WEYRENS Abstract. We will be determining qalitatie featres of a discrete dynamical system of homogeneos difference
More informationGraduate algebraic K-theory seminar
Seminar notes Graduate algebraic K-theory seminar notes taken by JL University of Illinois at Chicago February 1, 2017 Contents 1 Model categories 2 1.1 Definitions...............................................
More informationThe synthetic theory of -categories vs the synthetic theory of -categories
Emily Riehl Johns Hopkins University The synthetic theory of -categories vs the synthetic theory of -categories joint with Dominic Verity and Michael Shulman Homotopy Type Theory Electronic Seminar Talks
More informationThe Minimal Estrada Index of Trees with Two Maximum Degree Vertices
MATCH Commnications in Mathematical and in Compter Chemistry MATCH Commn. Math. Compt. Chem. 64 (2010) 799-810 ISSN 0340-6253 The Minimal Estrada Index of Trees with Two Maximm Degree Vertices Jing Li
More informationAbstracting away from cell complexes
Abstracting away from cell complexes Michael Shulman 1 Peter LeFanu Lumsdaine 2 1 University of San Diego 2 Stockholm University March 12, 2016 Replacing big messy cell complexes with smaller and simpler
More informationConditions for Approaching the Origin without Intersecting the x-axis in the Liénard Plane
Filomat 3:2 (27), 376 377 https://doi.org/.2298/fil7276a Pblished by Faclty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Conditions for Approaching
More informationTOWARDS A THEORY OF REPRESENTATIONS. Christoph Kreitz and 'klaus Weihrauch 1)
TOWARDS A THEORY OF REPRESENTATIONS Christoph Kreitz and 'klas Weihrach 1) 1. Introdction Definitions of Type 2 comptability, i.e. comptability on sets with cardinality not greater than that of the contin:n,
More informationL 1 -smoothing for the Ornstein-Uhlenbeck semigroup
L -smoothing for the Ornstein-Uhlenbeck semigrop K. Ball, F. Barthe, W. Bednorz, K. Oleszkiewicz and P. Wolff September, 00 Abstract Given a probability density, we estimate the rate of decay of the measre
More informationRemarks on strongly convex stochastic processes
Aeqat. Math. 86 (01), 91 98 c The Athor(s) 01. This article is pblished with open access at Springerlink.com 0001-9054/1/010091-8 pblished online November 7, 01 DOI 10.1007/s00010-01-016-9 Aeqationes Mathematicae
More informationarxiv: v2 [math.at] 18 Sep 2008
TOPOLOGICAL HOCHSCHILD AND CYCLIC HOMOLOGY FOR DIFFERENTIAL GRADED CATEGORIES arxiv:0804.2791v2 [math.at] 18 Sep 2008 GONÇALO TABUADA Abstract. We define a topological Hochschild (THH) and cyclic (TC)
More informationMODEL STRUCTURES ON PRO-CATEGORIES
Homology, Homotopy and Applications, vol. 9(1), 2007, pp.367 398 MODEL STRUCTURES ON PRO-CATEGORIES HALVARD FAUSK and DANIEL C. ISAKSEN (communicated by J. Daniel Christensen) Abstract We introduce a notion
More informationKathryn Hess. Conference on Algebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009
Institute of Geometry, lgebra and Topology Ecole Polytechnique Fédérale de Lausanne Conference on lgebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009 Outline 1 2 3 4 of rings:
More informationarxiv: v1 [math.at] 18 May 2015
PRETTY RATIONAL MODELS FOR POINCARÉ DUALITY PAIRS HECTOR CORDOVA BULENS, PASCAL LAMBRECHTS, AND DON STANLEY arxiv:1505.04818v1 [math.at] 18 May 015 Abstract. We prove that a large class of Poincaré duality
More informationLECTURE X: KOSZUL DUALITY
LECTURE X: KOSZUL DUALITY Fix a prime number p and an integer n > 0, and let S vn denote the -category of v n -periodic spaces. Last semester, we proved the following theorem of Heuts: Theorem 1. The Bousfield-Kuhn
More informationAxiomatizing the Cyclic Interval Calculus
Axiomatizing the Cyclic Interal Calcls Jean-François Condotta CRIL-CNRS Uniersité d Artois 62300 Lens (France) condotta@cril.ni-artois.fr Gérard Ligozat LIMSI-CNRS Uniersité de Paris-Sd 91403 Orsay (France)
More informationTopology Hmwk 2 All problems are from Allen Hatcher Algebraic Topology (online) ch. 0 and ch 1
Topology Hmwk 2 All problems are from Allen Hatcher Algebraic Topology (online) ch. 0 and ch 1 Andrew Ma December 22, 2013 This assignment has been corrected post - grading. 0.29 In case the CW complex
More informationAlgebraic model structures
Algebraic model structures Emily Riehl Harvard University http://www.math.harvard.edu/~eriehl 18 September, 2011 Homotopy Theory and Its Applications AWM Anniversary Conference ICERM Emily Riehl (Harvard
More informationA Hodge decomposition spectral sequence for E n-homology
A Hodge decomposition spectral sequence for E n -homology Royal Institute of Technology, Stockholm Women in Homotopy Theory and Algebraic Geometry, Berlin, 14.09.2016 1 2 3 A Hodge spectral sequence for
More informationGraphs and Networks Lecture 5. PageRank. Lecturer: Daniel A. Spielman September 20, 2007
Graphs and Networks Lectre 5 PageRank Lectrer: Daniel A. Spielman September 20, 2007 5.1 Intro to PageRank PageRank, the algorithm reportedly sed by Google, assigns a nmerical rank to eery web page. More
More informationA few bridges between operational and denotational semantics of programming languages
A few bridges between operational and denotational semantics of programming languages Soutenance d habilitation à diriger les recherches Tom Hirschowitz November 17, 2017 Hirschowitz Bridges between operational
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationDiagrammatic Reasoning for Asynchronous Circuits
Diagrammatic Reasoning for Asynchronous ircuits Dan R. Ghica University of Birmingham Samson@60 Oxford, May 2013 How I met your Samson How I met your Samson why async? very high speed (+) very low power
More informationRestricted cycle factors and arc-decompositions of digraphs. J. Bang-Jensen and C. J. Casselgren
Restricted cycle factors and arc-decompositions of digraphs J. Bang-Jensen and C. J. Casselgren REPORT No. 0, 0/04, spring ISSN 0-467X ISRN IML-R- -0-/4- -SE+spring Restricted cycle factors and arc-decompositions
More informationCRITERIA FOR TOEPLITZ OPERATORS ON THE SPHERE. Jingbo Xia
CRITERIA FOR TOEPLITZ OPERATORS ON THE SPHERE Jingbo Xia Abstract. Let H 2 (S) be the Hardy space on the nit sphere S in C n. We show that a set of inner fnctions Λ is sfficient for the prpose of determining
More informationWaldhausen Additivity and Approximation in Quasicategorical K-Theory
Waldhausen Additivity and Approximation in Quasicategorical K-Theory Thomas M. Fiore partly joint with Wolfgang Lück, http://www-personal.umd.umich.edu/~tmfiore/ http://www.him.uni-bonn.de/lueck/ Motivation
More informationConfluence Algebras and Acyclicity of the Koszul Complex
Confluence Algebras and Acyclicity of the Koszul Complex Cyrille Chenavier To cite this version: Cyrille Chenavier. Confluence Algebras and Acyclicity of the Koszul Complex. Algebras and Representation
More informationCommutative ring objects in pro-categories and generalized Moore spectra
Commutative ring objects in pro-categories and generalized Moore spectra Daniel G. Davis, Tyler Lawson June 30, 2013 Abstract We develop a rigidity criterion to show that in simplicial model categories
More informationThe synthetic theory of -categories vs the synthetic theory of -categories
Emily Riehl Johns Hopkins University The synthetic theory of -categories vs the synthetic theory of -categories joint with Dominic Verity and Michael Shulman Vladimir Voevodsky Memorial Conference The
More informationTyped Kleene Algebra with Products and Iteration Theories
Typed Kleene Algebra with Prodcts and Iteration Theories Dexter Kozen and Konstantinos Mamoras Compter Science Department Cornell University Ithaca, NY 14853-7501, USA {kozen,mamoras}@cs.cornell.ed Abstract
More information1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity.
MacLane: Categories or Working Mathematician 1 Categories, Functors, and Natural Transormations 1.1 Axioms or Categories 1.2 Categories Discrete categories. A category is discrete when every arrow is an
More informationSpring, 2008 CIS 610. Advanced Geometric Methods in Computer Science Jean Gallier Homework 1, Corrected Version
Spring, 008 CIS 610 Adanced Geometric Methods in Compter Science Jean Gallier Homework 1, Corrected Version Febrary 18, 008; De March 5, 008 A problems are for practice only, and shold not be trned in.
More informationLOWÐDIMENSIONAL TOPOLOGY AND HIGHERÐORDER CATEGORIES
LOWÐDIMENSIONL TOPOLOGY ND HIGHERÐORDER TEGORIES ollaborators: Ross Street Iain itchison now at University o Melborne ndrž Joyal UniversitŽ d QŽbec ˆ MontrŽal Dominic Verity Macqarie University Todd Trimble
More informationLINEAR COMBINATIONS AND SUBSPACES
CS131 Part II, Linear Algebra and Matrices CS131 Mathematics for Compter Scientists II Note 5 LINEAR COMBINATIONS AND SUBSPACES Linear combinations. In R 2 the vector (5, 3) can be written in the form
More informationThe ς-semantics: A Comprehensive Semantics for Functional Programs
The ς-semantics: A Comprehensive Semantics for Fnctional Programs Olaf Chitil Lehrsthl für Informatik II, Aachen University of Technology Ahornstraße 55, 52056 Aachen, Germany chitil@informatik.rwth-aachen.de
More informationLisbon school July 2017: eversion of the sphere
Lisbon school July 2017: eversion of the sphere Pascal Lambrechts Pascal Lambrechts Lisbon school July 2017: eversion of the sphere 1 / 20 Lecture s goal We still want
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationEQUIVARIANT AND NONEQUIVARIANT MODULE SPECTRA
EQIVARIANT AND NONEQIVARIANT MODLE SPECTRA J. P. MAY Abstract. Let be a compact Lie group, let R be a commutative algebra over the sphere -spectrum S, and let R be its underlying nonequivariant algebra
More informationTriangulated Categories Part I
Triangulated Categories Part I Daniel Murfet April, 2007 Triangulated categories are important structures lying at the confluence of seeral exciting areas of mathematics (and een physics). Our notes on
More informationsset(x, Y ) n = sset(x [n], Y ).
1. Symmetric monoidal categories and enriched categories In practice, categories come in nature with more structure than just sets of morphisms. This extra structure is central to all of category theory,
More informationMutations of non-integer quivers: finite mutation type. Anna Felikson
Mutations of non-integer quivers: finite mutation type Anna Felikson Durham University (joint works with Pavel Tumarkin and Philipp Lampe) Jerusalem, December 0, 08 . Mutations of non-integer quivers:
More informationUndecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words
Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words Trlogh Neary Institte of Neroinformatics, University of Zürich and ETH Zürich, Switzerland tneary@ini.phys.ethz.ch
More informationThe ς-semantics: A Comprehensive Semantics for Functional Programs
The ς-semantics: A Comprehensive Semantics for Fnctional Programs Olaf Chitil Lehrsthl für Informatik II, Aachen University of Technology Ahornstraße 55, 52056 Aachen, Germany chitil@informatik.rwth-aachen.de
More informationHOMOTOPY BASES AND FINITE DERIVATION TYPE FOR SUBGROUPS OF MONOIDS
HOMOTOPY BASES AND FINITE DERIVATION TYPE FOR SUBGROUPS OF MONOIDS R. D. GRAY 1 School of Mathematics, University of East Anglia Norwich NR4 7TJ, U.K. Robert.D.Gray@uea.ac.uk A. MALHEIRO 2 Departamento
More informationErratum to: A Proof of Tsygan s Formality Conjecture for an Arbitrary Smooth Manifold
Erratum to: A Proof of Tsygan s Formality Conjecture for an Arbitrary Smooth Manifold Vasiliy A. Dolgushev arxiv:math/0703113v1 [math.qa] 4 Mar 2007 Abstract Boris Shoikhet noticed that the proof of lemma
More informationLecture Notes On THEORY OF COMPUTATION MODULE - 2 UNIT - 2
BIJU PATNAIK UNIVERSITY OF TECHNOLOGY, ODISHA Lectre Notes On THEORY OF COMPUTATION MODULE - 2 UNIT - 2 Prepared by, Dr. Sbhend Kmar Rath, BPUT, Odisha. Tring Machine- Miscellany UNIT 2 TURING MACHINE
More informationA fundamental inverse problem in geosciences
A fndamental inverse problem in geosciences Predict the vales of a spatial random field (SRF) sing a set of observed vales of the same and/or other SRFs. y i L i ( ) + v, i,..., n i ( P)? L i () : linear
More informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationNON-SYMMETRIC -AUTONOMOUS CATEGORIES
NON-SYMMETRIC -AUTONOMOUS CATEGORIES MICHAEL BARR 1. Introduction In [Barr, 1979] (hereafter known as SCAT) the theory of -autonomous categories is outlined. Basically such a category is a symmetric monoidal
More informationUniversal Algebra and Diagrammatic Reasoning
Universal Algebra and Diagrammatic Reasoning John Baez Geometry of Computation 2006 January 30 - Feburary 3 = figures by Aaron D. Lauda available online at http://math.ucr.edu/home/baez/universal/ 1 Universal
More information