scholarly journals Computational Paths and the Fundamental Groupoid of a Type

2021 ◽  
Author(s):  
Arthur F. Ramos ◽  
Ruy J. G. B. de Queiroz ◽  
Anjolina G. de Oliveira
Keyword(s):  
Category Theory ◽  
Fundamental Concept ◽  
Fundamental Groupoid

Using computational paths as the fundamental concept, we show that we can leverage Category Theory to propose the concept of fundamental groupoid of a type.

PERSPECTIVE DIRECTIONS OF EDUCATIONAL AND PEDAGOGICAL DISCOURSE DEVELOPMENT: CONSTRUCTIVISM AND HERMENEUTICS

2020 ◽  
Vol 5 (98) ◽  
pp. 125-135
Author(s):  
TAMARA G. GALUSHKO ◽  
NATALIA Y. ZAITSEVA ◽  
ELENA A. ZHEREBINA
Keyword(s):  
Fundamental Concept ◽  
Pedagogical Discourse

This article deals with the paradigms of constructivism and hermeneutics in modern educational and pedagogical discourse in order to justify the developing function of education. The theoretical provisions of constructivism, on the basis of which man constructs reality, and hermeneutic understanding, expressed through the concept of construction , are presented in the works of domestic and foreign researchers.The method of communication between the learner and teacher is considered as an awakening learning, as a construction based on reflection and understanding in the context of activity and deep ethics. An example of the use of constructivism in linguodidactics based on the fundamental concept oflearner autonomy is given.

Differenzierungen im Begriff, Gegenwart‘ bei Husserl und Merleau-Ponty

2017 ◽  
Vol 2017 (1) ◽  
pp. 39-54
Author(s):  
Jörg Zimmer
Keyword(s):  
Modern Philosophy ◽  
The Body ◽  
Fundamental Concept ◽  
Phenomenological Description ◽  
Philosophy Of Time ◽  
Phenomenology Of Perception ◽  
The World ◽  
Classical Philosophy ◽  
The Moment ◽  
Empty Time

In classical philosophy of time, present time mainly has been considered in its fleetingness: it is transition, in the Platonic meaning of the sudden or in the Aristotelian sense of discreet moment and isolated intensity that escapes possible perception. Through the idea of subjective constitution of time, Husserl’s phenomenology tries to spread the moment. He transcends the idea of linear and empty time in modern philosophy. Phenomenological description of time experience analyses the filled character of the moment that can be detained in the performance of consciousness. As a consequence of the temporality of consciousness, he nevertheless remains in the temporal conception of presence. The phenomenology of Merleau-Ponty, however, is able to grasp the spacial meaning of presence. In his perspective of a phenomenology of perception, presence can be understood as a space surrounding the body, as a field of present things given in perception. Merleau-Ponty recovers the ancient sense of ‘praesentia’ as a fundamental concept of being in the world.

不定自然変換理論に基づく比喩理解モデルの計算論的実装の試み

2020 ◽  
Author(s):  
Shunsuke Ikeda ◽  
Miho Fuyama ◽  
Hayato Saigo ◽  
Tatsuji Takahashi
Keyword(s):  
Category Theory ◽  
Analogical Reasoning ◽  
Machine Learning Techniques ◽  
Huge Amount ◽  
Metaphor Comprehension ◽  
Weighted Directed Graph ◽  
Learning Techniques ◽  
Descriptive Validity ◽  
Association Data ◽  
Human Participants

Machine learning techniques have realized some principal cognitive functionalities such as nonlinear generalization and causal model construction, as far as huge amount of data are available. A next frontier for cognitive modelling would be the ability of humans to transfer past knowledge to novel, ongoing experience, making analogies from the known to the unknown. Novel metaphor comprehension may be considered as an example of such transfer learning and analogical reasoning that can be empirically tested in a relatively straightforward way. Based on some concepts inherent in category theory, we implement a model of metaphor comprehension called the theory of indeterminate natural transformation (TINT), and test its descriptive validity of humans' metaphor comprehension. We simulate metaphor comprehension with two models: one being structure-ignoring, and the other being structure-respecting. The former is a sub-TINT model, while the latter is the minimal-TINT model. As the required input to the TINT models, we gathered the association data from human participants to construct the ``latent category'' for TINT, which is a complete weighted directed graph. To test the validity of metaphor comprehension by the TINT models, we conducted an experiment that examines how humans comprehend a metaphor. While the sub-TINT does not show any significant correlation, the minimal-TINT shows significant correlations with the human data. It suggests that we can capture metaphor comprehension processes in a quite bottom-up manner realized by TINT.

Category Theory and Foundations

2018 ◽  
Author(s):  
Michael Ernst
Keyword(s):  
Category Theory ◽  
Mathematical Thinking ◽  
Mathematical Practice ◽  
Foundations Of Mathematics ◽  
Ongoing Debate ◽  
Technical Adequacy ◽  
Theoretical Foundations

In the foundations of mathematics there has been an ongoing debate about whether categorical foundations can replace set-theoretical foundations. The primary goal of this chapter is to provide a condensed summary of that debate. It addresses the two primary points of contention: technical adequacy and autonomy. Finally, it calls attention to a neglected feature of the debate, the claim that categorical foundations are more natural and readily useable, and how deeper investigation of that claim could prove fruitful for our understanding of mathematical thinking and mathematical practice.

Enriched Meanings

