Where results make sense

About us   |   Why use us?   |   Reviews   |   PR   |   Contact us

Topic: Category:Construction

    Note: these results are not from the primary (high quality) database.

FMCS'04: Abstracts The construction deals well with the structure of a symmetric monoidal closed category, sums, products, and the like, in that if one starts with a category with (some of) this structure then the constructed category will also have it. (Of course, it was the computer scientist Alan Turing who really made this concept tractable.) This paper presents various examples of apparently straightforward constructions in two-dimensional category theory for which the problem of determining the equivalence of two elements is undecidable. The second is to construct a formal strict monoidal category using generators and relations, and show that it is in fact the free braided pivotal category. pages.cpsc.ucalgary.ca /~robin/FMCS/FMCS_04/abstracts.html   (2416 words)

Logical Environments Using the Grothendieck construction to generate a category, the adjointness properties mean that the associated signature projection is a bifibration. When using the Grothendieck construction to generate a category of theories, the adjointness properties mean that the associated signature projection is a bifibration. The sequent construction forms an indexed (discrete) category Seq : Set → Set. suo.ieee.org /IFF/metalevel/lower/metatheory/environment/version20041010.html   (2945 words)

CAMSIS USA The 2000 construction used the US 2000 Census classification ; the 1990 CAMSIS construction is based upon the American 1990 census occupational classification OCC90, and the 1960 construction based upon the 1960 census occupational classification OCC60. The first uses those categories that are conventionally distinguished in US occupational data; the second uses those constructed categories that we derive in order to provide scores that are compatible with other groupings that are used in international comparative studies (see the fuller discussion in the web page on Status in Employment). We have also prepared a file which links the CAMSIS scores, as derived on OCC90 units, to appropriate ISCO-88 occupational categorisations, by using the files distributed by Harry Ganzeboom on the ISMF project which link the two schema. www.cf.ac.uk /socsi/CAMSIS/Data/USA.html   (2945 words)

Standards Update - Siemon Category 6/class E is generally considered to represent the highest bandwidth capable of being supported by unshielded twisted-pair (UTP) and screened twisted-pair (ScTP) cables; to achieve even greater performance, category 7 cables must utilize a more robust, fully shielded construction which virtually eliminates crosstalk between all pairs up to 600 MHz (see Figure 2). Category 6/class E is generally considered to represent the highest bandwidth capable of being supported by unshielded twisted-pair (UTP) and screened twisted-pair (ScTP) cables; to achieve even greater performance, category 7 cables must utilize a more robust, fully shielded construction which virtually eliminates crosstalk between all pairs up to 600 MHz. Category 7 cable is of a different construction than category 5e or 6 cable. www.siemon.com /us/white_papers/01-01-23-sff.asp   (1901 words)

AGG Documentation Category theory and especially the colimit construction, is suitable for both aspects, providing a unifying formal framework for object oriented design. The formal semantics of rule application is given in terms of category theory, by a single categorical construction known as a pushout in an appropriate category of attributed graphs with partial morphisms- hence the name Single-Pushout (SPO) approach. Colimit Techniques: For the treatment of structuring mechanisms for categorical constructions, there is one most important concept in category theory: the colimit construction. tfs.cs.tu-berlin.de /agg/docu.html   (1590 words)

Citations: Autonomous categories - Barr (ResearchIndex) Chu s construction takes a closed monoidal category V with pullbacks and completes it to a self dual category Chu(V; k) De Paiva [dP89a, dP89b] and Brown and Gurr [BG90, BGdP91] apply the Chu construction to respectively a version of Godel s Dialectica and Petri nets. But when Girard presented his logic at a category theory conference in Boulder in 1988, M. Barr recognized the suitability for modeling linear logic of his autonomous categories in general and his student P. Chu s construction of such in particular The main conclusion is that the category of separated extensional Chu objects for certain kinds of equational categories is equivalent to two usually distinct subcategories of the categories of uniform algebras of those categories. citeseer.ist.psu.edu /context/167340/0   (2832 words)

