Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Publication
- Publication Type
Articles 1 - 4 of 4
Full-Text Articles in Other Mathematics
Sl(2,Z) Representations And 2-Semiregular Modular Categories, Samuel Nathan Wilson
Sl(2,Z) Representations And 2-Semiregular Modular Categories, Samuel Nathan Wilson
LSU Doctoral Dissertations
We address the open question of which representations of the modular group SL(2,Z) can be realized by a modular category. In order to investigate this problem, we introduce the concept of a symmetrizable representation of SL(2,Z) and show that this property is necessary for the representation to be realized. We then prove that all congruence representations of SL(2,Z) are symmetrizable. The proof involves constructing a symmetric basis, which greatly aids in further calculation. We apply this result to the reconstruction of modular category data from representations, as well as to the classification of semiregular categories, which are defined via an …
Categorical Aspects Of Graphs, Jacob D. Ender
Categorical Aspects Of Graphs, Jacob D. Ender
Undergraduate Student Research Internships Conference
In this article, we introduce a categorical characterization of directed and undirected graphs, and explore subcategories of reflexive and simple graphs. We show that there are a number of adjunctions between such subcategories, exploring varying combinations of graph types.
Logic -> Proof -> Rest, Maxwell Taylor
Logic -> Proof -> Rest, Maxwell Taylor
Senior Independent Study Theses
REST is a common architecture for networked applications. Applications that adhere to the REST constraints enjoy significant scaling advantages over other architectures. But REST is not a panacea for the task of building correct software. Algebraic models of computation, particularly CSP, prove useful to describe the composition of applications using REST. CSP enables us to describe and verify the behavior of RESTful systems. The descriptions of each component can be used independently to verify that a system behaves as expected. This thesis demonstrates and develops CSP methodology to verify the behavior of RESTful applications.
Coalgebraic Semantics Of Reflexive Economics (Dagstuhl Seminar 15042), Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel
Coalgebraic Semantics Of Reflexive Economics (Dagstuhl Seminar 15042), Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel
Engineering Faculty Articles and Research
This report documents the program and the outcomes of Dagstuhl Seminar 15042 “Coalgebraic Semantics of Reflexive Economics”.