2020 ◽  
Author(s):  
Ash Asudeh ◽  
Gianluca Giorgolo
Keyword(s):  
Cognitive Science ◽  
Programming Languages ◽  
Category Theory ◽  
Worst Case ◽  
Disciplinary Boundaries ◽  
Semantics Of Programming Languages ◽  
Basic Meaning ◽  
Language Interpretation ◽  
Major Branch ◽  
Compositional Properties

This book presents a theory of enriched meanings for natural language interpretation. Certain expressions that exhibit complex effects at the semantics/pragmatics boundary live in an enriched meaning space while others live in a more basic meaning space. These basic meanings are mapped to enriched meanings just when required compositionally, which avoids generalizing meanings to the worst case. The theory is captured formally using monads, a concept from category theory. Monads are also prominent in functional programming and have been successfully used in the semantics of programming languages to characterize certain classes of computation. They are used here to model certain challenging linguistic computations at the semantics/pragmatics boundary. Part I presents some background on the semantics/pragmatics boundary, informally presents the theory of enriched meanings, reviews the linguistic phenomena of interest, and provides the necessary background on category theory and monads. Part II provides novel compositional analyses of the following phenomena: conventional implicature, substitution puzzles, and conjunction fallacies. Part III explores the prospects of combining monads, with particular reference to these three cases. The authors show that the compositional properties of monads model linguistic intuitions about these cases particularly well. The book is an interdisciplinary contribution to Cognitive Science: These phenomena cross not just the boundary between semantics and pragmatics, but also disciplinary boundaries between Linguistics, Philosophy and Psychology, three of the major branches of Cognitive Science, and are here analyzed with techniques that are prominent in Computer Science, a fourth major branch. A number of exercises are provided to aid understanding, as well as a set of computational tools (available at the book's website), which also allow readers to develop their own analyses of enriched meanings.

scholarly journals An Essential, Hyperconnected, Local Geometric Morphism that is not Locally Connected

2021 ◽  
Author(s):  
Jens Hemelaer ◽  
Morgan Rogers
Keyword(s):  
Category Theory ◽  
Mailing List ◽  
Geometric Morphism

AbstractThomas Streicher asked on the category theory mailing list whether every essential, hyperconnected, local geometric morphism is automatically locally connected. We show that this is not the case, by providing a counterexample.

Imbalance Between Production and Conjugation of Bilirubin: A Fundamental Concept in the Mechanism of Neonatal Jaundice

PEDIATRICS ◽  
2002 ◽  
Vol 110 (4) ◽  
pp. e47-e47 ◽  
Author(s):  
M. Kaplan ◽  
M. Muraca ◽  
C. Hammerman ◽  
F. F. Rubaltelli ◽  
M. T. Vilei ◽  
...  
Keyword(s):  
Neonatal Jaundice ◽  
Fundamental Concept

scholarly journals Category Theory for Autonomous and Networked Dynamical Systems

Entropy ◽  
2019 ◽  
Vol 21 (3) ◽  
pp. 302 ◽  
Author(s):  
Jean-Charles Delvenne
Keyword(s):  
Dynamical Systems ◽  
Systems Theory ◽  
Ergodic Theory ◽  
Category Theory ◽  
Open Systems ◽  
Topological Dynamics ◽  
Control Problems ◽  
Natural Conditions ◽  
Discussion Paper ◽  
Open Systems Theory

In this discussion paper we argue that category theory may play a useful role in formulating, and perhaps proving, results in ergodic theory, topogical dynamics and open systems theory (control theory). As examples, we show how to characterize Kolmogorov–Sinai, Shannon entropy and topological entropy as the unique functors to the nonnegative reals satisfying some natural conditions. We also provide a purely categorical proof of the existence of the maximal equicontinuous factor in topological dynamics. We then show how to define open systems (that can interact with their environment), interconnect them, and define control problems for them in a unified way.

scholarly journals Reflective subcategories

2000 ◽  
Vol 42 (1) ◽  
pp. 97-113 ◽  
Author(s):  
Juan Rada ◽  
Manuel Saorín ◽  
Alberto del Valle
Keyword(s):  
Category Theory ◽  
Full Subcategory ◽  
Subject Classification ◽  
Adjoint Functor ◽  
Direct Limits ◽  
The Relationship ◽  
Good Behaviour

Given a full subcategory [Fscr ] of a category [Ascr ], the existence of left [Fscr ]-approximations (or [Fscr ]-preenvelopes) completing diagrams in a unique way is equivalent to the fact that [Fscr ] is reflective in [Ascr ], in the classical terminology of category theory.In the first part of the paper we establish, for a rather general [Ascr ], the relationship between reflectivity and covariant finiteness of [Fscr ] in [Ascr ], and generalize Freyd's adjoint functor theorem (for inclusion functors) to not necessarily complete categories. Also, we study the good behaviour of reflections with respect to direct limits. Most results in this part are dualizable, thus providing corresponding versions for coreflective subcategories.In the second half of the paper we give several examples of reflective subcategories of abelian and module categories, mainly of subcategories of the form Copres (M) and Add (M). The second case covers the study of all covariantly finite, generalized Krull-Schmidt subcategories of {\rm Mod}_{R}, and has some connections with the “pure-semisimple conjecture”.1991 Mathematics Subject Classification 18A40, 16D90, 16E70.

Sign in / Sign up

Export Citation Format

Share Document