Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(category theory). Showing records 1 – 30 of 176 total matches.

[1] [2] [3] [4] [5] [6]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


University of Ottawa

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

Degree: 2017, University of Ottawa

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th 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.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th 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.

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Oxford

5. Tull, Sean. Categorical operational physics.

Degree: PhD, 2018, University of Oxford

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

[email protected]

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th 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.

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th 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.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th 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.

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th 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.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th 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.

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th 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.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th 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.

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


UCLA

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

Degree: Mathematics, 2015, UCLA

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th 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.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th 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.

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Chicago Manual of Style (16th Edition):

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

MLA Handbook (7th 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

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

  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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th 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.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th 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.

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th 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.

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th 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.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th 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.

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

[1] [2] [3] [4] [5] [6]

.