Category Theory
Using Category Theory to Explore and Model Label Event Structures
... Researches [6] [7] used category theory to model concurrent systems. As a continuation, we propose to use category theory to explore and model LES for concurrent systems in this paper. ...
12
Soft Category Theory - An Introduction
... that category theory unifies and simplifies many properties of mathe- matical systems, in this paper, we focus on introducing basic notions of soft ...Soft category is actually a parameterized family ...
18
Study on Fuzzy Cognitive Map Structures through Category Theory
... structure. Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed ges ...
6
An Application of Category Theory to a Class of the Systems of the Superquadratic Wave Equations
... Choi and Jung 1–3 investigate the existence and multiplicity of solutions of the single nonlinear wave equation with Dirichlet boundary condition. In 4 the authors show by critical point theory Linking Theorem ...
16
Category theory applied to a radically new but logically essential description of time and space
... McTaggart's concern with time is in many ways very analogous with Buber's concern with space. Buber knew more or less what space was, but when he thought about it, it looked somehow spooky and unreal. Maybe we could say ...
19
The exploration of a category theory based virtual Geometrical product specification system for design and manufacturing
... on Category Theory (coequalizer) that can be used to control the logical manipulations of objects to generate new knowledge from old (see Section ...using Category Theory to represent ...
242
The Role of Category Theory in Software Design
... cocomplete category of specifications over higher-order ...of category theory is to organize the larger-scale structure of specifications and the refinement ...the category are specifications, ...
16
Industrial Applications of Software Synthesis via Category Theory Case Studies Using Specware
... We have described our experiences in applying a category theory based approach to indus- trial strength software specification, synthesis, and maintenance. This paradigm is one that allows the capture and ...
24
LIMITS IN CATEGORY THEORY
... The notion of a limit in category theory generalizes various types of universal constructions that occur in diverse areas of mathematics. It can show very precisely how thematically similar constructions of ...
11
The Reflection of Markedness in Prototype Category Theory on Semantic Level and Its Implications for Second Language Acquisition
... prototype theory, so the language learners could acquire these antonyms in an easy way as they know which is the most often adopted and most typical one with the prototype category ...prototype ...
7
Local Higher Category Theory
... The ultimate purpose of this chapter is to show that cocycle-theoretic techniques apply to local higher category theory. However, the problem is that neither the Joyal or the complete Segal model structures ...
92
Normalisation techniques in proof theory and category theory
... /* R3.R3.R12 norm2provedZ proved provod proved proved append append append appond appondi appendi appendi append' appendi append appond appond ;append appond appond appond append append [r] ...
315
Exact category of hypermodules
... the theory of hyperstructures and fix our ...this theory which may be used in this paper we refer the reader to [1, ...of category theory can be found in [3, ...
8
Functors , , and in the Category of A - Alg
... The covariant functors (", −) , " ⊗ − and (", −) will be studied in the category − ! (resp. ! − ) and their relationship with the functor () will be studied. In the future the result in [6] on the ...
9
Representations for category disambiguation
... The central question of this paper is: which representation (of a word and its context) indi- cates that two situations should be categorized the same? In this context, POS annotation error detec- tion provides an ideal ...
8
Fusion category algebras
... Abstract. The fusion system F on a defect group P of a block b of a finite group G over a suitable p-adic ring O does not in general determine the number l(b) of isomorphism classes of simple modules of the block. We ...
14
Category dependent and category independent goal value codes in human ventromedial prefrontal cortex
... and category-independent value signals (which reflect the value of all stimuli, regardless of their ...The category-independent value signals were located in a region of the vmPFC along the medial wall but ...
22
Carcinogenicity: Category 2 Specific Target Organ Toxicity: Repeated Category 2 Eye Damage/Irritation: Category 2B Warning
... Difenoconazole: Kidney and liver effects at high doses (>5000 ppm; rats); Eye effects in dogs at high dose levels.. Fludioxonil: Liver and kidney toxicity at high dose levels.[r] ...
9
Select your category
... Close in on the action with a 1 NIKKOR telephoto zoom lens. Take in sweeping mountain ranges or city skylines, fit the whole family in or focus on a special individual. Nikon’s Power-[r] ...
30
The Morningstar Category Classifications
... Tactical Allocation portfolios seek to provide capital appreciation and income by actively shifting allocations across investments. These portfolios have material shifts across equity regions, and bond sectors on a ...
43