Int Construction and Semibiproducts Int Construction and Semibiproducts
نویسندگان
چکیده
We study a relationship between the Int construction of Joyal et al. and a weakening of biproducts called semibiproducts. We then provide an application of geometry of interaction interpretation for the multiplicative additive linear logic (MALL for short) of Girard. We consider not biproducts but semibiproducts because in general the Int construction does not preserve biproducts. We show that Int construction is left biadjoint to the forgetful functor from the 2category of compact closed categories with semibiproducts to the 2-category of traced symmetric monoidal categories with semibiproducts. We then illustrate a traced distributive symmetric monoidal category with biproducts B(Pfn) and relate the interpretation of MALL in Int(B(Pfn)) to token machines defined over weighted MALL proofs.
منابع مشابه
Bootstrap confidence intervals of CNpk for type‑II generalized log‑logistic distribution
This paper deals with construction of confidence intervals for process capability index using bootstrap method (proposed by Chen and Pearn in Qual Reliab Eng Int 13(6):355–360, 1997) by applying simulation technique. It is assumed that the quality characteristic follows type-II generalized log-logistic distribution introduced by Rosaiah et al. in Int J Agric Stat Sci 4(2):283–292, (2008). Discu...
متن کاملP-130: Designing and Construction of An Appropriate Eukaryotic Expression Vector to Generate Soluble Form of Human Hyaluronidase Type PH20 in Cell Culture Feasible for Application in IVF and ICSI
Background: The hyaluronidases are the enzymes hydrolyze β-1, 4 glycosidic linkage of hyaluronan. Hyaluronan is a polymer consisting of a repeating disaccharide unit found in cumulus ovuforus complex, semen liquid and other tissue. Addition to hydrolyzing the hyaluronan, hyaluronidase can penetrate through the cumulus cells layer that surrounds the oocyte, thus it terms spreading factor. Moreov...
متن کاملA construction of Boolean functions with good cryptographic properties
The two important qualities of a cipher is security and speed. Frequently, to satisfy the security of a Boolean function primitive, speed may be traded-off. In this paper we present a general construction that addresses both qualities. The idea of our construction is to manipulate a cryptographically strong base function and one of its affine equivalent functions, using concatenation and negati...
متن کاملEfficient multimodal biometric database construction and protection schemes
This work proposes an efficient approach for the construction and the protection of a dynamic and evolutionary multimodal biometric database. The last is dedicated to a biometric authentication system operating on a set of connected sites. For a better protection of acquired data, a topological watermarking module is developed to dissimulate the related enrolled person’s files links.
متن کامل