Reflexive relation

Results: 6



#Item
1Contractibility + transport ⇔ J Carlo Angiuli December 1, 2014 In MLTT, we usually define the identity type as a reflexive relation satisfying J: Γ`M :A Γ`N :A

Contractibility + transport ⇔ J Carlo Angiuli December 1, 2014 In MLTT, we usually define the identity type as a reflexive relation satisfying J: Γ`M :A Γ`N :A

Add to Reading List

Source URL: www.carloangiuli.com

Language: English - Date: 2015-05-08 13:33:44
2Appendix A Sets, Relations and Functions Summary This chapter explains the basics of formal set notation, and gives an introduction to relations and functions. The chapter ends with a short account of the principle of pr

Appendix A Sets, Relations and Functions Summary This chapter explains the basics of formal set notation, and gives an introduction to relations and functions. The chapter ends with a short account of the principle of pr

Add to Reading List

Source URL: www.cs.otago.ac.nz

Language: English - Date: 2011-05-20 05:24:57
355 Internat. J. Math. & Math. Sci. VOL. 14 NO[removed]

55 Internat. J. Math. & Math. Sci. VOL. 14 NO[removed]

Add to Reading List

Source URL: www.kurims.kyoto-u.ac.jp

Language: English - Date: 2010-03-26 17:33:05
4CHAPTER FIVE REFLEXIVE FRAMEWORKS In this chapter we develop a framework, called a reflexive observer framework, in which the objects of perception of an observer O are themselves observers having the same X, Y , E, and

CHAPTER FIVE REFLEXIVE FRAMEWORKS In this chapter we develop a framework, called a reflexive observer framework, in which the objects of perception of an observer O are themselves observers having the same X, Y , E, and

Add to Reading List

Source URL: www.cogsci.uci.edu

Language: English - Date: 2002-07-26 13:45:28
5Virtual Laboratories > 0. Foundations >[removed][removed]Equivalence Relations Basic Theory Definitions 1. A relation ≈ on a nonempty set S that is reflexive, symmetric, and transitive is said to be an equiv

Virtual Laboratories > 0. Foundations >[removed][removed]Equivalence Relations Basic Theory Definitions 1. A relation ≈ on a nonempty set S that is reflexive, symmetric, and transitive is said to be an equiv

Add to Reading List

Source URL: www.math.uah.edu

Language: English - Date: 2014-07-11 06:44:30
6Expletive and Thematic Applicatives

Expletive and Thematic Applicatives

Add to Reading List

Source URL: www.lingref.com

Language: English - Date: 2013-07-01 12:59:57