scholarly journals Triposes as a generalization of localic geometric morphisms

Author(s):  
Jonas Frey ◽  
Thomas Streicher

Abstract In Hyland et al. (1980), Hyland, Johnstone and Pitts introduced the notion of tripos for the purpose of organizing the construction of realizability toposes in a way that generalizes the construction of localic toposes from complete Heyting algebras. In Pitts (2002), one finds a generalization of this notion eliminating an unnecessary assumption of Hyland et al. (1980). The aim of this paper is to characterize triposes over a base topos ${\cal S}$ in terms of so-called constant objects functors from ${\cal S}$ to some elementary topos. Our characterization is slightly different from the one in Pitts’s PhD Thesis (Pitts, 1981) and motivated by the fibered view of geometric morphisms as described in Streicher (2020). In particular, we discuss the question whether triposes over Set giving rise to equivalent toposes are already equivalent as triposes.

Open Theology ◽  
2019 ◽  
Vol 5 (1) ◽  
pp. 107-115 ◽  
Author(s):  
Dan Batovici

Abstract The O.9.27 manuscript of Trinity College Cambridge is a minuscule manuscript of Hesiod’s Opera et Dies. In a 2001 PhD thesis on Greek palimpsests in Cambridge by Natalie Tchernetska, this manuscript is described to contain two distinct lower scripts, one of which identified as a New Testament text. The author read four lines and a partial fifth of the one-leaf palimpsest that contain Mark 1:44, which is remarkable considering that the washing made the lower script virtually the same colour as the page. This note re-examines the Markan lower script in O.9.27 and offers an account of the use of image processing software for the purpose to uncover more text in a difficult palimpsest, a method useful when MSI is not available.


2004 ◽  
Vol 31 ◽  
pp. 43-68 ◽  
Author(s):  
Walter E.A. van Beek

It really was a chance occasion, just before Christmas 2003. On my way to the Dogon area I had greeted my friends in Sangha, and was speaking with a Dutch friend, when a French tourist lady suddenly barged into the hall of the hotel and asked me: “There should be a cavern with a mural depicting Sirius and the position of all the planets. I saw it in a book. Where is it?”. My friend smiled wrily, amused by the irony of situation: by chance the lady had fallen upon the one who had spent decennia to disprove this kind of “information”. “In what book?” I asked, and named a few. It was none of these, and she could not tell me. Cautiously (maybe she had planned her whole trip around this Sirius “experience”) I explained to her that though there was a lot to see, this particular mural did not exist. She left immediately, probably convinced she stumbled on a real ignoramus.In retrospect I never meant to criticize Marcel Griaule, it just happened as a consequence of other choices, which eventually led me to Dogon country. After completing my PhD thesis on the Kapsiki/Higi of northern Cameroun and northeastern Nigeria, I started scouting for a second area of field research. For two reasons, I wanted a comparable setting: to allow myself to feel at home easily because I seemed to have less time, and to use in general the approach of controlled comparison. In my first field research I had made a more or less classic ethnography of a group of comparable size (150,000) in a similar environment, living in the Mandara Mountains south of Lake Chad and straddling the border between northern Cameroun and North Eastern Nigeria.


2016 ◽  
Vol 6 (1) ◽  
pp. 4-9 ◽  
Author(s):  
Carlos B. Hirschberg

This essay presents and discusses an eight-session seminar course designed to develop critical thinking skills in doctoral biochemistry students by exposing them to classical experiments in biochemistry. During each 2.5 session, different key topics of the discovery and development of biochemical concepts are discussed. Before each session, students are required to read the one or two classical papers. The size of the seminar course and the seating of the students are critical to make this a highly interactive environment for all students to participate in the critique and re-designing of key experiments, including control experiments, which helped formulate these classical concepts. Final student evaluation of the course’s goals has two equal components: Course participation and a final take home exam due two weeks after the course is completed. Together with the take home exam students are also required to write an evaluation of the course, preferably no longer than half a page. Students’ comments of the course have been uniformly positive. The author notes the sooner students are exposed to this manner of thinking, the better they will be equipped to choose an appropriate mentor and contribute creatively to attempt to solve the scientific problem of their PhD thesis.


