Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

formal category theory (võtmesõna)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 2
Vaata veel.. (1/186)
Ekspordi

ekspordi kõik päringu tulemused (2)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel ajakirjas EST / artikkel ajakirjas ENG

Adjoint functor theorems for lax-idempotent pseudomonadsArkor, Nathanael; Di Liberti, Ivan; Loregian, FoscoTheory and Applications of Categories2024 / p. 667-685 http://www.tac.mta.ca/tac/volumes/41/20/41-20.pdf Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
2

artikkel ajakirjas EST / artikkel ajakirjas ENG

The formal theory of relative monadsArkor, Nathanael; McDermott, DylanJournal of pure and applied algebra2024 / art. 107676, 107 p. : ill https://doi.org/10.1016/j.jpaa.2024.107676 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Kirjeid leitud 2, kuvan 1 - 2

1. formal category theory
2. category theory
3. enriched category theory
4. formal language theory
5. assessment category
6. bimonoidal category
7. closed category
8. cocomplete category
9. free monoidal category
10. Locally graded category
11. monoidal category
12. omega-category
13. skew-monoidal category
14. slice category
15. symmetric monoidal category
16. triangulated category
17. 2-category
18. Automata, Formal Verification
19. Formal
20. formal and combined safety elements
21. formal and informal
22. formal concept analysis
23. formal education
24. formal ferification
25. formal logic
26. formal methods
27. formal PMS
28. formal rationality
29. formal reasoning
30. formal revolution
31. formal semantics
32. formal specification
33. formal verification
34. mandatory formal concepts
35. non-formal education
36. rigorous formal diagrammatic system
37. top-K formal concepts
38. a coherent theory of proofs
39. activity theory
40. adaptive structuration theory (AST)
41. algebraic number theory
42. algebraic theory
43. algorithm design and theory
44. beam theory
45. bicategory theory
46. catastrophe theory
47. chaos theory
48. coding theory
49. cognitive theory
50. commitment theory
51. communication channels (information theory)
52. complexity leadership theory
53. complexity theory
54. computation theory
55. computer softwaregraph theory
56. conservation of resources theory
57. Consumer Culture Theory
58. control theory
59. Cooper-Helmstetter cell cycle theory
60. cosmology: theory
61. critical theory of technology
62. cultural theory of international relations
63. dark matter theory
64. decision theory
65. Dempster-Shafer theory
66. Demster-Shafer Theory
67. density functional theory
68. density functional theory (DFT)
69. dependent type theory
70. design theory
71. development theory
72. Digital Government Theory: Development and Application
73. dispersive theory
74. domain theory
75. ecological systems theory
76. economic theory
77. end of theory
78. energetic impact theory
79. evolutionary theory of policy capacity
80. Flow theory
81. fully nonlinear potential theory
82. game theory
83. general systems theory
84. general theory of information transfer
85. general vibration theory
86. graph theory
87. gravitational waves / theory
88. grounded theory
89. group theory
90. group threat theory
91. higher-order beam theory
92. History and Theory
93. homotopy theory
94. homotopy type theory
95. housemoney effect prospect theory
96. iceberg theory of culture
97. image theory
98. information theory
99. innovation theory
100. institutional theory
101. intellectual capital theory
102. interdependence theory
103. inverse problem theory/applications
104. inverse problems theory/applications
105. job search theory
106. Lawvere theory
107. layer-wise displacement theory
108. linear systems theory
109. maritime investment theory
110. mechanism design theory
111. middle-range theory
112. modern portfolio theory
113. network theory
114. nonlinear shallow water theory
115. nonlinear shallow-water theory
116. nonlinear strip theory
117. nonlinear theory
118. normal torsion theory
119. number theory
120. organization theory
121. organizational theory
122. peer‐to‐peer theory
123. perceived customer value theory
124. phase field theory
125. picture theory
126. protection motivation theory
127. proto-theory of design
128. punctuated equilibrium theory
129. rational choice theory
130. real options theory
131. realization theory
132. reduction theory
133. refined zigzag theory
134. regulatory focus theory
135. sampling theory
136. scapegoat theory
137. search and matching theory
138. self-determination theory
139. self-determination theory of work motivation
140. set theory
141. shallow water theory
142. shallow‐water theory
143. sign theory
144. signalling theory
145. social identity theory
146. social practice theory
147. social presence theory
148. social representation theory
149. social system theory
150. social systems theory
151. sociological curriculum theory
152. speech-act theory
153. stakeholder theory
154. Stakeholder-oriented decision theory
155. State Theory
156. stimulus-organism-response theory
157. stochastic learning theory
158. strategic narrative theory
159. strategic narrative theory
160. Straussian theory model
161. structuration theory
162. switching theory
163. synchronous reference frame theory
164. system theory
165. systems theory
166. the RAT theory
167. theory
168. theory and practice of meta-modelling with application in healthcare
169. theory of accounting
170. Theory of computation
171. Theory Of Constraints (TOC)
172. theory of economic development
173. theory of inventive problem solving (TRIZ)
174. theory of natural disaster
175. Theory of paradox
176. theory of planned behavior
177. theory of planned behaviour
178. theory of signs
179. theory of value
180. ticked cubical type theory
181. time-dependent density functional theory (TD-DFT)
182. type theory
183. unified theory of acceptance and use of technology
184. value theory
185. virtual disc theory
186. 2D+T theory

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu