Advanced search options

Sorted by: relevance · author · university · date | New search

You searched for `subject:(category theory)`

.
Showing records 1 – 30 of
176 total matches.

Search Limiters

Dates

- 2015 – 2019 (76)
- 2010 – 2014 (74)
- 2005 – 2009 (26)

Degrees

- PhD (57)
- Docteur es (10)

Languages

- English (108)
- French (10)
- Portuguese (10)

▼ Search Limiters

University of Ottawa

1. O'Neill, Keith. Smoothness in Codifferential Categories .

Degree: 2017, University of Ottawa

URL: http://hdl.handle.net/10393/36703

► The Hochschild-Kostant-Rosenberg theorem, which relates the Hochschild homology of an algebra to its modules of differential n-forms, can be considered a benchmark for smoothness of…
(more)

Subjects/Keywords: Smoothness; Category Theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

O'Neill, K. (2017). Smoothness in Codifferential Categories . (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/36703

Note: this citation may be lacking information needed for this citation format:

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

O'Neill, Keith. “Smoothness in Codifferential Categories .” 2017. Thesis, University of Ottawa. Accessed June 18, 2019. http://hdl.handle.net/10393/36703.

Note: this citation may be lacking information needed for this citation format:

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

O'Neill, Keith. “Smoothness in Codifferential Categories .” 2017. Web. 18 Jun 2019.

Vancouver:

O'Neill K. Smoothness in Codifferential Categories . [Internet] [Thesis]. University of Ottawa; 2017. [cited 2019 Jun 18]. Available from: http://hdl.handle.net/10393/36703.

Note: this citation may be lacking information needed for this citation format:

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

O'Neill K. Smoothness in Codifferential Categories . [Thesis]. University of Ottawa; 2017. Available from: http://hdl.handle.net/10393/36703

Not specified: Masters Thesis or Doctoral Dissertation

University of Edinburgh

2.
Schöpp, Ulrich.
Names and binding in type * theory*.

Degree: 2006, University of Edinburgh

URL: http://hdl.handle.net/1842/1203

► Names and name-binding are useful concepts in the *theory* and practice of formal systems. In this thesis we study them in the context of dependent…
(more)

Subjects/Keywords: 004.01; type theory; category theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Schöpp, U. (2006). Names and binding in type theory. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/1203

Chicago Manual of Style (16^{th} Edition):

Schöpp, Ulrich. “Names and binding in type theory.” 2006. Doctoral Dissertation, University of Edinburgh. Accessed June 18, 2019. http://hdl.handle.net/1842/1203.

MLA Handbook (7^{th} Edition):

Schöpp, Ulrich. “Names and binding in type theory.” 2006. Web. 18 Jun 2019.

Vancouver:

Schöpp U. Names and binding in type theory. [Internet] [Doctoral dissertation]. University of Edinburgh; 2006. [cited 2019 Jun 18]. Available from: http://hdl.handle.net/1842/1203.

Council of Science Editors:

Schöpp U. Names and binding in type theory. [Doctoral Dissertation]. University of Edinburgh; 2006. Available from: http://hdl.handle.net/1842/1203

University of Manchester

3. Bridge, Philip Owen. Essentially algebraic theories and localizations in toposes and abelian categories.

Degree: PhD, 2012, University of Manchester

URL: https://www.research.manchester.ac.uk/portal/en/theses/essentially-algebraic-theories-and-localizations-in-toposes-and-abelian-categories(2db96543-4a42-49fe-8741-ffa1ff249b12).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.553347

► The main theme of this thesis is the parallel between results in topos *theory* and the *theory* of additive functor categories. In chapter 2, we…
(more)

Subjects/Keywords: 510; Category Theory; Algebra

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Bridge, P. O. (2012). Essentially algebraic theories and localizations in toposes and abelian categories. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/essentially-algebraic-theories-and-localizations-in-toposes-and-abelian-categories(2db96543-4a42-49fe-8741-ffa1ff249b12).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.553347

Chicago Manual of Style (16^{th} Edition):

Bridge, Philip Owen. “Essentially algebraic theories and localizations in toposes and abelian categories.” 2012. Doctoral Dissertation, University of Manchester. Accessed June 18, 2019. https://www.research.manchester.ac.uk/portal/en/theses/essentially-algebraic-theories-and-localizations-in-toposes-and-abelian-categories(2db96543-4a42-49fe-8741-ffa1ff249b12).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.553347.

MLA Handbook (7^{th} Edition):

Bridge, Philip Owen. “Essentially algebraic theories and localizations in toposes and abelian categories.” 2012. Web. 18 Jun 2019.

Vancouver:

Bridge PO. Essentially algebraic theories and localizations in toposes and abelian categories. [Internet] [Doctoral dissertation]. University of Manchester; 2012. [cited 2019 Jun 18]. Available from: https://www.research.manchester.ac.uk/portal/en/theses/essentially-algebraic-theories-and-localizations-in-toposes-and-abelian-categories(2db96543-4a42-49fe-8741-ffa1ff249b12).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.553347.

Council of Science Editors:

Bridge PO. Essentially algebraic theories and localizations in toposes and abelian categories. [Doctoral Dissertation]. University of Manchester; 2012. Available from: https://www.research.manchester.ac.uk/portal/en/theses/essentially-algebraic-theories-and-localizations-in-toposes-and-abelian-categories(2db96543-4a42-49fe-8741-ffa1ff249b12).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.553347

University of California – Berkeley

4. Shaver, Christopher Daniel. On the Representation of Distributed Behavior.

Degree: Computer Science, 2016, University of California – Berkeley

URL: http://www.escholarship.org/uc/item/7rc5z1g6

► Technologies pervasive today have enabled a plethora of diverse networked devices to proliferate in the market. Among these devices are sensors, wearables, mobile devices, and…
(more)

Subjects/Keywords: Computer science; Category Theory; Semantics

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Shaver, C. D. (2016). On the Representation of Distributed Behavior. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/7rc5z1g6

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Shaver, Christopher Daniel. “On the Representation of Distributed Behavior.” 2016. Thesis, University of California – Berkeley. Accessed June 18, 2019. http://www.escholarship.org/uc/item/7rc5z1g6.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Shaver, Christopher Daniel. “On the Representation of Distributed Behavior.” 2016. Web. 18 Jun 2019.

Vancouver:

Shaver CD. On the Representation of Distributed Behavior. [Internet] [Thesis]. University of California – Berkeley; 2016. [cited 2019 Jun 18]. Available from: http://www.escholarship.org/uc/item/7rc5z1g6.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Shaver CD. On the Representation of Distributed Behavior. [Thesis]. University of California – Berkeley; 2016. Available from: http://www.escholarship.org/uc/item/7rc5z1g6

Not specified: Masters Thesis or Doctoral Dissertation

University of Oxford

5. Tull, Sean. Categorical operational physics.

Degree: PhD, 2018, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:0f13a027-c05d-4048-8882-5f947009c46a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770599

► Many insights into the quantum world can be found by studying it from amongst more general operational theories of physics. In this thesis, we develop…
(more)

Subjects/Keywords: Quantum foundations; Category theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Tull, S. (2018). Categorical operational physics. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:0f13a027-c05d-4048-8882-5f947009c46a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770599

Chicago Manual of Style (16^{th} Edition):

Tull, Sean. “Categorical operational physics.” 2018. Doctoral Dissertation, University of Oxford. Accessed June 18, 2019. http://ora.ox.ac.uk/objects/uuid:0f13a027-c05d-4048-8882-5f947009c46a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770599.

MLA Handbook (7^{th} Edition):

Tull, Sean. “Categorical operational physics.” 2018. Web. 18 Jun 2019.

Vancouver:

Tull S. Categorical operational physics. [Internet] [Doctoral dissertation]. University of Oxford; 2018. [cited 2019 Jun 18]. Available from: http://ora.ox.ac.uk/objects/uuid:0f13a027-c05d-4048-8882-5f947009c46a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770599.

Council of Science Editors:

Tull S. Categorical operational physics. [Doctoral Dissertation]. University of Oxford; 2018. Available from: http://ora.ox.ac.uk/objects/uuid:0f13a027-c05d-4048-8882-5f947009c46a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770599

Tulane University

6. Bedell, Nathan. Graded and dynamic categories.

Degree: 2019, Tulane University

URL: https://digitallibrary.tulane.edu/islandora/object/tulane:90929

►

In this thesis, I define and study the foundations of the new framework of graded *category* *theory*, which I propose as just one structure…
(more)

Subjects/Keywords: Skolem's paradox; Category theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Bedell, N. (2019). Graded and dynamic categories. (Thesis). Tulane University. Retrieved from https://digitallibrary.tulane.edu/islandora/object/tulane:90929

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Bedell, Nathan. “Graded and dynamic categories.” 2019. Thesis, Tulane University. Accessed June 18, 2019. https://digitallibrary.tulane.edu/islandora/object/tulane:90929.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Bedell, Nathan. “Graded and dynamic categories.” 2019. Web. 18 Jun 2019.

Vancouver:

Bedell N. Graded and dynamic categories. [Internet] [Thesis]. Tulane University; 2019. [cited 2019 Jun 18]. Available from: https://digitallibrary.tulane.edu/islandora/object/tulane:90929.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bedell N. Graded and dynamic categories. [Thesis]. Tulane University; 2019. Available from: https://digitallibrary.tulane.edu/islandora/object/tulane:90929

Not specified: Masters Thesis or Doctoral Dissertation

Université Catholique de Louvain

7. Jacqmin, Pierre-Alain. Embedding theorems in non-abelian categorical algebra.

Degree: 2016, Université Catholique de Louvain

URL: http://hdl.handle.net/2078.1/182147

►

The idea behind embedding theorems is to provide a representative element among a collection of categories, such that each *category* in that collection nicely embeds…
(more)

Subjects/Keywords: Category theory; Unital category; Bicategory of fractions; Weak equivalence; Embedding theorem; Protomodular category; Mal'tsev category; Weakly Mal'tsev category

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Jacqmin, P. (2016). Embedding theorems in non-abelian categorical algebra. (Thesis). Université Catholique de Louvain. Retrieved from http://hdl.handle.net/2078.1/182147

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Jacqmin, Pierre-Alain. “Embedding theorems in non-abelian categorical algebra.” 2016. Thesis, Université Catholique de Louvain. Accessed June 18, 2019. http://hdl.handle.net/2078.1/182147.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Jacqmin, Pierre-Alain. “Embedding theorems in non-abelian categorical algebra.” 2016. Web. 18 Jun 2019.

Vancouver:

Jacqmin P. Embedding theorems in non-abelian categorical algebra. [Internet] [Thesis]. Université Catholique de Louvain; 2016. [cited 2019 Jun 18]. Available from: http://hdl.handle.net/2078.1/182147.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Jacqmin P. Embedding theorems in non-abelian categorical algebra. [Thesis]. Université Catholique de Louvain; 2016. Available from: http://hdl.handle.net/2078.1/182147

Not specified: Masters Thesis or Doctoral Dissertation

University of Adelaide

8. Roberts, David Michael. Fundamental bigroupoids and 2-covering spaces.

Degree: 2010, University of Adelaide

URL: http://hdl.handle.net/2440/62680

► This thesis introduces two main concepts: a fundamental bigroupoid of a topological groupoid and 2-covering spaces, a categorification of covering spaces. The first is applied…
(more)

Subjects/Keywords: category theory; groupoids; algebraic topology; homotopy theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Roberts, D. M. (2010). Fundamental bigroupoids and 2-covering spaces. (Thesis). University of Adelaide. Retrieved from http://hdl.handle.net/2440/62680

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Roberts, David Michael. “Fundamental bigroupoids and 2-covering spaces.” 2010. Thesis, University of Adelaide. Accessed June 18, 2019. http://hdl.handle.net/2440/62680.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Roberts, David Michael. “Fundamental bigroupoids and 2-covering spaces.” 2010. Web. 18 Jun 2019.

Vancouver:

Roberts DM. Fundamental bigroupoids and 2-covering spaces. [Internet] [Thesis]. University of Adelaide; 2010. [cited 2019 Jun 18]. Available from: http://hdl.handle.net/2440/62680.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Roberts DM. Fundamental bigroupoids and 2-covering spaces. [Thesis]. University of Adelaide; 2010. Available from: http://hdl.handle.net/2440/62680

Not specified: Masters Thesis or Doctoral Dissertation

University of Kansas

9.
Sanders, William Thomas.
Categorical and homological aspects of module *theory* over commutative rings.

Degree: PhD, Mathematics, 2015, University of Kansas

URL: http://hdl.handle.net/1808/19488

► The purpose of this work is to understand the structure of the subcategories of mod(R) and the derived *category* D^b(R) for a commutative Noetherian ring…
(more)

Subjects/Keywords: Mathematics; Category Theory; Commutative Algebra; Homological Algebra

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Sanders, W. T. (2015). Categorical and homological aspects of module theory over commutative rings. (Doctoral Dissertation). University of Kansas. Retrieved from http://hdl.handle.net/1808/19488

Chicago Manual of Style (16^{th} Edition):

Sanders, William Thomas. “Categorical and homological aspects of module theory over commutative rings.” 2015. Doctoral Dissertation, University of Kansas. Accessed June 18, 2019. http://hdl.handle.net/1808/19488.

MLA Handbook (7^{th} Edition):

Sanders, William Thomas. “Categorical and homological aspects of module theory over commutative rings.” 2015. Web. 18 Jun 2019.

Vancouver:

Sanders WT. Categorical and homological aspects of module theory over commutative rings. [Internet] [Doctoral dissertation]. University of Kansas; 2015. [cited 2019 Jun 18]. Available from: http://hdl.handle.net/1808/19488.

Council of Science Editors:

Sanders WT. Categorical and homological aspects of module theory over commutative rings. [Doctoral Dissertation]. University of Kansas; 2015. Available from: http://hdl.handle.net/1808/19488

Colorado State University

10. Kessler, Ian Holm. Functional programming applied to computational algebra.

Degree: MS(M.S.), Mathematics, 2019, Colorado State University

URL: http://hdl.handle.net/10217/193082

► Underlying many, if not all, areas of mathematics is *category* *theory*, an alternative to set *theory* as a foundation that formalizes mathematical structures and relations…
(more)

Subjects/Keywords: Computer Algebra; Scala; Functional Programming; Category Theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Kessler, I. H. (2019). Functional programming applied to computational algebra. (Masters Thesis). Colorado State University. Retrieved from http://hdl.handle.net/10217/193082

Chicago Manual of Style (16^{th} Edition):

Kessler, Ian Holm. “Functional programming applied to computational algebra.” 2019. Masters Thesis, Colorado State University. Accessed June 18, 2019. http://hdl.handle.net/10217/193082.

MLA Handbook (7^{th} Edition):

Kessler, Ian Holm. “Functional programming applied to computational algebra.” 2019. Web. 18 Jun 2019.

Vancouver:

Kessler IH. Functional programming applied to computational algebra. [Internet] [Masters thesis]. Colorado State University; 2019. [cited 2019 Jun 18]. Available from: http://hdl.handle.net/10217/193082.

Council of Science Editors:

Kessler IH. Functional programming applied to computational algebra. [Masters Thesis]. Colorado State University; 2019. Available from: http://hdl.handle.net/10217/193082

University of Minnesota

11. Mannone, Maria. Musical Gestures between Scores and Acoustics: A Creative Application to Orchestra.

Degree: PhD, Music, 2017, University of Minnesota

URL: http://hdl.handle.net/11299/188931

► Musical gestures connect symbolic scores to physical sounds, and they can be mathematically investigated. Mathematics can also be used to transform images into music and…
(more)

Subjects/Keywords: Acoustics; Category Theory; Gestures; Orchestra; Visual Arts

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Mannone, M. (2017). Musical Gestures between Scores and Acoustics: A Creative Application to Orchestra. (Doctoral Dissertation). University of Minnesota. Retrieved from http://hdl.handle.net/11299/188931

Chicago Manual of Style (16^{th} Edition):

Mannone, Maria. “Musical Gestures between Scores and Acoustics: A Creative Application to Orchestra.” 2017. Doctoral Dissertation, University of Minnesota. Accessed June 18, 2019. http://hdl.handle.net/11299/188931.

MLA Handbook (7^{th} Edition):

Mannone, Maria. “Musical Gestures between Scores and Acoustics: A Creative Application to Orchestra.” 2017. Web. 18 Jun 2019.

Vancouver:

Mannone M. Musical Gestures between Scores and Acoustics: A Creative Application to Orchestra. [Internet] [Doctoral dissertation]. University of Minnesota; 2017. [cited 2019 Jun 18]. Available from: http://hdl.handle.net/11299/188931.

Council of Science Editors:

Mannone M. Musical Gestures between Scores and Acoustics: A Creative Application to Orchestra. [Doctoral Dissertation]. University of Minnesota; 2017. Available from: http://hdl.handle.net/11299/188931

University of California – Berkeley

12. Wilder, Alan Cameron. Smooth Field Theories and Homotopy Field Theories.

Degree: Mathematics, 2011, University of California – Berkeley

URL: http://www.escholarship.org/uc/item/8049k3bs

► In this thesis we assemble machinery to create a map from the field theories of Stolz and Teichner, which we call smooth field theories, to…
(more)

Subjects/Keywords: Mathematics; Category Theory; Field Theory; Homotopy Theory; Topology

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Wilder, A. C. (2011). Smooth Field Theories and Homotopy Field Theories. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/8049k3bs

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Wilder, Alan Cameron. “Smooth Field Theories and Homotopy Field Theories.” 2011. Thesis, University of California – Berkeley. Accessed June 18, 2019. http://www.escholarship.org/uc/item/8049k3bs.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Wilder, Alan Cameron. “Smooth Field Theories and Homotopy Field Theories.” 2011. Web. 18 Jun 2019.

Vancouver:

Wilder AC. Smooth Field Theories and Homotopy Field Theories. [Internet] [Thesis]. University of California – Berkeley; 2011. [cited 2019 Jun 18]. Available from: http://www.escholarship.org/uc/item/8049k3bs.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Wilder AC. Smooth Field Theories and Homotopy Field Theories. [Thesis]. University of California – Berkeley; 2011. Available from: http://www.escholarship.org/uc/item/8049k3bs

Not specified: Masters Thesis or Doctoral Dissertation

UCLA

13.
Pauwels, Bregje Ellen.
Quasi-Galois *theory* in tensor-triangulated categories.

Degree: Mathematics, 2015, UCLA

URL: http://www.escholarship.org/uc/item/65q0q1gv

► We consider separable ring objects in symmetric monoidal categories and investigate what it means for an extension of ring objects to be (quasi)-Galois. Reminiscent of…
(more)

Subjects/Keywords: Mathematics; category of modules; etale algebra; galois theory; ring object; separable monad; triangulated category

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Pauwels, B. E. (2015). Quasi-Galois theory in tensor-triangulated categories. (Thesis). UCLA. Retrieved from http://www.escholarship.org/uc/item/65q0q1gv

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Pauwels, Bregje Ellen. “Quasi-Galois theory in tensor-triangulated categories.” 2015. Thesis, UCLA. Accessed June 18, 2019. http://www.escholarship.org/uc/item/65q0q1gv.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Pauwels, Bregje Ellen. “Quasi-Galois theory in tensor-triangulated categories.” 2015. Web. 18 Jun 2019.

Vancouver:

Pauwels BE. Quasi-Galois theory in tensor-triangulated categories. [Internet] [Thesis]. UCLA; 2015. [cited 2019 Jun 18]. Available from: http://www.escholarship.org/uc/item/65q0q1gv.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Pauwels BE. Quasi-Galois theory in tensor-triangulated categories. [Thesis]. UCLA; 2015. Available from: http://www.escholarship.org/uc/item/65q0q1gv

Not specified: Masters Thesis or Doctoral Dissertation

University of Kansas

14. Lohoefener, Jennifer Lee. A Methodology for Automated Verification of Rosetta Specification Transformations.

Degree: PhD, Electrical Engineering & Computer Science, 2011, University of Kansas

URL: http://hdl.handle.net/1808/7660

► The Rosetta system-level design language is a specification language created to support design and analysis of heterogeneous models at varying levels of abstraction. These abstraction…
(more)

Subjects/Keywords: Computer science; Abstract interpretation; Category theory; Galois connection; Lattice theory; Rosetta

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Lohoefener, J. L. (2011). A Methodology for Automated Verification of Rosetta Specification Transformations. (Doctoral Dissertation). University of Kansas. Retrieved from http://hdl.handle.net/1808/7660

Chicago Manual of Style (16^{th} Edition):

Lohoefener, Jennifer Lee. “A Methodology for Automated Verification of Rosetta Specification Transformations.” 2011. Doctoral Dissertation, University of Kansas. Accessed June 18, 2019. http://hdl.handle.net/1808/7660.

MLA Handbook (7^{th} Edition):

Lohoefener, Jennifer Lee. “A Methodology for Automated Verification of Rosetta Specification Transformations.” 2011. Web. 18 Jun 2019.

Vancouver:

Lohoefener JL. A Methodology for Automated Verification of Rosetta Specification Transformations. [Internet] [Doctoral dissertation]. University of Kansas; 2011. [cited 2019 Jun 18]. Available from: http://hdl.handle.net/1808/7660.

Council of Science Editors:

Lohoefener JL. A Methodology for Automated Verification of Rosetta Specification Transformations. [Doctoral Dissertation]. University of Kansas; 2011. Available from: http://hdl.handle.net/1808/7660

Universiteit Utrecht

15. Faber, E.E. Code-free Recursion & Realizability.

Degree: 2014, Universiteit Utrecht

URL: http://dspace.library.uu.nl:8080/handle/1874/294634

► This thesis is an elaborate account of the *theory* of partial combinatory algebras (pcas) and their associated categorical structures called categories of assemblies and realizability…
(more)

Subjects/Keywords: realizability; topos theory; category theory; partial combinatory algebra

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Faber, E. E. (2014). Code-free Recursion & Realizability. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/294634

Chicago Manual of Style (16^{th} Edition):

Faber, E E. “Code-free Recursion & Realizability.” 2014. Masters Thesis, Universiteit Utrecht. Accessed June 18, 2019. http://dspace.library.uu.nl:8080/handle/1874/294634.

MLA Handbook (7^{th} Edition):

Faber, E E. “Code-free Recursion & Realizability.” 2014. Web. 18 Jun 2019.

Vancouver:

Faber EE. Code-free Recursion & Realizability. [Internet] [Masters thesis]. Universiteit Utrecht; 2014. [cited 2019 Jun 18]. Available from: http://dspace.library.uu.nl:8080/handle/1874/294634.

Council of Science Editors:

Faber EE. Code-free Recursion & Realizability. [Masters Thesis]. Universiteit Utrecht; 2014. Available from: http://dspace.library.uu.nl:8080/handle/1874/294634

University of Oxford

16. Fong, Brendan. The algebra of open and interconnected systems.

Degree: PhD, 2016, University of Oxford

URL: https://ora.ox.ac.uk/objects/uuid:79a23c8c-81a5-4cf1-a108-29ba7dfd8850 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.730061

► Herein we develop *category*-theoretic tools for understanding network-style diagrammatic languages. The archetypal network-style diagrammatic language is that of electric circuits; other examples include signal flow…
(more)

Subjects/Keywords: Category theory; Logic in computer science; System theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Fong, B. (2016). The algebra of open and interconnected systems. (Doctoral Dissertation). University of Oxford. Retrieved from https://ora.ox.ac.uk/objects/uuid:79a23c8c-81a5-4cf1-a108-29ba7dfd8850 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.730061

Chicago Manual of Style (16^{th} Edition):

Fong, Brendan. “The algebra of open and interconnected systems.” 2016. Doctoral Dissertation, University of Oxford. Accessed June 18, 2019. https://ora.ox.ac.uk/objects/uuid:79a23c8c-81a5-4cf1-a108-29ba7dfd8850 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.730061.

MLA Handbook (7^{th} Edition):

Fong, Brendan. “The algebra of open and interconnected systems.” 2016. Web. 18 Jun 2019.

Vancouver:

Fong B. The algebra of open and interconnected systems. [Internet] [Doctoral dissertation]. University of Oxford; 2016. [cited 2019 Jun 18]. Available from: https://ora.ox.ac.uk/objects/uuid:79a23c8c-81a5-4cf1-a108-29ba7dfd8850 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.730061.

Council of Science Editors:

Fong B. The algebra of open and interconnected systems. [Doctoral Dissertation]. University of Oxford; 2016. Available from: https://ora.ox.ac.uk/objects/uuid:79a23c8c-81a5-4cf1-a108-29ba7dfd8850 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.730061

17.
Donselaar, N.
Uniform Kan cubical sets as a path * category*.

Degree: 2016, Universiteit Utrecht

URL: http://dspace.library.uu.nl:8080/handle/1874/335272

Subjects/Keywords: category theory; homotopy theory

…congruence relation on the morphisms of a path
*category*, which is proven in [vdBM16] as… …we consider how any object A of the path *category*
C induces another path *category* C(A… …x29;, which is a full subcategory of the
corresponding slice *category*.
Definition 1.4. For C… …a path *category* and A some object in C we define
the path *category* C(A) as… …follows. Its underlying *category* has as objects the
fibrations (in C) with codomain A…

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Donselaar, N. (2016). Uniform Kan cubical sets as a path category. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/335272

Chicago Manual of Style (16^{th} Edition):

Donselaar, N. “Uniform Kan cubical sets as a path category.” 2016. Masters Thesis, Universiteit Utrecht. Accessed June 18, 2019. http://dspace.library.uu.nl:8080/handle/1874/335272.

MLA Handbook (7^{th} Edition):

Donselaar, N. “Uniform Kan cubical sets as a path category.” 2016. Web. 18 Jun 2019.

Vancouver:

Donselaar N. Uniform Kan cubical sets as a path category. [Internet] [Masters thesis]. Universiteit Utrecht; 2016. [cited 2019 Jun 18]. Available from: http://dspace.library.uu.nl:8080/handle/1874/335272.

Council of Science Editors:

Donselaar N. Uniform Kan cubical sets as a path category. [Masters Thesis]. Universiteit Utrecht; 2016. Available from: http://dspace.library.uu.nl:8080/handle/1874/335272

Macquarie University

18.
Burke, Matthew.
Synthetic Lie * theory*.

Degree: 2015, Macquarie University

URL: http://hdl.handle.net/1959.14/1068205

►

Empirical thesis.

Bibliography: pages 159-161.

Introduction – 1. Synthetic differential geometry – 2. Factorisation systems – 3. Paths in categories – 4. Synthetic lie *theory*…
(more)

Subjects/Keywords: Lie groups; synthetic differential geometry; lie theory; category theory; intuitionistic logic

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Burke, M. (2015). Synthetic Lie theory. (Doctoral Dissertation). Macquarie University. Retrieved from http://hdl.handle.net/1959.14/1068205

Chicago Manual of Style (16^{th} Edition):

Burke, Matthew. “Synthetic Lie theory.” 2015. Doctoral Dissertation, Macquarie University. Accessed June 18, 2019. http://hdl.handle.net/1959.14/1068205.

MLA Handbook (7^{th} Edition):

Burke, Matthew. “Synthetic Lie theory.” 2015. Web. 18 Jun 2019.

Vancouver:

Burke M. Synthetic Lie theory. [Internet] [Doctoral dissertation]. Macquarie University; 2015. [cited 2019 Jun 18]. Available from: http://hdl.handle.net/1959.14/1068205.

Council of Science Editors:

Burke M. Synthetic Lie theory. [Doctoral Dissertation]. Macquarie University; 2015. Available from: http://hdl.handle.net/1959.14/1068205

University of Oxford

19. Williamson, Richard David. Categorical model structures.

Degree: PhD, 2011, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:466f4700-7cbf-401c-b0b7-9399b4c840df ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580907

We build a model structure from the simple point of departure of a structured interval in a monoidal category — more generally, a structured cylinder and a structured co-cylinder in a category.

Subjects/Keywords: 512.62; Mathematics; Algebraic topology; category theory; homotopy theory; model categories

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Williamson, R. D. (2011). Categorical model structures. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:466f4700-7cbf-401c-b0b7-9399b4c840df ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580907

Chicago Manual of Style (16^{th} Edition):

Williamson, Richard David. “Categorical model structures.” 2011. Doctoral Dissertation, University of Oxford. Accessed June 18, 2019. http://ora.ox.ac.uk/objects/uuid:466f4700-7cbf-401c-b0b7-9399b4c840df ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580907.

MLA Handbook (7^{th} Edition):

Williamson, Richard David. “Categorical model structures.” 2011. Web. 18 Jun 2019.

Vancouver:

Williamson RD. Categorical model structures. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2019 Jun 18]. Available from: http://ora.ox.ac.uk/objects/uuid:466f4700-7cbf-401c-b0b7-9399b4c840df ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580907.

Council of Science Editors:

Williamson RD. Categorical model structures. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:466f4700-7cbf-401c-b0b7-9399b4c840df ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580907

University of Oxford

20. Kelly, Jack. Exact categories, Koszul duality, and derived analytic algebra.

Degree: PhD, 2018, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:27064241-0ad3-49c3-9d7d-870d51fe110b ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.757816

► Recent work of Bambozzi, Ben-Bassat, and Kremnitzer suggests that derived analytic geometry over a valued field k can be modelled as geometry relative to the…
(more)

Subjects/Keywords: 510; Mathematics; Koszul Duality; Category Theory; Algebra; Homotopy Theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Kelly, J. (2018). Exact categories, Koszul duality, and derived analytic algebra. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:27064241-0ad3-49c3-9d7d-870d51fe110b ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.757816

Chicago Manual of Style (16^{th} Edition):

Kelly, Jack. “Exact categories, Koszul duality, and derived analytic algebra.” 2018. Doctoral Dissertation, University of Oxford. Accessed June 18, 2019. http://ora.ox.ac.uk/objects/uuid:27064241-0ad3-49c3-9d7d-870d51fe110b ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.757816.

MLA Handbook (7^{th} Edition):

Kelly, Jack. “Exact categories, Koszul duality, and derived analytic algebra.” 2018. Web. 18 Jun 2019.

Vancouver:

Kelly J. Exact categories, Koszul duality, and derived analytic algebra. [Internet] [Doctoral dissertation]. University of Oxford; 2018. [cited 2019 Jun 18]. Available from: http://ora.ox.ac.uk/objects/uuid:27064241-0ad3-49c3-9d7d-870d51fe110b ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.757816.

Council of Science Editors:

Kelly J. Exact categories, Koszul duality, and derived analytic algebra. [Doctoral Dissertation]. University of Oxford; 2018. Available from: http://ora.ox.ac.uk/objects/uuid:27064241-0ad3-49c3-9d7d-870d51fe110b ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.757816

Purdue University

21. Lucas, Jason M. Connecting models of configuration spaces: From double loops to strings.

Degree: PhD, Mathematics, 2016, Purdue University

URL: http://docs.lib.purdue.edu/open_access_dissertations/802

► Foundational to the *subject* of operad *theory* is the notion of an En operad, that is, an operad that is quasi-isomorphic to the operad…
(more)

Subjects/Keywords: Pure sciences; Algebraic topology; Category theory; Operad theory; Mathematics

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Lucas, J. M. (2016). Connecting models of configuration spaces: From double loops to strings. (Doctoral Dissertation). Purdue University. Retrieved from http://docs.lib.purdue.edu/open_access_dissertations/802

Chicago Manual of Style (16^{th} Edition):

Lucas, Jason M. “Connecting models of configuration spaces: From double loops to strings.” 2016. Doctoral Dissertation, Purdue University. Accessed June 18, 2019. http://docs.lib.purdue.edu/open_access_dissertations/802.

MLA Handbook (7^{th} Edition):

Lucas, Jason M. “Connecting models of configuration spaces: From double loops to strings.” 2016. Web. 18 Jun 2019.

Vancouver:

Lucas JM. Connecting models of configuration spaces: From double loops to strings. [Internet] [Doctoral dissertation]. Purdue University; 2016. [cited 2019 Jun 18]. Available from: http://docs.lib.purdue.edu/open_access_dissertations/802.

Council of Science Editors:

Lucas JM. Connecting models of configuration spaces: From double loops to strings. [Doctoral Dissertation]. Purdue University; 2016. Available from: http://docs.lib.purdue.edu/open_access_dissertations/802

22. North, Paige Randall. Type theoretic weak factorization systems .

Degree: 2017, University of Cambridge

URL: https://www.repository.cam.ac.uk/handle/1810/265152

► This thesis presents a characterization of those categories with weak factorization systems that can interpret the *theory* of intensional dependent type *theory* with Σ, Π,…
(more)

Subjects/Keywords: homotopy type theory; weak factorization systems; category theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

North, P. R. (2017). Type theoretic weak factorization systems . (Thesis). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/265152

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

North, Paige Randall. “Type theoretic weak factorization systems .” 2017. Thesis, University of Cambridge. Accessed June 18, 2019. https://www.repository.cam.ac.uk/handle/1810/265152.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

North, Paige Randall. “Type theoretic weak factorization systems .” 2017. Web. 18 Jun 2019.

Vancouver:

North PR. Type theoretic weak factorization systems . [Internet] [Thesis]. University of Cambridge; 2017. [cited 2019 Jun 18]. Available from: https://www.repository.cam.ac.uk/handle/1810/265152.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

North PR. Type theoretic weak factorization systems . [Thesis]. University of Cambridge; 2017. Available from: https://www.repository.cam.ac.uk/handle/1810/265152

Not specified: Masters Thesis or Doctoral Dissertation

University of Cambridge

23.
Moss, Sean.
The dialectica models of type * theory*.

Degree: PhD, 2018, University of Cambridge

URL: https://www.repository.cam.ac.uk/handle/1810/280672 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.763568

► This thesis studies some constructions for building new models of Martin-Löf type *theory* out of old. We refer to the main techniques as gluing and…
(more)

Subjects/Keywords: dependent type theory; category theory; categorical logic; Dialectica interpretation; functional interpretation

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Moss, S. (2018). The dialectica models of type theory. (Doctoral Dissertation). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/280672 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.763568

Chicago Manual of Style (16^{th} Edition):

Moss, Sean. “The dialectica models of type theory.” 2018. Doctoral Dissertation, University of Cambridge. Accessed June 18, 2019. https://www.repository.cam.ac.uk/handle/1810/280672 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.763568.

MLA Handbook (7^{th} Edition):

Moss, Sean. “The dialectica models of type theory.” 2018. Web. 18 Jun 2019.

Vancouver:

Moss S. The dialectica models of type theory. [Internet] [Doctoral dissertation]. University of Cambridge; 2018. [cited 2019 Jun 18]. Available from: https://www.repository.cam.ac.uk/handle/1810/280672 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.763568.

Council of Science Editors:

Moss S. The dialectica models of type theory. [Doctoral Dissertation]. University of Cambridge; 2018. Available from: https://www.repository.cam.ac.uk/handle/1810/280672 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.763568

University of Cambridge

24. North, Paige Randall. Type theoretic weak factorization systems.

Degree: PhD, 2017, University of Cambridge

URL: https://www.repository.cam.ac.uk/handle/1810/265152 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.715966

► This thesis presents a characterization of those categories with weak factorization systems that can interpret the *theory* of intensional dependent type *theory* with Σ, Π,…
(more)

Subjects/Keywords: 512; homotopy type theory; weak factorization systems; category theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

North, P. R. (2017). Type theoretic weak factorization systems. (Doctoral Dissertation). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/265152 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.715966

Chicago Manual of Style (16^{th} Edition):

North, Paige Randall. “Type theoretic weak factorization systems.” 2017. Doctoral Dissertation, University of Cambridge. Accessed June 18, 2019. https://www.repository.cam.ac.uk/handle/1810/265152 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.715966.

MLA Handbook (7^{th} Edition):

North, Paige Randall. “Type theoretic weak factorization systems.” 2017. Web. 18 Jun 2019.

Vancouver:

North PR. Type theoretic weak factorization systems. [Internet] [Doctoral dissertation]. University of Cambridge; 2017. [cited 2019 Jun 18]. Available from: https://www.repository.cam.ac.uk/handle/1810/265152 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.715966.

Council of Science Editors:

North PR. Type theoretic weak factorization systems. [Doctoral Dissertation]. University of Cambridge; 2017. Available from: https://www.repository.cam.ac.uk/handle/1810/265152 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.715966

University of Minnesota

25.
Sharma, Amit.
Higher Picard groupoids and Dijkgraaf-Witten * theory*.

Degree: PhD, Mathematics, 2016, University of Minnesota

URL: http://hdl.handle.net/11299/182756

► In the first part of this thesis we propose a model for additive ∞-categories based on \gSs and construct the archetype example of an additive…
(more)

Subjects/Keywords: Category Theory; Infinite loop space theory; Mathematical Physics; Topology

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Sharma, A. (2016). Higher Picard groupoids and Dijkgraaf-Witten theory. (Doctoral Dissertation). University of Minnesota. Retrieved from http://hdl.handle.net/11299/182756

Chicago Manual of Style (16^{th} Edition):

Sharma, Amit. “Higher Picard groupoids and Dijkgraaf-Witten theory.” 2016. Doctoral Dissertation, University of Minnesota. Accessed June 18, 2019. http://hdl.handle.net/11299/182756.

MLA Handbook (7^{th} Edition):

Sharma, Amit. “Higher Picard groupoids and Dijkgraaf-Witten theory.” 2016. Web. 18 Jun 2019.

Vancouver:

Sharma A. Higher Picard groupoids and Dijkgraaf-Witten theory. [Internet] [Doctoral dissertation]. University of Minnesota; 2016. [cited 2019 Jun 18]. Available from: http://hdl.handle.net/11299/182756.

Council of Science Editors:

Sharma A. Higher Picard groupoids and Dijkgraaf-Witten theory. [Doctoral Dissertation]. University of Minnesota; 2016. Available from: http://hdl.handle.net/11299/182756

University of California – Riverside

26.
West, Jacob.
Higher Auslander-Reiten * Theory*.

Degree: Mathematics, 2015, University of California – Riverside

URL: http://www.escholarship.org/uc/item/8b3866rt

► A development of Auslander-Reiten *theory* in the language of stable infinity-categories is presented. An infinity-*category* is a special kind of simplicial set which provides a…
(more)

Subjects/Keywords: Mathematics; Theoretical mathematics; Auslander-Reiten theory; category theory; representation theory; stable homotopy theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

West, J. (2015). Higher Auslander-Reiten Theory. (Thesis). University of California – Riverside. Retrieved from http://www.escholarship.org/uc/item/8b3866rt

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

West, Jacob. “Higher Auslander-Reiten Theory.” 2015. Thesis, University of California – Riverside. Accessed June 18, 2019. http://www.escholarship.org/uc/item/8b3866rt.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

West, Jacob. “Higher Auslander-Reiten Theory.” 2015. Web. 18 Jun 2019.

Vancouver:

West J. Higher Auslander-Reiten Theory. [Internet] [Thesis]. University of California – Riverside; 2015. [cited 2019 Jun 18]. Available from: http://www.escholarship.org/uc/item/8b3866rt.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

West J. Higher Auslander-Reiten Theory. [Thesis]. University of California – Riverside; 2015. Available from: http://www.escholarship.org/uc/item/8b3866rt

Not specified: Masters Thesis or Doctoral Dissertation

Vanderbilt University

27.
Gui, Bin.
A unitary tensor product *theory* for unitary vertex operator algebra modules.

Degree: PhD, Mathematics, 2018, Vanderbilt University

URL: http://etd.library.vanderbilt.edu/available/etd-06272018-151541/ ;

► Let V be a unitary vertex operator algebra (VOA) satisfying the following conditions: (1) V is of CFT type. (2) Every N-gradable weak V -module…
(more)

