Advanced search options

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

You searched for `subject:(Category Theory)`

.
Showing records 1 – 30 of
185 total matches.

◁ [1] [2] [3] [4] [5] [6] [7] ▶

Search Limiters

Dates

- 2016 – 2020 (72)
- 2011 – 2015 (80)
- 2006 – 2010 (32)

Universities

- University of Oxford (17)
- University of Cambridge (11)

Degrees

- PhD (72)
- Docteur es (12)

Languages

- English (108)
- 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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

O'Neill K. Smoothness in Codifferential Categories . [Internet] [Thesis]. University of Ottawa; 2017. [cited 2020 Feb 17]. 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 Bath

2. Hardiman, Leonard. Module categories and modular invariants.

Degree: PhD, 2019, University of Bath

URL: https://researchportal.bath.ac.uk/en/studentthesis/module-categories-and-modular-invariants(9b3e104d-40d3-481f-85b4-078c4c9af440).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.794347

► Let C be a modular tensor *category* with a complete set of simples indexed by I. A modular invariant for C is a non-negative integer…
(more)

Subjects/Keywords: category theory; quantum algebra; tube category

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Hardiman, L. (2019). Module categories and modular invariants. (Doctoral Dissertation). University of Bath. Retrieved from https://researchportal.bath.ac.uk/en/studentthesis/module-categories-and-modular-invariants(9b3e104d-40d3-481f-85b4-078c4c9af440).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.794347

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

Hardiman, Leonard. “Module categories and modular invariants.” 2019. Doctoral Dissertation, University of Bath. Accessed February 17, 2020. https://researchportal.bath.ac.uk/en/studentthesis/module-categories-and-modular-invariants(9b3e104d-40d3-481f-85b4-078c4c9af440).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.794347.

MLA Handbook (7^{th} Edition):

Hardiman, Leonard. “Module categories and modular invariants.” 2019. Web. 17 Feb 2020.

Vancouver:

Hardiman L. Module categories and modular invariants. [Internet] [Doctoral dissertation]. University of Bath; 2019. [cited 2020 Feb 17]. Available from: https://researchportal.bath.ac.uk/en/studentthesis/module-categories-and-modular-invariants(9b3e104d-40d3-481f-85b4-078c4c9af440).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.794347.

Council of Science Editors:

Hardiman L. Module categories and modular invariants. [Doctoral Dissertation]. University of Bath; 2019. Available from: https://researchportal.bath.ac.uk/en/studentthesis/module-categories-and-modular-invariants(9b3e104d-40d3-481f-85b4-078c4c9af440).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.794347

University of Edinburgh

3.
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 February 17, 2020. http://hdl.handle.net/1842/1203.

MLA Handbook (7^{th} Edition):

Schöpp, Ulrich. “Names and binding in type theory.” 2006. Web. 17 Feb 2020.

Vancouver:

Schöpp U. Names and binding in type theory. [Internet] [Doctoral dissertation]. University of Edinburgh; 2006. [cited 2020 Feb 17]. 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

4. 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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

Bridge PO. Essentially algebraic theories and localizations in toposes and abelian categories. [Internet] [Doctoral dissertation]. University of Manchester; 2012. [cited 2020 Feb 17]. 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

5. 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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

Shaver CD. On the Representation of Distributed Behavior. [Internet] [Thesis]. University of California – Berkeley; 2016. [cited 2020 Feb 17]. 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

6. Holstein, Julian Victor Sebastian. Morita cohomology.

Degree: PhD, 2014, University of Cambridge

URL: https://www.repository.cam.ac.uk/handle/1810/245136https://www.repository.cam.ac.uk/bitstream/1810/245136/2/license.txt ; https://www.repository.cam.ac.uk/bitstream/1810/245136/3/license_rdf ; https://www.repository.cam.ac.uk/bitstream/1810/245136/6/Morita%20Cohomology.pdf.txt ; https://www.repository.cam.ac.uk/bitstream/1810/245136/7/Morita%20Cohomology.pdf.jpg

► This work constructs and compares different kinds of categorified cohomology of a locally contractible topological space X. Fix a commutative ring k of characteristic 0…
(more)