h0106 Examples of categories to which our construction applies are: the category of finite sets, the category of finite-dimensional vector spaces, and the category of finitely-generated free modules over a reasonable ring. As a corollary, we obtain that the generating hypothesis is true in the derived category of a commutative ring R if and only if R is von Neumann regular. http://hopf.math.purdue.edu/cgi-bin/generate?/Arone-Lesh/arone-lesh-press Title: Filtered spectra arising from permutative categories Authors: Gregory Arone University of Virginia Kathryn Lesh Union College Abstract: Given a special Gamma-category C satisfying some mild hypotheses, we construct a sequence of spectra interpolating between the spectrum associated to C and the Eilenberg-Mac Lane spectrum HZ. www.lehigh.edu /dmd1/public/www-data/h0106   (950 words)

thomason_SymMon_equals_Spectra.txt In the case where A is a strict symmetric monoidal category the construction* * coincides with that given in [Th2], except that instead of considering a pseudofunctor on* * op as an op-lax functor and applying Street's first construction for op-lax functors, on* *e considers Theory and Applications of Categories, Vol. In the case wh* *ere A is a strict symmetric monoidal category, this lax functor is in fact a pseudofu* *nctor, that associated to A in [Th2] Appendix. Null_=A of* * 5.2.3 is a lax morphism of lax symmetric monoidal categories. hopf.math.purdue.edu /Thomason/thomason_SymMon_equals_Spectra.txt   (7868 words)

Re: Derived categories in string theory Third observation: The construction of the topological branes exacly parallels the construction of the derived category. As you wrote, the derived category is made out of some category of chain complexes that should be thought of cohomology classes. So the problem of finding the spectrum of D-branes at some point in Kaehler moduli space is translated into the problem selecting those topological branes (out of those calculated in the large volume limit) that are true branes at that specific point in moduli space. www.lns.cornell.edu /spr/2001-09/msg0035479.html   (7868 words)

Construction management software Construction accounting software General Construction The construction management software in this category is designed for contractors who work on a variety of projects including commercial, industrial, and institutional building. Mechanical / HVAC Construction management software for the Mechanical category includes traditional mechanical contractors as well as HVAC and plumbing contractors. Construction Management Software has 30 fully-integrated modules that provide a broad range of construction accounting software functions that enable contractors to manage their complex businesses. www.dexterchaney.com   (7868 words)