2017 ◽  
Author(s):  
Jonathan Greig

Damascius posits a split for the Neoplatonic first principle into two aspects, or entities: the Ineffable as the ‘true’ first principle, and the One as the first cause of all things, as in Proclus, but subordinated to the Ineffable. Behind this distinction is an essential shift in the One’s causality, both as a response to and critique of Proclus’ One. I look at De Principiis I, 2–4, and I, 92–94, in relation to Proclus, seeing how Damascius transforms the One as causally synonymous with 'all things' (τά πάντα). In doing so, I show that Damascius both retains Proclus' basic argument that the One does not directly pre-contain plurality, and that the One *indirectly* anticipates plurality by causing 'all things'. By holding these two stances, Damascius appears to lead a *via media* between a Plotinian and a Proclean view of the One.[Colloquium presentation (LMU Munich/MUSAPH, Jan. 17, 2017; Universität Bonn, Jan. 30, 2017; KU Leuven, Mar. 23, 2017) and conference presentation (NAAP, Edinburgh, Apr. 10, 2017) summarizing a basic argument of the final chapter of my PhD thesis. The attached PDF is from the KU Leuven presentation.]


Author(s):  
Katharina Mittlböck

This chapter contributes to the discussion on worth and dangers of digital role-playing games. With a psychoanalytical approach it focuses on the psyche's abilities provided by entering a game space. Building on the basic axioms of psychoanalysis a set of hypotheses concerning a psychoanalytic view on the act of playing is developed, which is systematically processed in the following. The aim of these deliberations is to outline that playing always means to deal with certain chaos in the sense of an unknown and unfamiliar structure in which the player immerses. The narrow edge between facilitating personality development on the one side and overwhelming - the player's psyche endangering - chaos on the other is worked out. The chapter is a revised part of an upcoming transdisciplinary PhD-thesis in the field of educational science and game studies.


2015 ◽  
Vol 65 (1) ◽  
pp. 4-5
Author(s):  
Milan Kubiatko

I would like to thank the editor for the place and possibility to write a brief contribution to the problematic of supervisors. I know it is possible to write about this topic more than one page. Here, only a very short kind of information is presented toward this problem and maybe in the future, it will be possible to read more about this. The right supervisor is one of the most important persons in the life of a PhD student. This cooperation aims to the quality of work (about the quality, I do not want to write, because this concept is very abstract and in the eyes of every person it means something else), next it influences the awareness, what the research work means. This relationship has an influence on the future life of students, as personal to work. We will be talking about the work life of the student. We can meet different types of supervisors, probably the worst one is the one, who has got students only for his own benefit (financial support – it depends on the country; the necessity for the next academic degree; publication purposes; students’ work on the department; etc.). In this case students are dependent on their own skills and help from the others, except the supervisor.


2015 ◽  
Vol 65 (1) ◽  
pp. 131-156
Author(s):  
Ole Nyborg †

Kærligheden, mesteren og mesterlærenOle NyborgThe Concept of Love, the Master, and the Aprentice[1]In his dissertation Nyborg argues that Grundtvig’s sermons promote an educational theory that differs from the one found through standard interpretations of Grundtvig’s pedagogical thinking. In chapter three, which is printed in the journal, Nyborg describes a cognitive schema of fatherliness and paternalism that strongly influences how Grundtvig presents the concept of love in his sermons between the years of 1832 and 1849. Nyborg argues specifically that Grundtvig frequently interprets the expression “God is love” into an idea of paternal direction, chastisement, and education. Grundtvig contends that Christians must love their neighbors in the same way, within a hierarchical or asymmetrical relation. Christians emulate the Father by acting as stronger, more knowing, fatherly agents towards their neighbors. The purpose of this love becomes evident in the didactic element in Grundtvig’s sermons. Christians channel their love into thinking, feeling, relating, and acting to save their neighbors from the evil, darkness, ungodliness, carnality, and immorality of the world. Christian disciples learn this behavior through a sort of apprenticeship, which like any training is meant to help the apprentice grow and become like the master. Christian disciples get their training in the so-called school of the Lord, where the Master as strong father teaches them suffering, discipline, renunciation, and aspiration. Disciples are constantly tempted to leave  he school and return to the pleasures of the world. In his sermons Grundtvig connects this type of school with its pedagogical theory with descriptions in the New Testament of the learning community of Christ and his disciples. The teleological end-point of this demanding and difficult education is a fundamental transformation of the motivation and character of the disciples. They begin their education contaminated and damaged physically, mentally, and morally; they end it justified, sanctified, and purified. Their motivation, thoughts, feelings, values, aspiration, nature, and personality are transformed. They move closer and closer to the central identity, competence, and nature of their Master who is the magnificent paragon and the pattern of love, morality, spirituality, and virtue.[1] Ole Nyborg died on 18 February 2014 – see the obituary in this journal. On 29 November 2013, he had defended his PhD thesis, titled Grundtvig og kærligheden – Kærlighedsforståelsen i N.F.S. Grundtvigs prædikener (Grundtvig and Love: Love Comprehension in N.F.S. Grundtvig’s sermons), at the Faculty of Theology in Copenhagen. In consultation with the family of Ole Nyborg and Niels Henrik Gregersen it was decided to publish the third chapter of the dissertation, which concerns the vision of religious educational upbringing in Grundtvig’s sermons. This summary is inspired by the summary in Nyborg’s thesis pp. 253-253. The thesis can be downloaded at: http://curis.ku.dk/ws/files/92172145/Ole_Nyborg_Grundtvig_og_Kaerligheden_til_CURIS.pdf ( 1. November 2014). The editors.


2021 ◽  
pp. 1-28
Author(s):  
Marie-Pierre Bès ◽  
Jéräme Lamy ◽  
Marion Maisonobe

Abstract the article relies on the analysis of Social Networks in order to compare the networks at work in the composition of thesis committees between 2003 and 2008 in a French provincial university in three very different disciplines – astrophysics, archaeology and economics – so as to test the hypothesis that connections actually pre-existed to graduation. Were members co-authors of scientific publications or were committees constituted only for the sake of awarding a PhD? Astrophysics and its “equipment” ethos is the one to superimpose most often committee membership and co-publishing. Archaeology falls somewhere in-between, due to the greatest scarcity of committee members. Last of the three, economics actually separates the two types of collaboration by most frequently inviting international researchers. Peer Review https://publons.com/publon/10.1162/qss_a_00143


2013 ◽  
pp. 331-338
Author(s):  
Ciprián Horváth

Abstract of PhD thesis submitted in 2013 to the Archaeology Doctoral Programme, Doctoral School of History, Eötvös Loránd University, Budapest under the supervision of Tivadar Vida. The dissertation examines the burials of the territory of two counties, Győr and Moson in the west of the Hungarian Principality in the age of the Hungarian Conquest, and the Hungarian Kingdom in the Early Árpádian Age. Their analysis will be the ground for sketching the picture of the territory in the 10th-11th centuries. First the period’s sites are presented, then the assessment of individual phenomena and object types follows, providing ground for the examinations of the history of settlements, which partly leads through the examination of the borderland character of the territory. The territory of the former two counties forms the geographical frames. The temporal frames are formed by, on the one hand, the occupation of Transdanubia in – according to our present knowledge – 900 and on the other hand, the end of the 11th century and the beginning of the 12th century.


2021 ◽  
Vol 18 (4) ◽  
Author(s):  
Ken Pledger

This is a reprinting of Ken Pledger’s PhD thesis, submitted to the University of Warsaw in 1980 with the degree awarded in 1981. It develops a one-sorted approach to the theory of plane geometry, based on the idea that the  usually two-sorted theory “can be made one-sorted by keeping careful account of whether the incidence relation is iterated an even or odd number of times”.The one-sorted structures can also serve as Kripke frames for modal logics, and the thesis defines and studies two such logics that are validated by projective planes and elliptic planes respectively. It raises questions of logical completeness for these systems that are addressed in the first article of this journal issue.


Sign in / Sign up

Export Citation Format

Share Document