Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 11 of 11 for “"Higher Categories"”.
-
Weakly enriched higher categories
… foundations for a theory of enriched [infinity]categories. We introduce a definition of such objects, based on a non-symmetric version of Lurie's theory of [infinity]-operads. Our first main result is a construction of the correct homotopy theory of enriched [infinity]-categories as a …
-
A computational approach to higher categories
Higher categories have become an important tool in mathematics, computer science, and physics. String diagrams provide an intuitive way for working with higher categories and have seen a surge of interest in recent years. However, in practice, they can be hard to draw or manipulate, and there is a …
-
A type-theoretic approach to semistrict higher categories
Weak ∞-categories are known to be more expressive than their strict counterparts, but are more difficult to work with, as constructions in such a category involve the manipulation of explicit coherence data. This motivates the search for definitions of semistrict ∞-categories, where some, but not …
-
A weighty theorem of the heart for the algebraic K-theory of higher categories
… sphere theorem for the algebraic K-theory of higher categories. The algebraic K-theory of a stable [infinity symbol]-category with a bounded non-degenerate weight structure is proven to be equivalent to the algebraic K-theory of the heart of the weight structure. We relate this theorem to …
-
Evolution of the Higher Categories of Cercopidae, With a Revision of the North American Species of Aphrophora (Homoptera)
Made available in DSpace on 2014-12-05T21:33:55Z (GMT). No. of bitstreams: 1 0018175.pdf: 4538276 bytes, checksum: a1a0e447f09f122a5caa21c89f78eba3 (MD5) Previous issue date: 1956
-
An inductive approach to ω-categories and their computads
… it can be freely generated. In the case of ω-categories, this data can be either globular sets, or the computads of Street and Batanin. In this thesis, we give an inductive description to computads and the free weak ω-categories they generate. We then generalise this approach to other higher …
-
A theory of elementary higher toposes
… this work is to define and study an elementary higher topos. We will achieve this by going through several steps. First we review complete Segal spaces. Then we study various fibrations of complete Segal spaces and use that to define representable Cartesian fibrations. Next we use representable …
-
Topics in 2-categorical Algebra
In this thesis we will examine 2-categories and higher categorical structures and formulate 1-categorical theorems in the language of higher categories as well as formulate some internal definitions of these base structures in finitely complete categories. We will begin by defining the relevant 2- …
-
Investigating the Effects of Corporate Governance of Banks in Nigeria: A Grounded Theory Approach
… coding leads to the development of eight open categories, their properties and dimensions based on the responses garnered from the interviews and focus groups. Second, through axial coding, the identified open categories are subsumed into higher categories, and the relationships among these …
-
Hubungan antara kesejahteran psikologis dan penyesuaian diri terhadap stres akademik pada mahasiswa baru Fakultas Psikologi Universitas Islam Negeri Maulana Malik Ibrahim Malang tahun akademik 2013
… freshmen psychology faculty at UIN Malang also higher categories, namely (88.0%) or 44 students. It found that the level of significance of this study is 0.001 (p <0.05), and F = 8.154. Rated R (correlation coefficient) of 0.508 means there is a significant relationship between psychological …
-
Dualities and Categorical Structures from 2D Up
String Theory is the most promising candidate unifying theory of fundamental interactions so far; however, the Standard Model (SM) still features many open questions. The present work aims at providing a step further towards reconciling the two, analysing part of the richness that underlying …