Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
formal category theory (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/219)
Export
export all inquiry results
(2)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Adjoint functor theorems for lax-idempotent pseudomonads
Arkor, Nathanael
;
Di Liberti, Ivan
;
Loregian, Fosco
Theory and Applications of Categories
2024
/
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
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
The formal theory of relative monads
Arkor, Nathanael
;
McDermott, Dylan
Journal of pure and applied algebra
2024
/
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
journal article EST
/
journal article ENG
Number of records 2, displaying
1 - 2
keyword
219
1.
formal category theory
2.
category theory
3.
enriched category theory
4.
formal language theory
5.
aspect category
6.
assessment category
7.
bimonoidal category
8.
closed category
9.
cocomplete category
10.
cyclic category
11.
double category
12.
duplicial category
13.
free monoidal category
14.
Locally graded category
15.
monoidal category
16.
omega-category
17.
orbit category
18.
skew-monoidal category
19.
slice 2-category
20.
slice category
21.
symmetric monoidal category
22.
symmetric monoidal closed category
23.
triangulated category
24.
2-category
25.
Automata, Formal Verification
26.
Formal
27.
formal and combined safety elements
28.
formal and informal
29.
formal concept analysis
30.
formal education
31.
formal ferification
32.
formal languages
33.
formal logic
34.
formal methods
35.
formal PMS
36.
formal rationality
37.
formal reasoning
38.
formal revolution
39.
formal semantics
40.
formal specification
41.
formal verification
42.
mandatory formal concepts
43.
non-formal education
44.
rigorous formal diagrammatic system
45.
top-K formal concepts
46.
a coherent theory of proofs
47.
activity theory
48.
adaptive structuration theory (AST)
49.
algebraic number theory
50.
algebraic theory
51.
algorithm design and theory
52.
beam theory
53.
behavioral reasoning theory
54.
bicategory theory
55.
Biot theory
56.
Bond theory
57.
Boolean Algebra Meets Graph-Theory
58.
catastrophe theory
59.
chaos theory
60.
coding theory
61.
cognitive theory
62.
commitment theory
63.
communication channels (information theory)
64.
Complex systems theory
65.
complexity leadership theory
66.
complexity theory
67.
computation theory
68.
computer softwaregraph theory
69.
conservation of resources theory
70.
consumer culture theory
71.
control and systems theory
72.
control theory
73.
Cooper-Helmstetter cell cycle theory
74.
cosmology theory
75.
cosmology: theory
76.
critical theory of technology
77.
cultural theory of international relations
78.
dark matter theory
79.
decision theory
80.
Dempster-Shafer theory
81.
Demster-Shafer Theory
82.
density functional theory
83.
density functional theory (DFT)
84.
dependent type theory
85.
design theory
86.
Dezert–Smarandache theory
87.
development theory
88.
Digital Government Theory: Development and Application
89.
dispersive theory
90.
domain theory
91.
dual-process theory
92.
Dynamic capability theory
93.
dynamic social impact theory (DSIT)
94.
ecological systems theory
95.
economic theory
96.
end of theory
97.
energetic impact theory
98.
engaged theory
99.
Euler Bernoulli beams theory
100.
evolutionary theory of policy capacity
101.
Flow theory
102.
fully nonlinear potential theory
103.
game theory
104.
general systems theory
105.
general theory of information transfer
106.
general vibration theory
107.
graph theory
108.
gravitational waves / theory
109.
grounded theory
110.
group theory
111.
group threat theory
112.
higher-order beam theory
113.
History and Theory
114.
homotopy theory
115.
homotopy type theory
116.
housemoney effect prospect theory
117.
iceberg theory of culture
118.
image theory
119.
information theory
120.
innovation theory
121.
institutional theory
122.
intellectual capital theory
123.
interdependence theory
124.
inverse problem theory/applications
125.
inverse problems theory/applications
126.
job search theory
127.
language theory
128.
Lawvere theory
129.
layer-wise displacement theory
130.
linear systems theory
131.
macro-foundational theory
132.
maritime investment theory
133.
mechanism design theory
134.
meso-foundational theory
135.
micro-foundational theory
136.
middle-range theory
137.
mindlin plate theory
138.
modern portfolio theory
139.
network theory
140.
nonlinear shallow water theory
141.
nonlinear shallow-water theory
142.
nonlinear strip theory
143.
nonlinear theory
144.
normal torsion theory
145.
number theory
146.
organismic integration theory
147.
organization theory
148.
organizational theory
149.
peer‐to‐peer theory
150.
perceived customer value theory
151.
phase field theory
152.
picture theory
153.
protection motivation theory
154.
proto-theory of design
155.
public administration theory
156.
punctuated equilibrium theory
157.
rational choice theory
158.
real options theory
159.
realization theory
160.
reduction theory
161.
refined zigzag theory
162.
regulatory focus theory
163.
sampling theory
164.
scapegoat theory
165.
search and matching theory
166.
self-determination theory
167.
self-determination theory of work motivation
168.
set theory
169.
shallow water theory
170.
shallow‐water theory
171.
sign theory
172.
signalling theory
173.
social exchange theory
174.
social identity theory
175.
social practice theory
176.
social presence theory
177.
social representation theory
178.
social system theory
179.
social systems theory
180.
sociological curriculum theory
181.
S-O-R theory
182.
speech-act theory
183.
stakeholder theory
184.
Stakeholder-oriented decision theory
185.
State Theory
186.
stimulus-organism-response theory
187.
stochastic learning theory
188.
strategic narrative theory
189.
strategic narrative theory
190.
Straussian theory model
191.
structuration theory
192.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
193.
switching theory
194.
synchronous reference frame theory
195.
system theory
196.
systems theory
197.
the RAT theory
198.
theory
199.
theory and practice of meta-modelling with application in healthcare
200.
theory building
201.
theory of accounting
202.
Theory of computation
203.
Theory Of Constraints (TOC)
204.
theory of economic development
205.
theory of inventive problem solving (TRIZ)
206.
theory of natural disaster
207.
Theory of paradox
208.
theory of planned behavior
209.
theory of planned behaviour
210.
theory of signs
211.
theory of value
212.
theory selection
213.
ticked cubical type theory
214.
time-dependent density functional theory (TD-DFT)
215.
type theory
216.
unified theory of acceptance and use of technology
217.
value theory
218.
virtual disc theory
219.
2D+T theory
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT