Home › Categories › Technology› Http://www.lix.polyt Echnique.fr/Labo/Sam Uel.Mimram/docs/mimr Am_rta2015.pdf

Http://www.lix.polyt Echnique.fr/Labo/Sam Uel.Mimram/docs/mimr Am_rta2015.pdf

mimram_rta2015.pdf
Preview of http://www.lix.polyt echnique.fr/Labo/Sam uel.Mimram/docs/mimr am_rta2015.pdf
🔗 Source: lix.polytechnique.fr
📊 Size: 513 KB
📄 Pages: 17 pages
⬇️ Downloads: 382

Summary

The authors introduce a notion of presentation of a category modulo a rewriting system, generalizing traditional techniques of rewriting modulo an equational theory. They provide coherence conditions on the original rewriting system and the equational one, ensuring that expected properties hold. The work is motivated by higher-dimensional rewriting theory and aims to overcome limitations in presentations of 2-categories. The authors illustrate their techniques on a non-trivial example and hint at a generalization for 2-categories, showing that under suitable coherence conditions, three constructions (restricting to normal forms, quotienting, and localizing) coincide, generalizing celebrated results on presentations of groups.

Download File

Description

The authors introduce a notion of presentation of a category modulo a rewriting system, generalizing traditional techniques of rewriting modulo an equational...

Technical Information

  • File Format: PDF
  • File Size: 513 KB
  • Pages: 17
  • Language: EN
  • Total Downloads: 382
  • Last Updated: 1 month ago

Document Overview

This PDF document about http://www.lix.polyt echnique.fr/Labo/Sam uel.Mimram/docs/mimr am_rta2015.pdf provides comprehensive information and guidance. Whether you're a beginner or advanced user, this resource offers valuable insights into http://www.lix.polyt echnique.fr/Labo/Sam uel.Mimram/docs/mimr am_rta2015.pdf.

Related Topics

If you're interested in http://www.lix.polyt echnique.fr/Labo/Sam uel.Mimram/docs/mimr am_rta2015.pdf, you might also want to explore:

http://www.lix.polyt guidehttp://www.lix.polyt tutorialechnique.fr/Labo/Sam guideechnique.fr/Labo/Sam tutorialuel.Mimram/docs/mimr guideuel.Mimram/docs/mimr tutorialam_rta2015.pdf guideam_rta2015.pdf tutorial

Related Categories

Business & Finance
41204 documents
Education & Learning
22711 documents
Health & Wellness
8956 documents

Related Documents

Preview of http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_nsk.pdf
PDF file

http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_nsk.pdf

541 KBEN15 pages
Kahn process networks are modeled using a new syntax called "nets", which are graphs with boxes and wires, and are shown to form a fixpoint...
Download
Preview of http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_modelts.pdf
PDF file

http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_modelts.pdf

193 KBSamuel MimramEN4 pages
Researchers proposed an abstract definition of bisimulations of labeled transition systems using lifting properties, leading to the question of...
Download
Preview of http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_gray_rewr.pdf
PDF file

http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_gray_rewr.pdf

1.11 MBEN69 pages
Simon Forest and Samuel Mimram investigate rewriting in Gray categories, equivalent to tricategories, by developing the theory of rewriting in...
Download
Preview of https://zoom.us/docs/doc/Zoom_GLOBAL_DPA.pdf
PDF file

https://zoom.us/docs/doc/Zoom_GLOBAL_DPA.pdf

490 KBEN39 pages
Zoom Video Communications, Inc.'s Global Data Processing Addendum defines terms related to data processing, including Affiliate, Anonymised Data,...
Download
Preview of http://www.internationaljournalofcaringsciences.org/docs/3_temiz_original_11_3_2.pdf
PDF file

http://www.internationaljournalofcaringsciences.org/docs/3_temiz_original_11_3_2.pdf

131 KBdespoinaEN10 pages
This systematic review examines factors affecting healthy lifestyle behaviors in adolescents, focusing on eating disorders.
Download

Download http://www.lix.polyt echnique.fr/Labo/Sam uel.Mimram/docs/mimr am_rta2015.pdf eBooks for free and learn more about http://www.lix.polyt echnique.fr/Labo/Sam uel.Mimram/docs/mimr am_rta2015.pdf. These books contain exercises and tutorials to improve your practical skills, at all levels!

Not satisfied with this document? We have related documents to http://www.lix.polyt echnique.fr/Labo/Sam uel.Mimram/docs/mimr am_rta2015.pdf, try searching with similar keywords: http://www.lix.polyt echnique.fr/Labo/Sam uel.Mimram/docs/mimr am_rta2015.pdf, http://www.lix.polyt echnique.fr/Labo/Sam uel.Mimram/docs/mimr am_gray_rewr.pdf, http://www.lix.polyt echnique.fr/Labo/Sam uel.Mimram/docs/mimr am_modelts.pdf, http://www.lix.polyt echnique.fr/Labo/Sam uel.Mimram/docs/mimr am_nsk.pdf, Http Www Lix Polyt Echnique Fr Labo Sam Uel Mimram Docs Mimr Am Gray Rewr Pdf, mimram matiere, structures et formes m mimram, Mimram

You can download PDF versions of the user's guide, manuals and ebooks about http://www.lix.polyt echnique.fr/Labo/Sam uel.Mimram/docs/mimr am_rta2015.pdf, you can also find and download for free A free online manual (notices) with beginner and intermediate, Downloads Documentation, You can download PDF files (or DOC and PPT) about http://www.lix.polyt echnique.fr/Labo/Sam uel.Mimram/docs/mimr am_rta2015.pdf for free, but please respect copyrighted ebooks.