Category theory preprints 1998 Using free simplicial groups, it is shown how to construct a free or totally free 2-crossed module on suitable construction data. The definition comes naturally from the ordinal sum on the base simplicial category $\Delta$. By the use of a `step-by-step' method based on the work of André, we will give a description of crossed algebraic models for the steps in the construction of a free simplicial resolution of an algebra. www.informatics.bangor.ac.uk /public/math/research/preprints/98/cathom98.html   (7868 words)

week174 My own paper ORDINAL SUMS AND EQUATIONAL DOCTRINES, SLNM 80 (1969) 141-155 shows that the augmented simplicial category Delta serves as the generic monad, but moreover goes on to actually apply this to show that the Kleisli construction is a tensor product left-adjoint to the Eilenberg- Moore construction which is an enriched Hom. For example, there is the algebraic theory of rings vs. the category of all rings, or a particular abstract group vs. the category of all permutation representations of the group. Category theorists love to talk about adjoint functors, but 2-category theorists know that these are just a special example of an "adjunction". math.ucr.edu /home/baez/week174.html   (7868 words)

Dottorato di Ricerca in Matematica - corsi 2003/2004 Then we define the equivariant derived category, also using the Borel construction, and see how to extend the usual functors on sheaves to the equivariant setting. In the same way, the equivariant derived category of $X$ is a well-behaved notion which coincides with the derived category (of sheaves) of $X/G$ for a freeaction. We first recall the Borel construction and definition of equivariant cohomology, and give some examples and some important results (e.g. www.math.unipd.it /~dottmath/corsi04.html   (7868 words)

new900.html "Construction formelle de la catégorie grammaticale de l'aspect (essai)." [Formal construction of the grammatical category of aspect (attempt).] La notion d'aspect. "La catégorie grammaticale du médiatif et les mécanismes perceptifs." [The grammatical category of the mediative and perceptive mechanisms.] Langues et langage (Problèmes et raisonnement en linguistique). "Reconsidering aspectuality: interrelations between grammatical and lexical aspect." Presented at 9th International Conference on Functional Grammar, Madrid 20-23 september 2000. www.scar.toronto.edu /~binnick/TENSE/new900.html   (7868 words)

Social construction article - Social construction term "social construction" What entails social construct? Weak - What-Means.com Hacking suggests that this third part of the analysis, the "interaction" between a socially constructed category and the individuals that are actually or potentially included in that category, is present in many "social construction" analyses involving types of human beings. Social scientists and literary scholars have claimed that many things are social constructions or social constructs, or that they have been socially constructed. This is a difficult question to answer; "social construction" may mean many things to many people. www.what-means.com /encyclopedia/Social_construct   (1390 words)

Dictionary of Meaning www.mauspfeil.net The attaching construction is an example of a pushout (category theory) pushout in the category of topological spaces. One can form a more general pushout by replacing ''i'' with an arbitrary continuous map ''g'' — the construction is similar. That is to say, the adjunction space is universal property universal with respect to following commutative diagram: www.mauspfeil.net /Adjunction_space.html   (479 words)

Alexandrov topology - Wikipedia, the free encyclopedia Considering the interior operator and closure operator to be modal operators on the power set Boolean algebra of X, this construction is a special case of the construction of a modal algebra from a modal frame i.e. There is a preorder ≤ such that the open sets of X are precisely those that are upwardly closed i.e if x is in the set and x ≤ y then y is in the set. There is a preorder ≤ such that the closed sets of X are precisely those that are downwardly closed i.e if x is in the set and y ≤ x then y is in the set. en.wikipedia.org /wiki/Alexandrov_topology   (479 words)

Directory - CDNet.com Operating System Lecture Notes - Notes on operating system theory, source code of describing actual construction of operating system in C programming language. CS 3210 Design of Operating Systems - A course in operating systems with a focus on the design and construction of a modern OS kernel. LusitanOS - Open source operating system, planned to be an OS entirely made by Portuguese people and built mainly as a way of self-learning and research on operating systems development. www.cdnet.com /cd/index.cgi?dir=/Computers/Programming/Operating_Systems   (479 words)

Rings, modules, and algebras in infinite loop space theory, by Anthony D. Elmendorf and Michael A. Mandell The framework we use is the concept of multicategory, a generalization of symmetric monoidal category that precisely captures the multiplicative structure we have present at all stages of the construction. We give a new construction of the algebraic K-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and output. Our method ends up in Smith's category of symmetric spectra, with an intermediate stop at a new category that may be of interest in its own right, whose objects we call symmetric functors. www.math.uiuc.edu /K-theory/0680   (479 words)

Atlas: Fully embedding (sober) topological spaces in a category of coalgebras with a sequence of three universal constructions by Aurelio Carboni We show that freely adding the last property to the result of the first ``free'' construction, and cofreely adding the first property to the result, we get a category of coalgebras and the claimed full embedding, which is in fact a coreflection. Eventhough the category of coalgebras so constructed has a plain direct description, the description by universal properties, and in particular by the second one, is quite useful to investigate the full embedding and his properties. Clearly, in such a construction some properties of Sets are lost, notably the cartesian product looses his cartesianess, and the (regular epi)-(mono) factorization of a map is not available anymore as a stable, proper factorization system. atlas-conferences.com /c/a/j/f/43.htm   (479 words)

Citations: The free exact category on a left exact one - Carboni, Magno (ResearchIndex) It was then observed that the same construction could be carried out starting with a category not with finite limits, but only with weak finite limits; this construction, along with its universal property, was described by Carboni and Vitale in [3] The same paper also contained a description of.... 2 Motivating Exact Categories The notion of an exact category is algebraic in the language of categories and one can give the free exact completion of a category, or of a category with finite limits, or of a regular category. Carboni and R. Celia Magno, The free exact category on a left exact one, J. Austral. citeseer.ist.psu.edu /context/269138/0   (1747 words)

Simplicial set - Wikipedia, the free encyclopedia Simplicial sets form a category usually denoted s Set or just S whose objects are simplicial sets and whose morphisms are natural transformations between them. It is a difficult theorem of Daniel Quillen that the category of simplicial sets with these classes of morphisms satisfies the axioms for a In mathematics, a simplicial set is a construction in en.wikipedia.org /wiki/Simplicial_set   (1747 words)

Comma category - Wikipedia, the free encyclopedia A comma category (also sometimes called a slice category) is a construction in category theory, a branch of mathematics. Essentially, we create a category whose objects are cones, and where the limiting cone is a terminal object; then, each universal morphism for the limit is just the morphism to the terminal object. A morphism in this category is made up of two functions, one on the indexing set and one on the node set. en.wikipedia.org /wiki/Comma_category   (1747 words)

Category 5 / 5E & Cat 6 Cabling Tutorial and FAQ's - the best source for information on Cat 5 / 5e / 6 cable! One major difference with category 7's construction (as compared with category 5, 5 E, and 6) is that all 4 pairs are individually shielded, and an overall shield enwraps all four pairs. Category 5 E is recommended for all new installations, and was designed for transmission speeds of up to 1 gigabit per second (Gigabit Ethernet). Category 5 SCTP cabling systems require all components to maintain the shield, and are used almost exclusively in European countries. www.lanshack.com /cat5e-tutorial.asp#Chart   (4344 words)

NSDL Metadata Record -- Mixed Motives This monograph is a study of triangulated categories of mixed motives over a base scheme S, whose construction is based on the rough ideas the author originally outlined in a lecture at the J.A.M.I. conference on K-theory and number theory, held at the Johns Hopkins University in April of 1990. nsdl.org /mr/604512   (4344 words)

braided A monoidal category is a bicategory with one object. A monoid in monoidal categories is a braided monoidal category. A braided monoidal category is a tri-category with one object and one map. www.mta.ca /~cat-dist/catlist/1999/braided   (1985 words)

Kestrel Institute - Research Staff - Dusko Pavlovic - Semantics of computation An abstract construction of a category of processes in a general setting is presented in the appendix. In the present paper, we describe a category of processes modulo strong bisimulations, with the bisimilarity preserving simulations as morphisms, and show that it is equivalent to the category of labelled irredundant trees and the label preserving tree morphisms. Upon the obtained logical structures, we build a calculus of relations which yields, when cut down by bisimulations, Abramsky's interaction category of synchronous processes. www.kestrel.edu /home/people/pavlovic/semantics.html   (1008 words)

Category 5 / 5E & Cat 6 Cabling Tutorial and FAQ's - the best source for information on Cat 5 / 5e / 6 cable! One major difference with category 7's construction (as compared with category 5, 5 E, and 6) is that all 4 pairs are individually shielded, and an overall shield enwraps all four pairs. Category 5 E is recommended for all new installations, and was designed for transmission speeds of up to 1 gigabit per second (Gigabit Ethernet). The purpose of the wire twists, in category 5E cable is to significantly reduce the crosstalk, and it's effects. www.lanshack.com /cat5e-tutorial.asp#Chart   (1008 words)

Realty Times - Real Estate News and Advice Installing Category 5 wiring in new construction costs pennies more than installing Category 3 wiring, but trying to retrofit the faster wires can be costly, depending upon the materials and the structure and design of your home. Category 5 moves voice and data at a minimum of 100 megabytes per second and supports local area networks (LANs), providing the ability to use a home printer from the kitchen laptop, for instance. If you need to upgrade your home's wiring service, be aware that Category 5 wiring, available at hardware or electronics retailers, pumps digitized data at maximum speeds only when it's part of a structured wired system. realtytimes.com /rtnews/rtcpages/20000407_broadband.htm   (505 words)

Try your search on: Qwika (all wikis)

About us   |   Why use us?   |   Reviews   |   Press   |   Contact us   Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.