Subjects/Keywords: Algebraic topology; Category theory

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Holstein, J. V. S. (2014). Morita cohomology. (Doctoral Dissertation). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/245136https://www.repository.cam.ac.uk/bitstream/1810/245136/2/license.txt ; https://www.repository.cam.ac.uk/bitstream/1810/245136/3/license_rdf ; https://www.repository.cam.ac.uk/bitstream/1810/245136/6/Morita%20Cohomology.pdf.txt ; https://www.repository.cam.ac.uk/bitstream/1810/245136/7/Morita%20Cohomology.pdf.jpg

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

Holstein, Julian Victor Sebastian. “Morita cohomology.” 2014. Doctoral Dissertation, University of Cambridge. Accessed February 17, 2020. https://www.repository.cam.ac.uk/handle/1810/245136https://www.repository.cam.ac.uk/bitstream/1810/245136/2/license.txt ; https://www.repository.cam.ac.uk/bitstream/1810/245136/3/license_rdf ; https://www.repository.cam.ac.uk/bitstream/1810/245136/6/Morita%20Cohomology.pdf.txt ; https://www.repository.cam.ac.uk/bitstream/1810/245136/7/Morita%20Cohomology.pdf.jpg.

MLA Handbook (7^{th} Edition):

Holstein, Julian Victor Sebastian. “Morita cohomology.” 2014. Web. 17 Feb 2020.

Vancouver:

Holstein JVS. Morita cohomology. [Internet] [Doctoral dissertation]. University of Cambridge; 2014. [cited 2020 Feb 17]. Available from: https://www.repository.cam.ac.uk/handle/1810/245136https://www.repository.cam.ac.uk/bitstream/1810/245136/2/license.txt ; https://www.repository.cam.ac.uk/bitstream/1810/245136/3/license_rdf ; https://www.repository.cam.ac.uk/bitstream/1810/245136/6/Morita%20Cohomology.pdf.txt ; https://www.repository.cam.ac.uk/bitstream/1810/245136/7/Morita%20Cohomology.pdf.jpg.

Council of Science Editors:

Holstein JVS. Morita cohomology. [Doctoral Dissertation]. University of Cambridge; 2014. Available from: https://www.repository.cam.ac.uk/handle/1810/245136https://www.repository.cam.ac.uk/bitstream/1810/245136/2/license.txt ; https://www.repository.cam.ac.uk/bitstream/1810/245136/3/license_rdf ; https://www.repository.cam.ac.uk/bitstream/1810/245136/6/Morita%20Cohomology.pdf.txt ; https://www.repository.cam.ac.uk/bitstream/1810/245136/7/Morita%20Cohomology.pdf.jpg

University of Oxford

7.
Reutter, David Jakob.
Higher linear algebra in topology and quantum information * theory*.

Degree: PhD, 2019, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:0b26d9f5-0e6e-4b81-b02d-a92820a3803a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.786186

► We investigate categorifications of linear algebra, and their applications to the construction of 4-manifold invariants, to the construction of a variety of linear algebraic structures…
(more)

Subjects/Keywords: Quantum Algebra; Category Theory

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Reutter, D. J. (2019). Higher linear algebra in topology and quantum information theory. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:0b26d9f5-0e6e-4b81-b02d-a92820a3803a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.786186

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

Reutter, David Jakob. “Higher linear algebra in topology and quantum information theory.” 2019. Doctoral Dissertation, University of Oxford. Accessed February 17, 2020. http://ora.ox.ac.uk/objects/uuid:0b26d9f5-0e6e-4b81-b02d-a92820a3803a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.786186.

MLA Handbook (7^{th} Edition):

Reutter, David Jakob. “Higher linear algebra in topology and quantum information theory.” 2019. Web. 17 Feb 2020.

Vancouver:

Reutter DJ. Higher linear algebra in topology and quantum information theory. [Internet] [Doctoral dissertation]. University of Oxford; 2019. [cited 2020 Feb 17]. Available from: http://ora.ox.ac.uk/objects/uuid:0b26d9f5-0e6e-4b81-b02d-a92820a3803a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.786186.

Council of Science Editors:

Reutter DJ. Higher linear algebra in topology and quantum information theory. [Doctoral Dissertation]. University of Oxford; 2019. Available from: http://ora.ox.ac.uk/objects/uuid:0b26d9f5-0e6e-4b81-b02d-a92820a3803a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.786186

University of Oxford