Subjects/Keywords: algebraic quantum field theory; tensor category; conformal field theory; Vertex operator algebra; unitary modular tensor category

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Gui, B. (2018). A unitary tensor product theory for unitary vertex operator algebra modules. (Doctoral Dissertation). Vanderbilt University. Retrieved from http://etd.library.vanderbilt.edu/available/etd-06272018-151541/ ;

Chicago Manual of Style (16^{th} Edition):

Gui, Bin. “A unitary tensor product theory for unitary vertex operator algebra modules.” 2018. Doctoral Dissertation, Vanderbilt University. Accessed June 18, 2019. http://etd.library.vanderbilt.edu/available/etd-06272018-151541/ ;.

MLA Handbook (7^{th} Edition):

Gui, Bin. “A unitary tensor product theory for unitary vertex operator algebra modules.” 2018. Web. 18 Jun 2019.

Vancouver:

Gui B. A unitary tensor product theory for unitary vertex operator algebra modules. [Internet] [Doctoral dissertation]. Vanderbilt University; 2018. [cited 2019 Jun 18]. Available from: http://etd.library.vanderbilt.edu/available/etd-06272018-151541/ ;.

Council of Science Editors:

Gui B. A unitary tensor product theory for unitary vertex operator algebra modules. [Doctoral Dissertation]. Vanderbilt University; 2018. Available from: http://etd.library.vanderbilt.edu/available/etd-06272018-151541/ ;

University of Edinburgh

28. Devlin, Barry-Patrick. Codensity, compactness and ultrafilters.

Degree: PhD, 2016, University of Edinburgh

URL: http://hdl.handle.net/1842/19476

► Codensity monads are ubiquitous, as are various different notions of compactness and finiteness. Two such examples of "compact" spaces are compact Hausdorff Spaces and Linearly…
(more)

Subjects/Keywords: 512; category theory; finiteness; compactness; Hausdorff Spaces; Linearly Compact Vector Spaces

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Devlin, B. (2016). Codensity, compactness and ultrafilters. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/19476

Chicago Manual of Style (16^{th} Edition):

Devlin, Barry-Patrick. “Codensity, compactness and ultrafilters.” 2016. Doctoral Dissertation, University of Edinburgh. Accessed June 18, 2019. http://hdl.handle.net/1842/19476.

MLA Handbook (7^{th} Edition):

Devlin, Barry-Patrick. “Codensity, compactness and ultrafilters.” 2016. Web. 18 Jun 2019.

Vancouver:

Devlin B. Codensity, compactness and ultrafilters. [Internet] [Doctoral dissertation]. University of Edinburgh; 2016. [cited 2019 Jun 18]. Available from: http://hdl.handle.net/1842/19476.

Council of Science Editors:

Devlin B. Codensity, compactness and ultrafilters. [Doctoral Dissertation]. University of Edinburgh; 2016. Available from: http://hdl.handle.net/1842/19476

University of Newcastle Upon Tyne

29. Nelson, David Alan. To formalise and implement a categorical object-related database system.

Degree: PhD, 1999, University of Newcastle Upon Tyne

URL: http://hdl.handle.net/10443/2078

► The relational data model uses set *theory* to provide a formal background, thus ensuring a rigorous mathematical data model with support for manipulation. Newer generation…
(more)

Subjects/Keywords: 005; Category theory; Information systems

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Nelson, D. A. (1999). To formalise and implement a categorical object-related database system. (Doctoral Dissertation). University of Newcastle Upon Tyne. Retrieved from http://hdl.handle.net/10443/2078

Chicago Manual of Style (16^{th} Edition):

Nelson, David Alan. “To formalise and implement a categorical object-related database system.” 1999. Doctoral Dissertation, University of Newcastle Upon Tyne. Accessed June 18, 2019. http://hdl.handle.net/10443/2078.

MLA Handbook (7^{th} Edition):

Nelson, David Alan. “To formalise and implement a categorical object-related database system.” 1999. Web. 18 Jun 2019.

Vancouver:

Nelson DA. To formalise and implement a categorical object-related database system. [Internet] [Doctoral dissertation]. University of Newcastle Upon Tyne; 1999. [cited 2019 Jun 18]. Available from: http://hdl.handle.net/10443/2078.

Council of Science Editors:

Nelson DA. To formalise and implement a categorical object-related database system. [Doctoral Dissertation]. University of Newcastle Upon Tyne; 1999. Available from: http://hdl.handle.net/10443/2078

Queens University

30.
Liang, Hongzhi.
Sequence Diagrams Integration via Typed Graphs: *Theory* and Implementation
.

Degree: Computing, 2009, Queens University

URL: http://hdl.handle.net/1974/5129

► It is widely accepted within the software engineering community that the support for integration is necessary for requirement models. Several methodologies, such as the role-based…
(more)

Subjects/Keywords: model driven; model transformation; model integration; source transformation; category theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Liang, H. (2009). Sequence Diagrams Integration via Typed Graphs: Theory and Implementation . (Thesis). Queens University. Retrieved from http://hdl.handle.net/1974/5129

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Liang, Hongzhi. “Sequence Diagrams Integration via Typed Graphs: Theory and Implementation .” 2009. Thesis, Queens University. Accessed June 18, 2019. http://hdl.handle.net/1974/5129.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Liang, Hongzhi. “Sequence Diagrams Integration via Typed Graphs: Theory and Implementation .” 2009. Web. 18 Jun 2019.

Vancouver:

Liang H. Sequence Diagrams Integration via Typed Graphs: Theory and Implementation . [Internet] [Thesis]. Queens University; 2009. [cited 2019 Jun 18]. Available from: http://hdl.handle.net/1974/5129.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Liang H. Sequence Diagrams Integration via Typed Graphs: Theory and Implementation . [Thesis]. Queens University; 2009. Available from: http://hdl.handle.net/1974/5129

Not specified: Masters Thesis or Doctoral Dissertation