8. 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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

Tull S. Categorical operational physics. [Internet] [Doctoral dissertation]. University of Oxford; 2018. [cited 2020 Feb 17]. 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

9. 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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

Bedell N. Graded and dynamic categories. [Internet] [Thesis]. Tulane University; 2019. [cited 2020 Feb 17]. 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

10. 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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

Jacqmin P. Embedding theorems in non-abelian categorical algebra. [Internet] [Thesis]. Université Catholique de Louvain; 2016. [cited 2020 Feb 17]. 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

11. 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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

Roberts DM. Fundamental bigroupoids and 2-covering spaces. [Internet] [Thesis]. University of Adelaide; 2010. [cited 2020 Feb 17]. 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 Illinois – Chicago

12.
Berner, Joseph.
Shape *Theory* in Homotopy *Theory* and Algebraic Geometry.

Degree: 2018, University of Illinois – Chicago

URL: http://hdl.handle.net/10027/23085

► This work defines the étale homotopy type in the context of non-archimedean geometry, in both Berkovich’s and Huber’s formalisms. To do this we take the…
(more)

Subjects/Keywords: Homotopy Theory; Algebraic Geometry; Higher Category Theory

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Berner, J. (2018). Shape Theory in Homotopy Theory and Algebraic Geometry. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/23085

Not specified: Masters Thesis or Doctoral Dissertation

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

Berner, Joseph. “Shape Theory in Homotopy Theory and Algebraic Geometry.” 2018. Thesis, University of Illinois – Chicago. Accessed February 17, 2020. http://hdl.handle.net/10027/23085.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Berner, Joseph. “Shape Theory in Homotopy Theory and Algebraic Geometry.” 2018. Web. 17 Feb 2020.

Vancouver:

Berner J. Shape Theory in Homotopy Theory and Algebraic Geometry. [Internet] [Thesis]. University of Illinois – Chicago; 2018. [cited 2020 Feb 17]. Available from: http://hdl.handle.net/10027/23085.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Berner J. Shape Theory in Homotopy Theory and Algebraic Geometry. [Thesis]. University of Illinois – Chicago; 2018. Available from: http://hdl.handle.net/10027/23085

Not specified: Masters Thesis or Doctoral Dissertation

University of Edinburgh

13. Karvonen, Martti Johannes. Way of the dagger.

Degree: PhD, 2019, University of Edinburgh

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

► A dagger *category* is a *category* equipped with a functorial way of reversing morphisms, i.e. a contravariant involutive identity-on-objects endofunctor. Dagger categories with additional structure…
(more)

Subjects/Keywords: dagger category; monad; arrow; quantum computing; category theory

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Karvonen, M. J. (2019). Way of the dagger. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/35867

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

Karvonen, Martti Johannes. “Way of the dagger.” 2019. Doctoral Dissertation, University of Edinburgh. Accessed February 17, 2020. http://hdl.handle.net/1842/35867.

MLA Handbook (7^{th} Edition):

Karvonen, Martti Johannes. “Way of the dagger.” 2019. Web. 17 Feb 2020.

Vancouver:

Karvonen MJ. Way of the dagger. [Internet] [Doctoral dissertation]. University of Edinburgh; 2019. [cited 2020 Feb 17]. Available from: http://hdl.handle.net/1842/35867.

Council of Science Editors:

Karvonen MJ. Way of the dagger. [Doctoral Dissertation]. University of Edinburgh; 2019. Available from: http://hdl.handle.net/1842/35867

University of Minnesota

14. 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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

Mannone M. Musical Gestures between Scores and Acoustics: A Creative Application to Orchestra. [Internet] [Doctoral dissertation]. University of Minnesota; 2017. [cited 2020 Feb 17]. 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 Kansas

15.
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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

Sanders WT. Categorical and homological aspects of module theory over commutative rings. [Internet] [Doctoral dissertation]. University of Kansas; 2015. [cited 2020 Feb 17]. 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

University of Western Ontario

16.
Brashears, Bailey N.
The Effects of Feature Verbalizablity and Indirect Feedback on Implicit *Category* Learning.

Degree: 2019, University of Western Ontario

URL: https://ir.lib.uwo.ca/etd/6289

► This study consisted of two experiments intended to investigate the effects of varying factors on the use of verbal and implicit classification systems when learning…
(more)

Subjects/Keywords: Category learning; COVIS theory; feature verbalizablity

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Brashears, B. N. (2019). The Effects of Feature Verbalizablity and Indirect Feedback on Implicit Category Learning. (Thesis). University of Western Ontario. Retrieved from https://ir.lib.uwo.ca/etd/6289

Not specified: Masters Thesis or Doctoral Dissertation

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

Brashears, Bailey N. “The Effects of Feature Verbalizablity and Indirect Feedback on Implicit Category Learning.” 2019. Thesis, University of Western Ontario. Accessed February 17, 2020. https://ir.lib.uwo.ca/etd/6289.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Brashears, Bailey N. “The Effects of Feature Verbalizablity and Indirect Feedback on Implicit Category Learning.” 2019. Web. 17 Feb 2020.

Vancouver:

Brashears BN. The Effects of Feature Verbalizablity and Indirect Feedback on Implicit Category Learning. [Internet] [Thesis]. University of Western Ontario; 2019. [cited 2020 Feb 17]. Available from: https://ir.lib.uwo.ca/etd/6289.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Brashears BN. The Effects of Feature Verbalizablity and Indirect Feedback on Implicit Category Learning. [Thesis]. University of Western Ontario; 2019. Available from: https://ir.lib.uwo.ca/etd/6289

Not specified: Masters Thesis or Doctoral Dissertation

University of California – Berkeley

17. 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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

Wilder AC. Smooth Field Theories and Homotopy Field Theories. [Internet] [Thesis]. University of California – Berkeley; 2011. [cited 2020 Feb 17]. 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

Macquarie University

18.
Lanari, Edoardo.
Homotopy *theory* of Grothendieck ∞-groupoids and ∞-categories.

Degree: 2019, Macquarie University

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

►

Empirical thesis.

Bibliography: pages 120-121.

Chapter 1. Introduction – Chapter 2. Globular theories and models – Chapter 3. Basic homotopy *theory* of ∞-groupoids – Chapter…
(more)

Subjects/Keywords: Homotopy theory; Model categories (Mathematics); homotopy theory; higher category theory

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Lanari, E. (2019). Homotopy theory of Grothendieck ∞-groupoids and ∞-categories. (Doctoral Dissertation). Macquarie University. Retrieved from http://hdl.handle.net/1959.14/1269609

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

Lanari, Edoardo. “Homotopy theory of Grothendieck ∞-groupoids and ∞-categories.” 2019. Doctoral Dissertation, Macquarie University. Accessed February 17, 2020. http://hdl.handle.net/1959.14/1269609.

MLA Handbook (7^{th} Edition):

Lanari, Edoardo. “Homotopy theory of Grothendieck ∞-groupoids and ∞-categories.” 2019. Web. 17 Feb 2020.

Vancouver:

Lanari E. Homotopy theory of Grothendieck ∞-groupoids and ∞-categories. [Internet] [Doctoral dissertation]. Macquarie University; 2019. [cited 2020 Feb 17]. Available from: http://hdl.handle.net/1959.14/1269609.

Council of Science Editors:

Lanari E. Homotopy theory of Grothendieck ∞-groupoids and ∞-categories. [Doctoral Dissertation]. Macquarie University; 2019. Available from: http://hdl.handle.net/1959.14/1269609

UCLA

19.
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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

Pauwels BE. Quasi-Galois theory in tensor-triangulated categories. [Internet] [Thesis]. UCLA; 2015. [cited 2020 Feb 17]. 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 Minnesota

20.
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 February 17, 2020. http://hdl.handle.net/11299/182756.

MLA Handbook (7^{th} Edition):

Sharma, Amit. “Higher Picard groupoids and Dijkgraaf-Witten theory.” 2016. Web. 17 Feb 2020.

Vancouver:

Sharma A. Higher Picard groupoids and Dijkgraaf-Witten theory. [Internet] [Doctoral dissertation]. University of Minnesota; 2016. [cited 2020 Feb 17]. 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 Kansas

21. 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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

Lohoefener JL. A Methodology for Automated Verification of Rosetta Specification Transformations. [Internet] [Doctoral dissertation]. University of Kansas; 2011. [cited 2020 Feb 17]. 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

22. 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 February 17, 2020. http://dspace.library.uu.nl:8080/handle/1874/294634.

MLA Handbook (7^{th} Edition):

Faber, E E. “Code-free Recursion & Realizability.” 2014. Web. 17 Feb 2020.

Vancouver:

Faber EE. Code-free Recursion & Realizability. [Internet] [Masters thesis]. Universiteit Utrecht; 2014. [cited 2020 Feb 17]. 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

23.
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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

Donselaar N. Uniform Kan cubical sets as a path category. [Internet] [Masters thesis]. Universiteit Utrecht; 2016. [cited 2020 Feb 17]. 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

24.
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 February 17, 2020. http://hdl.handle.net/1959.14/1068205.

MLA Handbook (7^{th} Edition):

Burke, Matthew. “Synthetic Lie theory.” 2015. Web. 17 Feb 2020.

Vancouver:

Burke M. Synthetic Lie theory. [Internet] [Doctoral dissertation]. Macquarie University; 2015. [cited 2020 Feb 17]. 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

25. 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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

Williamson RD. Categorical model structures. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2020 Feb 17]. 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

26. 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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

Kelly J. Exact categories, Koszul duality, and derived analytic algebra. [Internet] [Doctoral dissertation]. University of Oxford; 2018. [cited 2020 Feb 17]. 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

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

Degree: PhD, 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. (Doctoral Dissertation). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/265152

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

North, Paige Randall. “Type theoretic weak factorization systems.” 2017. Doctoral Dissertation, University of Cambridge. Accessed February 17, 2020. https://www.repository.cam.ac.uk/handle/1810/265152.

MLA Handbook (7^{th} Edition):

North, Paige Randall. “Type theoretic weak factorization systems.” 2017. Web. 17 Feb 2020.

Vancouver:

North PR. Type theoretic weak factorization systems. [Internet] [Doctoral dissertation]. University of Cambridge; 2017. [cited 2020 Feb 17]. Available from: https://www.repository.cam.ac.uk/handle/1810/265152.

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

University of Cambridge

28. 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 February 17, 2020. 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. 17 Feb 2020.

Vancouver:

North PR. Type theoretic weak factorization systems. [Internet] [Doctoral dissertation]. University of Cambridge; 2017. [cited 2020 Feb 17]. 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

29. Vagner, Dmitry. Diagrammatics in Categorification and Compositionality .

Degree: 2019, Duke University

URL: http://hdl.handle.net/10161/18805

► In the present work, I explore the theme of diagrammatics and their capacity to shed insight on two trends—categorification and compositionality—in and around contemporary…
(more)

Subjects/Keywords: Mathematics; Categorification; Category Theory; Compositionality; Diagrammatics; Systems Theory; Topology

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Vagner, D. (2019). Diagrammatics in Categorification and Compositionality . (Thesis). Duke University. Retrieved from http://hdl.handle.net/10161/18805

Not specified: Masters Thesis or Doctoral Dissertation

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

Vagner, Dmitry. “Diagrammatics in Categorification and Compositionality .” 2019. Thesis, Duke University. Accessed February 17, 2020. http://hdl.handle.net/10161/18805.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Vagner, Dmitry. “Diagrammatics in Categorification and Compositionality .” 2019. Web. 17 Feb 2020.

Vancouver:

Vagner D. Diagrammatics in Categorification and Compositionality . [Internet] [Thesis]. Duke University; 2019. [cited 2020 Feb 17]. Available from: http://hdl.handle.net/10161/18805.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Vagner D. Diagrammatics in Categorification and Compositionality . [Thesis]. Duke University; 2019. Available from: http://hdl.handle.net/10161/18805

Not specified: Masters Thesis or Doctoral Dissertation

University of Oxford

30. 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 ; https://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: 003; 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 ; https://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 February 17, 2020. https://ora.ox.ac.uk/objects/uuid:79a23c8c-81a5-4cf1-a108-29ba7dfd8850 ; https://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. 17 Feb 2020.

Vancouver:

Fong B. The algebra of open and interconnected systems. [Internet] [Doctoral dissertation]. University of Oxford; 2016. [cited 2020 Feb 17]. Available from: https://ora.ox.ac.uk/objects/uuid:79a23c8c-81a5-4cf1-a108-29ba7dfd8850 ; https://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 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.730061